close
1.

図書

図書
ed. Xiuzhen Cheng, Wei Li, Taieb Znati
出版情報: Berlin : Springer, c2006  xvi, 709 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 4138
所蔵情報: loading…
2.

図書

図書
Xionghan Feng, editor ... [et al.] ; sponsored by the ACS Division of Geochemistry
出版情報: Washington, DC : American Chemical Society , [New York] : Distributed in print by Oxford University Press, c2015  xi, 208 p. ; 24 cm
シリーズ名: ACS symposium series ; 1197
所蔵情報: loading…
3.

電子ブック

EB
Wei Li
出版情報: Springer eBooks Computer Science , Birkhäuser Basel, 2010
所蔵情報: loading…
目次情報: 続きを見る
Preface
Syntax of First-Order Languages / Chapter 1:
Symbols of first-order languages / 1.1:
Terms / 1.2:
Logical formulas / 1.3:
Free variables and substitutions / 1.4:
Gödel terms of formulas / 1.5:
Proof by structural induction / 1.6:
Models of First-Order Languages / Chapter 2:
Domains and interpretations / 2.1:
Assignments and models / 2.2:
Semantics of terms / 2.3:
Semantics of logical connective symbols / 2.4:
Semantics of formulas / 2.5:
Satisfiability and validity / 2.6:
Valid formulas with ↔ / 2.7:
Hintikka set / 2.8:
Herbrand model / 2.9:
Herbrand model with variables / 2.10:
Substitution lemma / 2.11:
Theorem of isomorphism / 2.12:
Formal Inference Systems / Chapter 3:
G inference system / 3.1:
Inference trees, proof trees and provable sequents / 3.2:
Soundness of the G inference system / 3.3:
Compactness and consistency / 3.4:
Completeness of the G inference system / 3.5:
Some commonly used inference rules / 3.6:
Proof theory and model theory / 3.7:
Computability & Representability / Chapter 4:
Formal theory / 4.1:
Elementary arithmetic theory / 4.2:
P-kernel on N / 4.3:
Church-Turing thesis / 4.4:
Problem of representability / 4.5:
States of P-kernel / 4.6:
Operational calculus of P-kernel / 4.7:
Representations of statements / 4.8:
Representability theorem / 4.9:
Gödel Theorems / Chapter 5:
Self-referential proposition / 5.1:
Decidable sets / 5.2:
Fixed point equation in π / 5.3:
Gödel's incompleteness theorem / 5.4:
Gödel's consistency theorem / 5.5:
Halting problem / 5.6:
Sequences of Formal Theories / Chapter 6:
Two examples / 6.1:
Sequences of formal theories / 6.2:
Proschemes / 6.3:
Resolvent sequences / 6.4:
Default expansion sequences / 6.5:
Forcing sequences / 6.6:
Discussions on proschemes / 6.7:
Revision Calculus / Chapter 7:
Necessary antecedents of formal consequences / 7.1:
New conjectures and new axioms / 7.2:
Refutation by facts and maximal contraction / 7.3:
R-calculus / 7.4:
Some examples / 7.5:
Special theory of relativity / 7.6:
Darwin's theory of evolution / 7.7:
Reachability of R-calculus / 7.8:
Soundness and completeness of R-calculus / 7.9:
Basic theorem of testing / 7.10:
Version Sequences / Chapter 8:
Versions and version sequences / 8.1:
The Proscheme Open / 8.2:
Convergence of the proscheme / 8.3:
Commutativity of the proscheme / 8.4:
Independence of the proscheme / 8.5:
Reliable proschemes / 8.6:
Inductive Inference / Chapter 9:
Ground terms, basic sentences, and basic instances / 9.1:
Inductive inference system A / 9.2:
Inductive versions and inductive process / 9.3:
The Proscheme Guina / 9.4:
Convergence of the proscheme Guina / 9.5:
Commutativity of the proscheme Guina p206 / 9.6:
Independence of the proscheme GUINA / 9.7:
Workflows for Scientific Discovery / Chapter 10:
Three language environments / 10.1:
Basic principles of the meta-language environment / 10.2:
Axiomatization / 10.3:
Formal methods / 10.4:
Workflow of scientific research / 10.5:
Sets and Maps / Appendix 1:
Substitution Lemma and Its Proof / Appendix 2:
Proof of the Representability Theorem / Appendix 3:
Representation of the while statement in π / A3.1:
Representability of the P-procedure body / A3.2:
Bibliography
Index
Preface
Syntax of First-Order Languages / Chapter 1:
Symbols of first-order languages / 1.1:
4.

電子ブック

EB
Xiuzhen Cheng, Takeo Kanade, Wayne Li, Wei Li, Taieb Znati, Taieb F. Znati
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2006
所蔵情報: loading…
5.

学位論文

学位
Wei Li
出版情報: 東京 : 東京工業大学, 2018  1 online resource
所蔵情報: loading…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼