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