Computable Models

• Κύριος συγγραφέας: Turner, Raymond (Συγγραφέας)
• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: London : Springer London, 2009.
• Θέματα: Computer science.; Computers.; Computer logic.; Mathematical logic.; Artificial intelligence.; Computational linguistics.; Computer Science.; Theory of Computation.; Computation by Abstract Devices.; Logics and Meanings of Programs.; Mathematical Logic and Formal Languages.; Artificial Intelligence (incl. Robotics).; Language Translation and Linguistics.

Computable models pervade present day science and engineering and are implicit in the specification of software systems. Raymond Turner first provides a logical framework for specification and the design of specification languages, then uses this framework to introduce and study computable models. I...

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

• What is a Computable Model?
• Typed Predicate Logic
• Data Types
• Definability
• Specification
• Functions
• Preconditions
• Natural Numbers
• Typed Set Theory
• Systems Modeling
• A Type of Types
• Schemata
• Separation Types
• Recursive Schemata
• Inductive Types
• Recursive Functions
• Schema Definitions
• Computable Ontology
• Classes
• Classes of Functions
• Computable Analysis
• Programming Language Specification
• Abstract Types
• Conclusion.