Modelling Computing Systems Mathematics for Computer Science /

• Main Authors: Moller, Faron. (Author), Struth, Georg. (Author)
• Corporate Author: SpringerLink (Online service)
• Format: Electronic
• Language: English
• Published: London : Springer London : Imprint: Springer, 2013.
• Series: Undergraduate Topics in Computer Science,
• Subjects: Computer science.; Logic design.; Computational complexity.; Computer Science.; Logics and Meanings of Programs.; Mathematical Logic and Formal Languages.; Discrete Mathematics in Computer Science.; Math Applications in Computer Science.
• Online Access: https://ezaccess.library.uitm.edu.my/login?url=http://dx.doi.org/10.1007/978-1-84800-322-4

We have all experienced delays and frustrations as a result of the notorious computer glitch. However, the more dependent we become on computational systems in our daily lives, the more we must ensure that they are safe, reliable and user-friendly. This engaging textbook presents the fundamental m...

Table of Contents:

• 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.