Mathematical Logic: Foundations for Information Science
69.97 CHF
Versandkostenfrei
Lieferzeit: 7-14 Werktage
- Artikel-Nr.: 10432274
Beschreibung
Preface.- Preface to the Second Edition.- I Elements of Mathematical Logic.- 1 Syntax of First-Order Languages.- 2 Models of First-Order Languages.- 3 Formal Inference Systems.- 4 Computability & Representability.- 5 Gödel Theorems.- II Logical Framework of Scientific Discovery.- 6 Sequences of Formal Theories.- 7 Revision Calculus.- 8 Version Sequences.- 9 Inductive Inference.- 10 Meta-Language Environments.- Appendix 1 Sets and Maps.- Appendix 2 Proof of the Representability Theorem.- Bibliography.- Index.
Eigenschaften
Bewertung
Bewertungen werden nach Überprüfung freigeschaltet.
Zuletzt angesehen