The Resource Computable models, Raymond Turner
Computable models, Raymond Turner
Resource Information
The item Computable models, Raymond Turner represents a specific, individual, material embodiment of a distinct intellectual or artistic creation found in University of Missouri Libraries.This item is available to borrow from 2 library branches.
Resource Information
The item Computable models, Raymond Turner represents a specific, individual, material embodiment of a distinct intellectual or artistic creation found in University of Missouri Libraries.
This item is available to borrow from 2 library branches.
- Summary
- 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. In doing so he presents the first systematic attempt to provide computable models with a logical foundation. Computable models have wide-ranging applications from programming language semantics and the definition of specification languages, through to knowledge representation languages and formalisms for natural language semantics. They are also implicit in the computer modelling employed in many areas of science and engineering. This detailed investigation into the logical foundations of specification and its application to the construction of computable models should be of interest to a wide range of researchers including graduate students in mathematical logic and computer science
- Language
- eng
- Extent
- 1 online resource (xi, 240 pages)
- 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
- Isbn
- 9781848820524
- Label
- Computable models
- Title
- Computable models
- Statement of responsibility
- Raymond Turner
- Language
- eng
- Summary
- 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. In doing so he presents the first systematic attempt to provide computable models with a logical foundation. Computable models have wide-ranging applications from programming language semantics and the definition of specification languages, through to knowledge representation languages and formalisms for natural language semantics. They are also implicit in the computer modelling employed in many areas of science and engineering. This detailed investigation into the logical foundations of specification and its application to the construction of computable models should be of interest to a wide range of researchers including graduate students in mathematical logic and computer science
- Cataloging source
- N$T
- http://library.link/vocab/creatorDate
- 1947-
- http://library.link/vocab/creatorName
- Turner, Raymond
- Dewey number
- 003.3
- Illustrations
- illustrations
- Index
- index present
- Language note
- English
- LC call number
- QA9.59
- LC item number
- .T87 2009eb
- Literary form
- non fiction
- Nature of contents
-
- dictionaries
- bibliography
- http://library.link/vocab/subjectName
-
- Computable functions
- Model theory
- COMPUTERS
- Informatique
- Computable functions
- Model theory
- Berechenbarkeit
- Mathematisches Modell
- Label
- Computable models, Raymond Turner
- Antecedent source
- unknown
- Bibliography note
- Includes bibliographical references and index
- Carrier category
- online resource
- Carrier category code
-
- cr
- Carrier MARC source
- rdacarrier
- Color
- multicolored
- Content category
- text
- Content type code
-
- txt
- Content type MARC source
- rdacontent
- 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
- Control code
- 434518072
- Dimensions
- unknown
- Extent
- 1 online resource (xi, 240 pages)
- File format
- unknown
- Form of item
- online
- Isbn
- 9781848820524
- Level of compression
- unknown
- Media category
- computer
- Media MARC source
- rdamedia
- Media type code
-
- c
- Other control number
- 10.1007/978-1-84882-052-4
- Other physical details
- illustrations
- http://library.link/vocab/ext/overdrive/overdriveId
- 978-1-84882-051-7
- Publisher number
- 12168965
- Quality assurance targets
- not applicable
- Reformatting quality
- unknown
- Sound
- unknown sound
- Specific material designation
- remote
- System control number
- (OCoLC)434518072
- Label
- Computable models, Raymond Turner
- Antecedent source
- unknown
- Bibliography note
- Includes bibliographical references and index
- Carrier category
- online resource
- Carrier category code
-
- cr
- Carrier MARC source
- rdacarrier
- Color
- multicolored
- Content category
- text
- Content type code
-
- txt
- Content type MARC source
- rdacontent
- 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
- Control code
- 434518072
- Dimensions
- unknown
- Extent
- 1 online resource (xi, 240 pages)
- File format
- unknown
- Form of item
- online
- Isbn
- 9781848820524
- Level of compression
- unknown
- Media category
- computer
- Media MARC source
- rdamedia
- Media type code
-
- c
- Other control number
- 10.1007/978-1-84882-052-4
- Other physical details
- illustrations
- http://library.link/vocab/ext/overdrive/overdriveId
- 978-1-84882-051-7
- Publisher number
- 12168965
- Quality assurance targets
- not applicable
- Reformatting quality
- unknown
- Sound
- unknown sound
- Specific material designation
- remote
- System control number
- (OCoLC)434518072
Library Links
Embed
Settings
Select options that apply then copy and paste the RDF/HTML data fragment to include in your application
Embed this data in a secure (HTTPS) page:
Layout options:
Include data citation:
<div class="citation" vocab="http://schema.org/"><i class="fa fa-external-link-square fa-fw"></i> Data from <span resource="http://link.library.missouri.edu/portal/Computable-models-Raymond-Turner/wKVGyzqExcs/" typeof="Book http://bibfra.me/vocab/lite/Item"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.library.missouri.edu/portal/Computable-models-Raymond-Turner/wKVGyzqExcs/">Computable models, Raymond Turner</a></span> - <span property="potentialAction" typeOf="OrganizeAction"><span property="agent" typeof="LibrarySystem http://library.link/vocab/LibrarySystem" resource="http://link.library.missouri.edu/"><span property="name http://bibfra.me/vocab/lite/label"><a property="url" href="http://link.library.missouri.edu/">University of Missouri Libraries</a></span></span></span></span></div>
Note: Adjust the width and height settings defined in the RDF/HTML code fragment to best match your requirements
Preview
Cite Data - Experimental
Data Citation of the Item Computable models, Raymond Turner
Copy and paste the following RDF/HTML data fragment to cite this resource
<div class="citation" vocab="http://schema.org/"><i class="fa fa-external-link-square fa-fw"></i> Data from <span resource="http://link.library.missouri.edu/portal/Computable-models-Raymond-Turner/wKVGyzqExcs/" typeof="Book http://bibfra.me/vocab/lite/Item"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.library.missouri.edu/portal/Computable-models-Raymond-Turner/wKVGyzqExcs/">Computable models, Raymond Turner</a></span> - <span property="potentialAction" typeOf="OrganizeAction"><span property="agent" typeof="LibrarySystem http://library.link/vocab/LibrarySystem" resource="http://link.library.missouri.edu/"><span property="name http://bibfra.me/vocab/lite/label"><a property="url" href="http://link.library.missouri.edu/">University of Missouri Libraries</a></span></span></span></span></div>