Modelling Computing Systems

Mathematics for Computer Science
2013
ISBN: 978-1-84800-321-7
Verlag: Springer

Buch, Englisch, 500 Seiten, Format (B × H): 155 mm x 235 mm, Gewicht: 7723 g

Reihe: Undergraduate Topics in Computer Science

This engaging text presents the fundamental mathematics and modelling techniques for computing systems in a novel and light-hearted way, which can be easily followed by students at the very beginning of their university education. Key concepts are taught through a large collection of challenging yet fun mathematical games and logical puzzles that require no prior knowledge about computers. The text begins with intuition and examples as a basis from which precise concepts are then developed; demonstrating how, by working within the confines of a precise structured method, the occurrence of errors in the system can be drastically reduced. 
Features: demonstrates how game theory provides a paradigm for an intuitive understanding of the nature of computation; contains more than 400 exercises throughout the text, with detailed solutions to half of these presented at the end of the book, together with numerous theorems, definitions and examples; describes a modelling approach based on state transition systems.

Zielgruppe

Lower undergraduate

Autoren/Hrsg.

Struth, Georg

Moller, Faron

Fachgebiete

• Mathematik | Informatik EDV | Informatik Informatik Logik, formale Sprachen, Automaten
• Mathematik | Informatik EDV | Informatik Informatik Mathematik für Informatiker

Inhaltsverzeichnis

Introduction.- Part I: Mathematics for Computer Science.- Propositional Logic.- Sets.- Boolean Algebras and Circuits.- Predicate Logic.- Proof Strategies.- Functions.- Relations.- Inductive and Recursive Definitions.- Proofs by Induction.- Games and Strategies.- Part II: Modelling Computing Systems.- Modelling Processes.- Distinguishing Between Processes.- Logical Properties of Processes.- Concurrent Processes.- Temporal Properties.

Über Autor(innen)

Prof. Faron Moller is a Professor of Computer Science at Swansea University, UK.

Dr. Georg Struth is a Reader in Computer Science at the University of Sheffield, UK.