Mathematical Logic Foundations for Information Science /

• Κύριος συγγραφέας: Li, Wei (Συγγραφέας)
• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Basel : Springer Basel : Imprint: Birkhäuser, 2014.
• Έκδοση: 2nd ed. 2014.
• Σειρά: Progress in Computer Science and Applied Logic, 25
• Θέματα: Computer science.; Mathematical logic.; Computer Science.; Mathematical Logic and Formal Languages.; Mathematical Logic and Foundations.

Mathematical logic is a branch of mathematics that takes axiom systems and mathematical proofs as its objects of study. This book shows how it can also provide a foundation for the development of information science and technology. The first five chapters systematically present the core topics of cl...

Πίνακας περιεχομένων:

• 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.