Mendeley出力
＜図書＞
Computational logic and set theory : applying formalized logic to analysis
| 責任表示 | Jacob T. Schwartz, Domenico Cantone, Eugenio G. Omodeo |
|---|---|
| データ種別 | 図書 |
| 出版情報 | London: Springer , c2011 |
| 本文言語 | 英語 |
| 大きさ | xvii, 416 p. ; 24 cm |
| 概要 | 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.続きを見る |
| 目次 | 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. |
| 電子版へのリンク | https://hdl.handle.net/2324/7010819 |
所蔵情報
| 状態 | 巻次 | 所蔵場所 | 請求記号 | 刷年 | 文庫名称 | 資料番号 | コメント | 予約・取寄 | 複写申込 | 自動書庫 |
|---|---|---|---|---|---|---|---|---|---|---|
|
|
|
理系図3F 数理独自 | SCHW/50/7 | 2011 |
|
033212011004014 |
|
書誌詳細
| 一般注記 | Includes bibliographical references and index |
|---|---|
| 著者標目 | *Schwartz, Jacob T. Cantone, Domenico Omodeo, Eugenio G. |
| 件 名 | LCSH:Set theory FREE:Electronic books |
| 分 類 | LCC:QA248 |
| 書誌ID | 1001456126 |
| ISBN | 9780857298072 |
| NCID | BB06703649 |
| 巻冊次 | ISBN:9780857298072 |
| 登録日 | 2011.09.28 |
| 更新日 | 2017.02.18 |