A Logical Approach to Discrete Math
David Gries, Fred B. Schneider
This text attempts to change the way logic and discrete mathematics are taught. While many books treat logic simply as another topic of study, this book treats logic as a basic tool to be applied in essentially every other area. The book is organized so that selected chapters can either be studied together or used as a reference. The core of the book consists of textual substitution, equality and assignment, Boolean expressions, propositional calculus, quantification and predicate calculus. The remaining chapters can be selected according to individual course outlines.
年:
1993
出版商:
Springer
語言:
english
頁數:
527
ISBN 10:
0387941150
ISBN 13:
9780387941158
系列:
Texts and Monographs in Computer Science
文件:
DJVU, 5.43 MB
IPFS:
,
english, 1993
Amazon 
Barnes & Noble 
Bookshop.org 
轉換文件
更多的搜索結果
其他特權 
最常見的術語
相關書單
