ENGLISH

A Logical Approach to Discrete Math

By David Gries

Book information

Publisher
Springer
Year
1993
ISBN
3540941150, 9783540941156
Language
english
Format
DJVU
Filesize
3 MB (3602133 bytes)
Series
Texts and Monographs in Computer Science
Pages
520\520
Time added
2011-01-23 12:00:00
Математика;Дискретная математика

Description

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.

Similar books