Computational Logic and Set Theory: Applying Formalized Logic to Analysis - Image 1

£39.36

Springer Computational Logic and Set Theory: Applying Formalized Logic to Analysis

Name: Computational Logic and Set Theory: Applying Formalized Logic to Analysis
Brand: Springer
Price: 39.07 GBP
Availability: InStock

Architecture & Microprocessors

Price History & Forecast

Last 85 days • 85 data points (No recent data available)

Historical

Generating forecast...

Price Distribution

Price distribution over 85 days • 1 price levels

Days at Price

Price Analysis

Most common price: £39 (85 days, 100.0%)

Price range: £39 - £39

Price levels: 1 different prices over 85 days

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.

Product Specifications

Brand: Springer
Format: paperback
ASIN: 1447160185
Category: Books > Subjects > Computing & Internet > Computer Science > Architecture & Microprocessors
Domain: Amazon UK
Publication Date: 06 September 2014
Listed Since: 25 September 2014

Barcode

No barcode data available

Springer Computational Logic and Set Theory: Applying Formalized Logic to Analysis

Price History & Forecast

Price Distribution

Price Analysis

Description

Product Specifications

Barcode

Similar Products You Might Like

Mathematical Logic: Exercises and Solutions (Problem Books in Mathematics)

Well-Quasi Orders in Computation, Logic, Language and Reasoning: A Unifying Concept of Proof Theory, Automata Theory, Formal Languages and Descriptive Set Theory: 53 (Trends in Logic, 53)

Introduction to Mathematical Logic: Set Theory Computable Functions Model Theory (Undergraduate Texts in Mathematics)

Proofs and Computations (Perspectives in Logic)

Mathematics of Discrete Structures for Computer Science

Decidability of Logical Theories and Their Combination (Studies in Universal Logic)

Logic for Computer Science and Artificial Intelligence

Concise Introduction to Logic and Set Theory (Mathematics and its Applications)

Automated Reasoning: 10th International Joint Conference, IJCAR 2020, Paris, France, July 1–4, 2020, Proceedings, Part II: 12167 (Lecture Notes in Computer Science, 12167)

Constructive Models (Siberian School of Algebra and Logic)

An Accompaniment to Higher Mathematics (Undergraduate Texts in Mathematics)

Logical Studies of Paraconsistent Reasoning in Science and Mathematics: 45 (Trends in Logic, 45)

An Introduction to Substructural Logics

Logic Colloquium '03: Lecture Notes in Logic 24

Algebraic Computability and Enumeration Models: Recursion Theory and Descriptive Complexity

Three Views of Logic: Mathematics, Philosophy, and Computer Science

Computability and Logic

Logic Programming and Nonmonotonic Reasoning: 14th International Conference, LPNMR 2017, Espoo, Finland, July 3-6, 2017, Proceedings: 10377 (Lecture Notes in Computer Science, 10377)

R-CALCULUS: A Logic of Belief Revision (Perspectives in Formal Induction, Revision and Evolution)

Frontiers of Combining Systems: 12th International Symposium, FroCoS 2019, London, UK, September 4-6, 2019, Proceedings: 11715 (Lecture Notes in Computer Science, 11715)

The Elements of Formal Logic: 12 (Routledge Library Editions: Logic)

Logic and Theory of Algorithms: 4th Conference on Computability in Europe, CiE 2008 Athens, Greece, June 15-20, 2008, Proceedings: 5028 (Lecture Notes in Computer Science, 5028)

Elements of Finite Model Theory (Texts in Theoretical Computer Science. An EATCS Series)

Understanding Mathematical Proof