Related Books
Language: en
Pages: 173
Pages: 173
Type: BOOK - Published: 2009-11-03 - Publisher: Springer Science & Business Media
This book introduces the notions and methods of formal logic from a computer science standpoint, covering propositional logic, predicate logic, and foundations
Language: en
Pages: 305
Pages: 305
Type: BOOK - Published: 2019-01-08 - Publisher: MIT Press
An introduction to applying predicate logic to testing and verification of software and digital circuits that focuses on applications rather than theory. Comput
Language: en
Pages: 540
Pages: 540
Type: BOOK - Published: 2018-11-03 - Publisher: Springer
Providing an in-depth introduction to fundamental classical and non-classical logics, this textbook offers a comprehensive survey of logics for computer scienti
Language: en
Pages: 532
Pages: 532
Type: BOOK - Published: 2015-06-18 - Publisher: Courier Dover Publications
This advanced text for undergraduate and graduate students introduces mathematical logic with an emphasis on proof theory and procedures for algorithmic constru
Language: en
Pages: 427
Pages: 427
Type: BOOK - Published: 2004-08-26 - Publisher:
Provides a sound basis in logic, and introduces logical frameworks used in modelling, specifying and verifying computer systems.
