Stock image for illustration purposes only - book cover, edition or condition may vary.
Computational Logic and Set Theory
Schwartz, Jacob T.; Cantone, Domenico; Omodeo, Eugenio G.
€ 65.61
FREE Delivery in Ireland
Description for Computational Logic and Set Theory
Paperback. This must-read text presents the late Professor Jacob T. Schwartz's work on computational logic and set theory and its application to proof verification techniques. Covers the AetnaNova system, a program built to verify the correctness of mathematical proofs. Num Pages: 433 pages, biography. BIC Classification: UYA; UYZG. Category: (G) General (US: Trade). Dimension: 235 x 155 x 23. Weight in Grams: 659.
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 proof verification techniques, culminating in the ÆtnaNova system, a prototype computer program designed to verify the correctness of mathematical proofs presented in the language of set theory. Topics and features: describes in depth how a specific first-order theory can be exploited to model and carry out reasoning in branches of computer science and mathematics; presents an unique system for automated proof verification in large-scale software systems; integrates important proof-engineering issues, reflecting the goals of large-scale ... Read more
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 proof verification techniques, culminating in the ÆtnaNova system, a prototype computer program designed to verify the correctness of mathematical proofs presented in the language of set theory. Topics and features: describes in depth how a specific first-order theory can be exploited to model and carry out reasoning in branches of computer science and mathematics; presents an unique system for automated proof verification in large-scale software systems; integrates important proof-engineering issues, reflecting the goals of large-scale ... Read more
Product Details
Format
Paperback
Publication date
2014
Publisher
Springer London Ltd United Kingdom
Number of pages
433
Condition
New
Number of Pages
416
Place of Publication
England, United Kingdom
ISBN
9781447160182
SKU
V9781447160182
Shipping Time
Usually ships in 15 to 20 working days
Ref
99-15
Reviews for Computational Logic and Set Theory
From the book reviews: “This is a text defining new formulae, theorems, lemmas, and sublanguages. Partition calculus and subset theory is well developed. … I recommend this book to all students and logicians.” (Joseph J. Grenier, Amazon.com, August, 2014) “The contents of the book makes it inspiring and interesting both to mathematicians and to computer scientists. … This ... Read more