Related Books
Language: en
Pages: 440
Pages: 440
Type: BOOK - Published: 2001-06-26 - Publisher: Springer Science & Business Media
"Set Theory for Computing" provides a comprehensive account of set-oriented symbolic manipulation methods suitable for automated reasoning. Its main objective i
Language: en
Pages: 700
Pages: 700
Type: BOOK - Published: 1994 - Publisher: Addison-Wesley Longman
Written for professionals learning the field of discrete mathematics, this book provides the necessary foundations of computer science without requiring excessi
Language: en
Pages: 426
Pages: 426
Type: BOOK - Published: 2011-07-16 - Publisher: Springer Science & Business Media
This must-read text presents the pioneering work of the late Professor Jacob (Jack) T. Schwartz on computational logic and set theory and its application to pro
Language: en
Pages: 259
Pages: 259
Type: BOOK - Published: 2014-07-23 - Publisher: Courier Corporation
"This accessible approach to set theory for upper-level undergraduates poses rigorous but simple arguments. Each definition is accompanied by commentary that mo
Language: en
Pages: 302
Pages: 302
Type: BOOK - Published: 2012-02-27 - Publisher: Springer Science & Business Media
This easy-to-follow textbook introduces the mathematical language, knowledge and problem-solving skills that undergraduates need to study computing. The languag