【2009】Computable Models

Book 图书名称：Computable Models
Author 作者：Raymond Turner
Publisher 出版社：Springer
Page 页数：238
Publishing Date 出版时间： Apr 21, 2009
Language 语言：English
Size 大小：1.6MB
Format 格式：pdf文字版
ISBN: 1848820518, 9781848820517, 9781848820524
Edition: 第1版搜索过论坛，没有该文档


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.

== Table of contents ==
Table of contents :
Front Matter....Pages 1-9
What is a Computable Model?....Pages 1-9
Typed Predicate Logic....Pages 1-14
Data Types....Pages 1-12
Definability....Pages 1-6
Specification....Pages 1-10
Functions....Pages 1-10
Preconditions....Pages 1-8
Natural Numbers....Pages 1-14
Typed Set Theory....Pages 1-18
Systems Modeling....Pages 1-9
A Type of Types....Pages 1-13
Schemata....Pages 1-15
Separation Types....Pages 1-11
Recursive Schemata....Pages 1-12
Inductive Types....Pages 1-9
Recursive Functions....Pages 1-7
Schema Definitions....Pages 1-10
Computable Ontology....Pages 1-5
Classes....Pages 1-5
Classes of Functions....Pages 1-9
Computable Analysis....Pages 1-6
Programming Language Specification....Pages 1-7
Abstract Types....Pages 1-6
Conclusion....Pages 1-1
Back Matter....Pages 1-2


== 回帖见免费下载 ==
[hide]
[/hide]
声明： 本资源仅供学术研究参考之用，发布者不负任何法律责任，敬请下载者支持购买正版。
提倡免费分享！ 我发全部免费的，分文不收 来看看 ...
你也可关注我马上加关注