Coverart for item
The Resource Computable models, Raymond Turner

Computable models, Raymond Turner

Label
Computable models
Title
Computable models
Statement of responsibility
Raymond Turner
Creator
Subject
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
Instantiates
Publication
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
9781849968188
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
Publication
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
9781849968188
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 Locations

    • Ellis LibraryBorrow it
      1020 Lowry Street, Columbia, MO, 65201, US
      38.944491 -92.326012
    • Engineering Library & Technology CommonsBorrow it
      W2001 Lafferre Hall, Columbia, MO, 65211, US
      38.946102 -92.330125
Processing Feedback ...