Mathematics of Discrete Structures for Computer Science

• Main Author: Pace, Gordon J. (Author)
• Corporate Author: SpringerLink (Online service)
• Format: Electronic eBook
• Language: English
• Published: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.
• Subjects: 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...

Table of Contents:

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