Mathematics of Discrete Structures for Computer Science
Pace, Gordon J.
- 出版商: Springer
- 出版日期: 2012-09-09
- 售價: $3,470
- 貴賓價: 9.5 折 $3,297
- 語言: 英文
- 頁數: 296
- 裝訂: Hardcover - also called cloth, retail trade, or trade
- ISBN: 3642298397
- ISBN-13: 9783642298394
-
相關分類:
離散數學 Discrete-mathematics
海外代購書籍(需單獨結帳)
商品描述
Why Mathematics?.- Propositional Logic.- Predicate Calculus.- Sets.- Relations.- Classifying Relations.- More Discrete Structures.- Defining New Structured Types.- Numbers.- Reasoning About Programs.- Index.
作者簡介
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.
