Computable Models

by Raymond Turner

Book Overview

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

• Format: Paperback
• Language: English
• ISBN: 1849968187
• ISBN13: 9781849968188
• Release Date: October 2010
• Publisher: Springer
• Length: 240 Pages
• Weight: 0.79 lbs.
• Dimensions: 0.5" x 6.1" x 9.2"