Modelling computer systems: the mathematics of computer science

This book explores concepts of games and strategies to provide a paradigm forunderstanding the nature of computation and provides an elementary introduction to the mathematics and modelling of computing systems through exercises andexamples, giving readers the opportunities to test their understanding & broaden their knowledge.This novel approach presents the mathematical foundations in an intuitive style. Emphasis is given to explaining the mathematical concepts: The first part of the book is dedicated to standards topics in discrete mathematics and logicin a clear and accessible framework. The second part innovates by paring games and winning strategies.This exceptionally comprehensive and user friendly textbook is the result of the author's successful teaching methods, and will prove invaluable not only in building solid foundations at an introductory level for undergraduates in Computer Science, but equally to gain insight in computational thinking for students from other disciplines. Indice: Introduction.- Examples of System Failures.- USS Scorpion.- Therac25 Radiotherapy Machine.- London Ambulance Service.- Intel Pentium.- Ariane 5.- Model, Abstraction, System and Notation.- Specification, Implementation andVerification.- Mathematics for Computer Science.- Propositional Logic.- Propositions and Deductions.- Propositional Variables and Connectives.- Ambiguitiesof Natural Languages.- Truth Tables.- Equivalences.- Sets.- Operations on Sets and Venn Diagrams.- Identities.- Predicate Logic.- Proof Strategies.- Strategies for Proving P Q.- Induction and Recursion.- Games and Strategy.- Strategies for Games-of-No-Chance.- Nim.- Fibonacci Nim.- Chomp.- Hex.- Bridg-It.- Modelling Computing Systems.- Modelling Processes.- Labeled Transition Systems.- Computations and Processes.- A Language for Describing Processes.- Distinguishing Between Behaviours.- Bisimulation Game.- The Bisimulation Game.- Properties of Games Equivalence.- Bisimulation Colourings.

• ISBN: 978-1-84800-321-7
• Editorial: Springer
• Encuadernacion: Rústica
• Páginas: 250
• Fecha Publicación: 01/01/2009
• Nº Volúmenes: 1
• Idioma: Inglés