Mathematical Logic Foundations for Information Science /

• Κύριος συγγραφέας: Li, Wei (Συγγραφέας)
• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Basel : Birkhäuser Basel, 2010.
• Σειρά: Progress in Computer Science and Applied Logic (PCS) ; 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...

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

• Syntax of First-Order Languages
• Models of First-Order Languages
• Formal Inference Systems
• Computability & Representability
• Gödel Theorems
• Sequences of Formal Theories
• Revision Calculus
• Version Sequences
• Inductive Inference
• Workflows for Scientific Discovery.