Mathematical Logic Foundations for Information Science
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...
| Main Author: | |
|---|---|
| Format: | eBook |
| Language: | English |
| Published: |
Basel
Birkhäuser
2010, 2010
|
| Edition: | 1st ed. 2010 |
| Series: | Progress in Computer Science and Applied Logic
|
| Subjects: | |
| Online Access: | |
| Collection: | Springer eBooks 2005- - Collection details see MPG.ReNa |
Table of Contents:
- 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