Computable Models

Authors: turner, raymond

  • First book to explore the application of computable mathematical models to theoretical computer science and artificial intelligence e.g. the various areas of semantics, theories of formal ontologies and a computational approach to Montague semantics
  • Examines the development, mathematical investigation and application of axiomatic theories of data types
see more benefits

Buy this book

eBook $79.99
price for USA
  • ISBN 978-1-84882-052-4
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Download immediately after purchase
Hardcover $109.00
price for USA
  • ISBN 978-1-84882-051-7
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
Softcover $109.00
price for USA
  • ISBN 978-1-84996-818-8
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
About this Textbook

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.

Reviews

From the reviews:

"Turner’s book … provides an articulate overview of the theory behind computational model design. … The book is the result of many years of research and teaching in the field and has all the attributes of a mature work, worthy of being included as a valuable reference for interested professionals. … a textbook for ‘graduate students and researchers in theoretical computer science, artificial intelligence, and mathematical logic.’ … there is no doubt that professionals in these areas will find the text valuable … ." (Stefan Robila, ACM Computing Reviews, November, 2009)


Table of contents (24 chapters)

Buy this book

eBook $79.99
price for USA
  • ISBN 978-1-84882-052-4
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Download immediately after purchase
Hardcover $109.00
price for USA
  • ISBN 978-1-84882-051-7
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
Softcover $109.00
price for USA
  • ISBN 978-1-84996-818-8
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.

Services for this book

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Computable Models
Authors
Copyright
2009
Publisher
Springer-Verlag London
Copyright Holder
Springer-Verlag London
eBook ISBN
978-1-84882-052-4
DOI
10.1007/978-1-84882-052-4
Hardcover ISBN
978-1-84882-051-7
Softcover ISBN
978-1-84996-818-8
Edition Number
1
Number of Pages
XII, 240
Topics