Computational Logic and Set Theory

Name: Computational Logic and Set Theory
SKU: 22873846
Price: 142.99 AUD
Availability: InStock

Applying Formalized Logic to Analysis

By:

Format:

Paperback / softback

Show Hide Adult Content

$142.99

RRP:: ~~$167.95~~ save $24.96

Available from supplier

Usually ships in 3-4 weeks

0 in Trolley

Price Match

Wrap this item as a gift ($5.90) - add a free gift card on the next page

Buy Now, Pay Later with:

4 payments of $35.75 with Afterpay Learn more

Availability

Delivering to:

Estimated arrival:

Around 6-18 June using International Courier

Description

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 verifiers; includes an appendix showing formalized proofs of ordinals, of various properties of the transitive closure operation, of finite and transfinite induction principles, and of Zorn’s lemma.

Release date Australia

September 6th, 2014

Author

Audience

Professional & Vocational

Contributor

Foreword by Martin Davis

Illustrations

XVII, 416 p.

Pages

416

Dimensions

155x235x23

ISBN-13

9781447160182

Product ID

22873846

Customer reviews

Nobody has reviewed this product yet. You could be the first!

Write a Review

Marketplace listings

There are no Marketplace listings available for this product currently.
Already own it? Create a free listing and pay just 9% commission when it sells!

Sell Yours Here