Computable Models

• Main Author: Turner, Raymond (Author)
• Corporate Author: SpringerLink (Online service)
• Format: Electronic eBook
• Language: English
• Published: London : Springer London, 2009.
• Subjects: 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...

Table of Contents:

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