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

Πλήρης περιγραφή

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριος συγγραφέας: Li, Wei (Συγγραφέας)
Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
Γλώσσα: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.