Matches in Library of Congress for { <http://lccn.loc.gov/2011934034> ?p ?o. }
Showing items 1 to 24 of
24
with 100 items per page.
- 2011934034 abstract "As computer software becomes more complex, the question of how its correctness can be assured grows ever more critical. Formal logic embodied in computer programs is an important part of the answer to this problem. 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. Taking a systematic approach, the book begins with a survey of traditional branches of logic before describing in detail the underlying design of the ÆtnaNova system. Major classical results on undecidability and unsolvability are then recast for this system. Readers do not require great knowledge of formal logic in order to follow the text, but a good understanding of standard programming techniques, and a familiarity with mathematical definitions and proofs reflecting the usual levels of rigor is assumed.".
- 2011934034 alternative "Applying formalized logic to analysis".
- 2011934034 contributor B12419990.
- 2011934034 contributor B12419991.
- 2011934034 created "c2011.".
- 2011934034 date "2011".
- 2011934034 date "c2011.".
- 2011934034 dateCopyrighted "c2011.".
- 2011934034 description "As computer software becomes more complex, the question of how its correctness can be assured grows ever more critical. Formal logic embodied in computer programs is an important part of the answer to this problem. 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. Taking a systematic approach, the book begins with a survey of traditional branches of logic before describing in detail the underlying design of the ÆtnaNova system. Major classical results on undecidability and unsolvability are then recast for this system. Readers do not require great knowledge of formal logic in order to follow the text, but a good understanding of standard programming techniques, and a familiarity with mathematical definitions and proofs reflecting the usual levels of rigor is assumed.".
- 2011934034 description "Includes bibliographical references and index.".
- 2011934034 description "Introduction -- Propositional- and predicate-calculus preliminaries -- A survey of inference mechanisms -- More on the structure of the verifier system -- A closer examination of the sequence of definitions and theorems presented in this book -- Undecidability and unsolvability -- A self-contained beginning for Ref's main proof scenario.".
- 2011934034 extent "xvii, 416 p. ;".
- 2011934034 identifier "0857298070 (hbk. : alk. paper)".
- 2011934034 identifier "9780857298072 (hbk. : alk. paper)".
- 2011934034 issued "2011".
- 2011934034 issued "c2011.".
- 2011934034 language "eng".
- 2011934034 publisher "London ; New York : Springer,".
- 2011934034 subject "QA248 .S364 2011".
- 2011934034 subject "Set theory.".
- 2011934034 tableOfContents "Introduction -- Propositional- and predicate-calculus preliminaries -- A survey of inference mechanisms -- More on the structure of the verifier system -- A closer examination of the sequence of definitions and theorems presented in this book -- Undecidability and unsolvability -- A self-contained beginning for Ref's main proof scenario.".
- 2011934034 title "Applying formalized logic to analysis".
- 2011934034 title "Computational logic and set theory : applying formalized logic to analysis / Jacob T. Schwartz, Domenico Cantone, Eugenio G. Omodeo.".
- 2011934034 type "text".