Modelling Computing Systems, 2013
Mathematics for Computer Science
Undergraduate Topics in Computer Science Series

Authors:

Language: English

Approximative price 52.74 €

In Print (Delivery period: 15 days).

Add to cartAdd to cart
Publication date:
500 p. · 15.5x23.5 cm · Paperback
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.

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.

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.

Provides an elementary introduction to the mathematics and modelling of computing systems

Explores concepts of games and strategies to provide a paradigm for understanding the nature of computation

Develops a foundation for computational thinking and problem solving

Presents the topics in a clear and comprehensive style

Introduces bisimulation, Hennessy-Milner logic, and the relationship between them, at an introductory level

Includes supplementary material: sn.pub/extras