A Logical Approach to Discrete Math
Product Description
A Logical Approach to Discrete Math
Here, the authors strive to change the way logic and discrete math are taught in computer science and mathematics: while many books treat logic simply as another topic of study, this one is unique in its willingness to go one step further. The book traets logic as a basic tool which may be applied in essentially every other area.
Technical Specifications
You might also like
The Science of Programming (Monographs in Computer Science)
Introduction to Logic: and to the Methodology of Deductive Sciences (Dover Books on Mathematics)
Programming in Prolog: Using the ISO Standard
The Algorithm Design Manual
Thinking Recursively
The Science of Programming (Monographs in Computer Science)
Introduction to Computing and Programming in Python (4th Edition)
Data Structures and Program Design in C++
Programming in the 1990s: An Introduction to the Calculation of Programs (Monographs in Computer Science)
Language, Proof and Logic, 2nd Edition