Mathematics of Discrete Structures for Computer Science

• Κύριος συγγραφέας: Pace, Gordon J. (Συγγραφέας)
• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.
• Θέματα: Computer science.; Computers.; Computer science > Mathematics.; Mathematical logic.; Computer Science.; Mathematics of Computing.; Theory of Computation.; Mathematical Logic and Foundations.

Mathematics plays a key role in computer science, some researchers would consider computers as nothing but the physical embodiment of mathematical systems. And whether you are designing a digital circuit, a computer program or a new programming language, you need mathematics to be able to reason abo...

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

• Why Mathematics?
• Propositional Logic
• Predicate Calculus
• Sets
• Relations
• Classifying Relations
• More Discrete Structures
• Defining New Structured Types
• Numbers
• Reasoning About Programs
• Index.