Computational Logic and Set Theory Applying Formalized Logic to Analysis /

• Κύριοι συγγραφείς: Schwartz, Jacob T. (Συγγραφέας), Cantone, Domenico (Συγγραφέας), Omodeo, Eugenio G. (Συγγραφέας)
• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: London : Springer London : Imprint: Springer, 2011.
• Θέματα: Computer science.; Computers.; Mathematical logic.; Computer Science.; Computer Science, general.; Computation by Abstract Devices.; Mathematical Logic and Formal Languages.

As computer software becomes more complex, the question of how its correctness can be assured grows ever more critical. Formal logic embodied in computer programs is an important part of the answer to this problem. This must-read text presents the pioneering work of the late Professor Jacob (Jack) T...

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

• Introduction
• Propositional and Predicate-Calculus Preliminaries
• A Survey of Inference Mechanisms
• More on the Structure of the Verifier System
• A Closer Examination of the Sequence of Definitions and Theorems Presented in this Book
• Undecidability and Unsolvability.