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