This book covers all the traditional topics of discrete mathematics--logic, sets, relations, functions, and graphs--and reflects recent trends in computer science.Shows how to use discrete mathematics and logic for specifying new computer applications, and how to reason about programs in a systematic way. Describes Prolog, a programming language based on logic, and a secti This book covers all the traditional topics of discrete mathematics--logic, sets, relations, functions, and graphs--and reflects recent trends in computer science.Shows how to use discrete mathematics and logic for specifying new computer applications, and how to reason about programs in a systematic way. Describes Prolog, a programming language based on logic, and a section on Miranda, language bad on functions. Features numerous examples which relate the mathematical concepts to problems in computer science.
Logic and Discrete Mathematics: A Computer Science Perspective
This book covers all the traditional topics of discrete mathematics--logic, sets, relations, functions, and graphs--and reflects recent trends in computer science.Shows how to use discrete mathematics and logic for specifying new computer applications, and how to reason about programs in a systematic way. Describes Prolog, a programming language based on logic, and a secti This book covers all the traditional topics of discrete mathematics--logic, sets, relations, functions, and graphs--and reflects recent trends in computer science.Shows how to use discrete mathematics and logic for specifying new computer applications, and how to reason about programs in a systematic way. Describes Prolog, a programming language based on logic, and a section on Miranda, language bad on functions. Features numerous examples which relate the mathematical concepts to problems in computer science.
Compare
Achmed –
Clearly written and authoritative. A good choice for the subject.
Aperoki –
Subhajit Das –
Gary Bridgwater –
Raymond –
Äñmol Sadarangani –
Lisa Fehr –
OJ –
Wade Anderson –
Jon Brandenburg –
Juha –
Devon –
Ayulianita –
Ryan Dean –
Michael –
Brigham –
Doug Greer –
Darin –
Dnyaneshwer Pendurkar –
Shivkumar Naidu –
اكرم –
Emilio Alemel –
David –
Mohammad Anas –
Rocco Hunter –
John –
Khushboo –
Geoffrey –
Mehar Chand –
Kelvin Agbejule –
Sheikh Farishta –
Tommy –
Smita Patil –
Li –
Tuan Dang –
Ahi Sholihin –
Zeena –
Marie –