Modelling Computing Systems Mathematics for Computer Science /

• Κύριοι συγγραφείς: Moller, Faron (Συγγραφέας), Struth, Georg (Συγγραφέας)
• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: London : Springer London : Imprint: Springer, 2013.
• Σειρά: Undergraduate Topics in Computer Science,
• Θέματα: Computer science.; Computer logic.; Mathematical logic.; Computer science > Mathematics.; Computer Science.; Logics and Meanings of Programs.; Mathematical Logic and Formal Languages.; Discrete Mathematics in Computer Science.; Math Applications in Computer Science.

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

Πίνακας περιεχομένων:

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