The Resource Models of computation : an introduction to computability theory, Maribel Fernández
Models of computation : an introduction to computability theory, Maribel Fernández
Resource Information
The item Models of computation : an introduction to computability theory, Maribel Fernández 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 Models of computation : an introduction to computability theory, Maribel Fernández 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
- An Introduction to Computability Theory provides an introduction to the essential concepts in computability, using several models of computation, from Turing machines to the modern computation models inspired by quantum physics. It is addressed to advanced undergraduate students, as a complement to programming courses, or to postgraduate students interested in foundations of computation and the theory of computability. There are two parts in the book. The first highlights the traditional models of computation used in the first studies on computability: - Automata and Turing Machines; - Recursive functions and the Lambda-Calculus; - Logic-based computation models. The second part covers object-oriented and interaction-based models, and includes a chapter on concurrency and a chapter on emergent models of computation inspired by quantum mechanics and systems biology. At the end of each chapter there is a list of exercises, solutions to selected exercises are provided in the final chapter of the book. The book gives an in-depth analysis of the basic concepts underlying each model of computation. It privileges the understanding of the basic techniques and their relationships over simply describing their properties
- Language
- eng
- Extent
- 1 online resource.
- Contents
-
- Traditional models of computation
- Automata and Turing machines
- The Lambda calculus
- Recursive functions
- Logic-based models of computation
- Modern models of computation
- Computing with objects
- Interaction-based models of computation
- Concurrency
- Emergent models of computation
- Isbn
- 9781848824348
- Label
- Models of computation : an introduction to computability theory
- Title
- Models of computation
- Title remainder
- an introduction to computability theory
- Statement of responsibility
- Maribel Fernández
- Language
- eng
- Summary
- An Introduction to Computability Theory provides an introduction to the essential concepts in computability, using several models of computation, from Turing machines to the modern computation models inspired by quantum physics. It is addressed to advanced undergraduate students, as a complement to programming courses, or to postgraduate students interested in foundations of computation and the theory of computability. There are two parts in the book. The first highlights the traditional models of computation used in the first studies on computability: - Automata and Turing Machines; - Recursive functions and the Lambda-Calculus; - Logic-based computation models. The second part covers object-oriented and interaction-based models, and includes a chapter on concurrency and a chapter on emergent models of computation inspired by quantum mechanics and systems biology. At the end of each chapter there is a list of exercises, solutions to selected exercises are provided in the final chapter of the book. The book gives an in-depth analysis of the basic concepts underlying each model of computation. It privileges the understanding of the basic techniques and their relationships over simply describing their properties
- Cataloging source
- GW5XE
- http://library.link/vocab/creatorName
- Fernández, Maribel
- Dewey number
- 511.3/52
- Index
- index present
- LC call number
- QA9.59
- LC item number
- .F47 2009
- Literary form
- non fiction
- Nature of contents
-
- dictionaries
- bibliography
- Series statement
- Undergraduate topics in computer science
- http://library.link/vocab/subjectName
-
- Computable functions
- Computable functions
- Computable functions
- Informatique
- Computable functions
- Label
- Models of computation : an introduction to computability theory, Maribel Fernández
- 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
- Traditional models of computation -- Automata and Turing machines -- The Lambda calculus -- Recursive functions -- Logic-based models of computation -- Modern models of computation -- Computing with objects -- Interaction-based models of computation -- Concurrency -- Emergent models of computation
- Control code
- 405547831
- Dimensions
- unknown
- Extent
- 1 online resource.
- Form of item
- online
- Isbn
- 9781848824348
- Media category
- computer
- Media MARC source
- rdamedia
- Media type code
-
- c
- http://library.link/vocab/ext/overdrive/overdriveId
- 978-1-84882-433-1
- Specific material designation
- remote
- System control number
- (OCoLC)405547831
- Label
- Models of computation : an introduction to computability theory, Maribel Fernández
- 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
- Traditional models of computation -- Automata and Turing machines -- The Lambda calculus -- Recursive functions -- Logic-based models of computation -- Modern models of computation -- Computing with objects -- Interaction-based models of computation -- Concurrency -- Emergent models of computation
- Control code
- 405547831
- Dimensions
- unknown
- Extent
- 1 online resource.
- Form of item
- online
- Isbn
- 9781848824348
- Media category
- computer
- Media MARC source
- rdamedia
- Media type code
-
- c
- http://library.link/vocab/ext/overdrive/overdriveId
- 978-1-84882-433-1
- Specific material designation
- remote
- System control number
- (OCoLC)405547831
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/Models-of-computation--an-introduction-to/vVC9Z1wUdMg/" 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/Models-of-computation--an-introduction-to/vVC9Z1wUdMg/">Models of computation : an introduction to computability theory, Maribel Fernández</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 Models of computation : an introduction to computability theory, Maribel Fernández
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/Models-of-computation--an-introduction-to/vVC9Z1wUdMg/" 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/Models-of-computation--an-introduction-to/vVC9Z1wUdMg/">Models of computation : an introduction to computability theory, Maribel Fernández</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>