Kniha momentálne nie je na sklade
Viac o knihe
Focusing on the groundbreaking contributions of Professor Jacob T. Schwartz, this text explores computational logic and set theory through the lens of proof verification techniques. It introduces the ÆtnaNova system, a prototype for verifying mathematical proofs in set theory. Key topics include leveraging first-order theories for reasoning in computer science and mathematics, automated proof verification for large software systems, and critical proof-engineering issues. An appendix provides formalized proofs of ordinals, transitive closure properties, induction principles, and Zorn's lemma.
Nákup knihy
Computational Logic and Set Theory, Jacob T. Schwartz, Domenico Cantone, Eugenio G. Omodeo
- Jazyk
- Rok vydania
- 2011
- product-detail.submit-box.info.binding
- (pevná)
Akonáhle sa objaví, pošleme vám e-mail.
Doručenie
Platobné metódy
Navrhnúť zmenu
- Titul
- Computational Logic and Set Theory
- Podtitul
- Applying Formalized Logic to Analysis
- Jazyk
- anglicky
- Vydavateľ
- Springer London
- Rok vydania
- 2011
- Väzba
- pevná
- Počet strán
- 436
- ISBN13
- 9780857298072
- Kategórie
- Počítače, IT, programovanie
- Anotácia
- Focusing on the groundbreaking contributions of Professor Jacob T. Schwartz, this text explores computational logic and set theory through the lens of proof verification techniques. It introduces the ÆtnaNova system, a prototype for verifying mathematical proofs in set theory. Key topics include leveraging first-order theories for reasoning in computer science and mathematics, automated proof verification for large software systems, and critical proof-engineering issues. An appendix provides formalized proofs of ordinals, transitive closure properties, induction principles, and Zorn's lemma.