Mathematical theory of computation Books
Springer International Publishing AG Higher Education Computer Science: A Manual of
Book SynopsisThe march towards on-line and blended teaching—present before the Covid-19 pandemic—has been accelerated by it, and there is no going back. Students and staff may object, but the economic drive towards “greater productivity” will inevitably result in less face-to-face (f2f) instruction. Therefore, it is incumbent for those delivering this precious, in-person resource to make maximum use of time…which raises the question, “how”?The second edition of Higher Education Computer Science offers some potential answers. It also addresses other questions, such as “why have f2f teaching at all?” “what is the purpose of f2f?” and “what is the appropriate balance between the two?” The first edition began to offer suggestions for optimising limited opportunities to get together with students. Aligned with that, this unique new volume examines how to use the technology available to maximum advantage: For example, resources such as Moocs and other on-line instructional materials can provide invaluable pedagogic support. In addition, the book addresses ‘problem-based learning,’ using robotics in the teaching of programming, and a multidisciplinary approach to data science. Although it includes a chapter on distance learning, there is greater emphasis placed on the soft, transferable skills and employability skills that are best delivered in person. Further, the work provides several examples of putting theory into practice when teaching computer science at both undergraduate and postgraduate levels. Written by experienced practitioners, each chapter tackles a particular teaching activity or topic within computing, presented in such a way that other practitioners can use. As such, this new volume will be an invaluable resource to those who want to protect and optimise in-person teaching.Table of ContentsPart 1: Approaches to Learning.- Changing minds: Multitasking in lectures.- Active learning in large lectures.- The flipped classroom.- Applying cognitive theory to the teaching of programming: Metaphors, robots and problem-based learning.- Distance learning: Lessons learned from a UK masters programme.- Academic integrity for computer science instructors.- Contextualisation in data science.- Part 2: Teaching examples and practice.- Using graphics to inspire failing students.- Best practices for teaching information systems modelling.- Promoting design thinking through knowledge maps: A case study in computer games design and development education.- Teaching fuzzy logic utilising innovative approaches.- Semi-automating the marking of a Java programming portfolio assessment: A case study from a UK undergraduate programme.- Part 3: Employability and group work.- The enterprise showcase experience.- Task versus process: A taxonomy for group projects.- Realising the threshold of employability in higher education.- Exploring the landscape of HE industrial placements within engineering and technology subjects. Observations of recruitment, graduate attributes and student experience.- Baseline skills – Scaffolding soft skills development within the curriculum.- Professionalism and online presence.- Postscript.
£37.49
Clarendon Press A First Course in Coding Theory Paperback
Book SynopsisAlgebraic coding theory is a new and rapidly developing subject, motivated by immediate practical applications, but also rich in mathematical structure. This book provides an elementary yet rigorous introduction to the theory of error-correcting codes.
£75.05
Oxford University Press An Introduction to Quantum Computing
Book SynopsisThis concise, accessible text provides a thorough introduction to quantum computing - an exciting emergent field at the interface of the computer, engineering, mathematical and physical sciences. Aimed at advanced undergraduate and beginning graduate students in these disciplines, the text is technically detailed and is clearly illustrated throughout with diagrams and exercises. Some prior knowledge of linear algebra is assumed, including vector spaces and inner products. However, prior familiarity with topics such as quantum mechanics and computational complexity is not required.Trade ReviewThe book is spiced with Try Its, brief exercises that engage the readers in problem solving (both with and without mathematics) and help them digest the many counter-intuitive quantum information science and quantum computing concepts. * MathSciNet *Table of ContentsPreface ; 1. Introduction and background ; 2. Linear algebra and the Dirac notation ; 3. Qubits and the framework of quantum mechanics ; 4. A quantum model of computation ; 5. Superdense coding and quantum teleportation ; 6. Introductory quantum algorithms ; 7. Algorithms with super-polynomial speed-up ; 8. Algorithms based on amplitude amplification ; 9. Quantum computational complexity theory and lower bounds ; 10. Quantum error correction ; Appendices ; Bibliography ; Index
£54.90
MIT Press Ltd Unsupervised Learning
£47.53
Springer High Performance Discovery in Time Series Techniques and Case Studies Monographs in Computer Science
a huge range and FREE tracked UK delivery on ALL orders.
£85.49
Springer Computation Engineering
a huge range and FREE tracked UK delivery on ALL orders.
£78.38
Springer Notes on Set Theory
a huge range and FREE tracked UK delivery on ALL orders.
£66.49
Springer Notes on Set Theory
a huge range and FREE tracked UK delivery on ALL orders.
£54.99
Springer Project ESociety Building Bricks
a huge range and FREE tracked UK delivery on ALL orders.
£85.49
Springer New Approaches to Circle Packing in a Square With Program Codes Springer Optimization and Its Applications 6
a huge range and FREE tracked UK delivery on ALL orders.
£85.49
Springer Brain Inspired Cognitive Systems 2008
a huge range and FREE tracked UK delivery on ALL orders.
£170.99
Springer Proceedings of the European Computing Conference
a huge range and FREE tracked UK delivery on ALL orders.
£170.99
Springer The Joy of Sets
Book Synopsis1 Naive Set Theory.- 1.1 What is a Set?.- 1.2 Operations on Sets.- 1.3 Notation for Sets.- 1.4 Sets of Sets.- 1.5 Relations.- 1.6 Functions.- 1.7 Well-Or der ings and Ordinals.- 1.8 Problems.- 2 The ZermeloFraenkel Axioms.- 2.1 The Language of Set Theory.- 2.2 The Cumulative Hierarchy of Sets.- 2.3 The ZermeloFraenkel Axioms.- 2.4 Classes.- 2.5 Set Theory as an Axiomatic Theory.- 2.6 The Recursion Principle.- 2.7 The Axiom of Choice.- 2.8 Problems.- 3 Ordinal and Cardinal Numbers.- 3.1 Ordinal Numbers.- 3.2 Addition of Ordinals.- 3.3 Multiplication of Ordinals.- 3.4 Sequences of Ordinals.- 3.5 Ordinal Exponentiation.- 3.6 Cardinality, Cardinal Numbers.- 3.7 Arithmetic of Cardinal Numbers.- 3.8 Regular and Singular Cardinals.- 3.9 Cardinal Exponentiation.- 3.10 Inaccessible Cardinals.- 3.11 Problems.- 4 Topics in Pure Set Theory.- 4.1 The Borel Hierarchy.- 4.2 Closed Unbounded Sets.- 4.3 Stationary Sets and Regressive Functions.- 4.4 Trees.- 4.5 Extensions of Lebesgue Measure.- 4.6 A ReTable of ContentsPreface; 1. Naïve Set Theory; 2. The Zermelo-Fraenkel Axioms; 3. Ordinal and Cardinal Numbers; 4. Topics in Pure Set Theory; 5. The Axiom of Constructibility; 6. Independence Proofs in Set Theory; 7. Non-Well-Founded Set Theory; Bibliography; Glossary of Symbols; Index
£38.24
Springer Exploring Computer Science with Scheme
a huge range and FREE tracked UK delivery on ALL orders.
£78.38
Springer Digital Typography Using Latex Pb
a huge range and FREE tracked UK delivery on ALL orders.
£85.49
Springer New York the Planiverse Computer Contact With A TwoDimensional World
Book SynopsisA classic book about life in a two-dimensional universe, written by a well-known author. Now brought back into print in this revised and updated edition, the book is written within the great tradition of Abbott's Flatland, and Hinton's famous Sphereland.Table of Contents1 Arde.- 2 A House by the Sea.- 3 On Fiddib Har.- 4 Walking to Is Felblt.- 5 City Below Ground.- 6 The Trek.- 7 The Punizlan Institute.- 8 Traveling on the Wind.- 9 High on Dahl Radam.- 10 Drabk the Sharak of Okbra.- 11 Higher Dimensions.- Ardean Science and Technology.- Acknowledgments.
£31.34
Springer Introduction to Linear Parametric and NonLinear Vibrations
a huge range and FREE tracked UK delivery on ALL orders.
£151.99
Springer introductiontovlsiprocessengineering
a huge range and FREE tracked UK delivery on ALL orders.
£85.49
John Wiley & Sons Inc Thinking Recursively
Book SynopsisThe process of solving large problems by breaking them down into smaller, more simple problems that have identical forms. Thinking Recursively: A small text to solve large problems. Concentrating on the practical value of recursion. this text, the first of its kind, is essential to computer science students' education.Table of ContentsThe Idea of Recursion. Mathematical Preliminaries. Recursive Functions. The Procedural Approach. The Tower of Hanoi. Permutations. Sorting. Intelligent Algorithms. Graphical Applications. Recursive Data. Implementation of Recursion.
£97.80
Springer Combinatorics Computing and Complexity 1 Mathematics and its Applications
a huge range and FREE tracked UK delivery on ALL orders.
£44.99
Springer Mathematical Programming Recent Developments and Applications 6 Mathematics and its Applications
a huge range and FREE tracked UK delivery on ALL orders.
£85.49
Springer Neural and Automata Networks Dynamical Behavior and Applications 58 Mathematics and Its Applications
a huge range and FREE tracked UK delivery on ALL orders.
£87.78
Springer AlgebraicGeometric Codes 58 Mathematics and its Applications
a huge range and FREE tracked UK delivery on ALL orders.
£85.49
Springer Decompositions of Graphs 47 Mathematics and its Applications
a huge range and FREE tracked UK delivery on ALL orders.
£104.49
Springer Issues in Reading Writing and Speaking A Neuropsychological Perspective ISSUES IN READING WRITING AND SPEAKING A NEUROPSYCHOLOGICAL PERSPECTIVE By Caramazza Alfonso Author Nov301990 Hardcover
a huge range and FREE tracked UK delivery on ALL orders.
£123.49
Springer Algorithmic Aspects of Flows in Networks 69 Mathematics and Its Applications
a huge range and FREE tracked UK delivery on ALL orders.
£44.99
Springer Computational Methods for General Sparse Matrices 65 Mathematics and Its Applications
a huge range and FREE tracked UK delivery on ALL orders.
£85.49
Springer Systolic Computations 83 Mathematics and its Applications
a huge range and FREE tracked UK delivery on ALL orders.
£85.49
Springer Algorithms Main Ideas and Applications 251 Mathematics and Its Applications
a huge range and FREE tracked UK delivery on ALL orders.
£123.49
Springer Interior Point Approach to Linear Quadratic and Convex Programming Algorithms and Complexity 277 Mathematics and Its Applications
a huge range and FREE tracked UK delivery on ALL orders.
£44.99
Springer Cellular Automata Dynamical Systems and Neural Networks 282 Mathematics and Its Applications
a huge range and FREE tracked UK delivery on ALL orders.
£85.49
Springer Algebraic Structures and Operator Calculus Volume II Special Functions and Computer Science 292 Mathematics and Its Applications
a huge range and FREE tracked UK delivery on ALL orders.
£44.99
Springer Identification of Dynamical Systems with Small Noise 300 Mathematics and Its Applications
a huge range and FREE tracked UK delivery on ALL orders.
£85.49
Springer Semigroups Formal Languages and Groups Proceedings of the NATO Advanced Study Institute University of York UK 721 August 1993 466 Nato Science Series C
a huge range and FREE tracked UK delivery on ALL orders.
£170.99
Springer Discrete Analysis and Operations Research 355 Mathematics and Its Applications
a huge range and FREE tracked UK delivery on ALL orders.
£85.49
Springer Problems and Exercises in Discrete Mathematics 14 Texts in the Mathematical Sciences
a huge range and FREE tracked UK delivery on ALL orders.
£104.49
Springer Dynamics of Complex Interacting Systems 2 Nonlinear Phenomena and Complex Systems
a huge range and FREE tracked UK delivery on ALL orders.
£85.49
Springer VLSI Planarization Methods Models Implementation 399 Mathematics and Its Applications
a huge range and FREE tracked UK delivery on ALL orders.
£85.49
Springer Applications of Continuous Mathematics to Computer Science 38 Theory and Decision Library B
a huge range and FREE tracked UK delivery on ALL orders.
£170.99
Springer Mind Out of Matter Topics in the Physical Foundations of Consciousness and Cognition 20 Studies in Cognitive Systems
a huge range and FREE tracked UK delivery on ALL orders.
£123.49
Springer Optimal Filtering Volume I Filtering of Stochastic Processes Mathematics and Its Applications
a huge range and FREE tracked UK delivery on ALL orders.
£85.49
Springer Cellular Automata and Complex Systems 3 Nonlinear Phenomena and Complex Systems
a huge range and FREE tracked UK delivery on ALL orders.
£85.49
Springer Large Scale Computations in Air Pollution Modelling
a huge range and FREE tracked UK delivery on ALL orders.
£44.99
Springer Optimal Filtering Volume II SpatioTemporal Fields 481 Mathematics and Its Applications
a huge range and FREE tracked UK delivery on ALL orders.
£85.49
Springer Developments in Reliable Computing
a huge range and FREE tracked UK delivery on ALL orders.
£85.49
Springer Functional Models of Cognition SelfOrganizing Dynamics and Semantic Structures in Cognitive Systems 27 Theory and Decision Library A
a huge range and FREE tracked UK delivery on ALL orders.
£123.49
Springer Artificial Neural Networks in Hydrology 36 Water Science and Technology Library
a huge range and FREE tracked UK delivery on ALL orders.
£123.49
Springer London Introduction to the Theory of Programming Languages
Book Synopsisshowing that the study of programming languages does not consist of studying languages one after another, but is organized around the features that are present in these various languages.Trade ReviewFrom the reviews:“The book is divided into eight chapters and an epilogue. … Faculty teaching an undergraduate programming languages course may find this book to be a useful reference. Summing Up: Recommended. Upper-division undergraduates through professionals/practitioners.” (J. Beidler, Choice, Vol. 48 (10), June, 2011)“It is a short book--of about 100 pages--consisting of eight chapters and an epilogue. The book focuses on the formal description of programming language semantics and compilation using denotational semantics, small-step operational semantics (reduction semantics), and big-step operational semantics (natural semantics). … The book provides a good description of programming language concepts and motivates the necessary theory well. … The book is suitable for both professionals and graduate- and advanced undergraduate-level classes.” (Michael Oudshoorn, ACM Computing Reviews, November, 2011)Table of Contents1. Terms and Relations.- 2. The Language PCF.- 3. From Evaluation to Interpretation.- 4. Compilation.- 5. PCF with Types.- 6. Type Inference.- 7. References and Assignment.- 8. Records and Objects.- 9. Epilogue.- 10. Index.- 11. Bibliography
£26.99
