Description
Why Mathematics?.- Propositional Logic.- Predicate Calculus.- Sets.- Relations.- Classifying Relations.- More Discrete Structures.- Defining New Structured Types.- Numbers.- Reasoning About Programs.- Index.
Author: Gordon J. Pace
Publisher: Springer
Published: 09/09/2012
Pages: 296
Binding Type: Hardcover
Weight: 1.15lbs
Size: 9.20h x 6.20w x 0.90d
ISBN13: 9783642298394
ISBN10: 3642298397
BISAC Categories:
- Computers | Computer Science
- Computers | Data Science | General
- Mathematics | Logic
Author: Gordon J. Pace
Publisher: Springer
Published: 09/09/2012
Pages: 296
Binding Type: Hardcover
Weight: 1.15lbs
Size: 9.20h x 6.20w x 0.90d
ISBN13: 9783642298394
ISBN10: 3642298397
BISAC Categories:
- Computers | Computer Science
- Computers | Data Science | General
- Mathematics | Logic
About the Author
Gordon J. Pace is an associate professor in the Department of Computer Science of the University of Malta. He has an M.Sc. and a D.Phil. from Oxford, where he was a Rhodes Scholar. He has considerable experience teaching courses on the topic of his book to undergraduates in Computer Science, Mathematics and Engineering. His research interests include formal methods for software and hardware, runtime verification and formal analysis of contracts.