skip to content
Models of computation : an introduction to computability theory Preview this item
ClosePreview this item
Checking...

Models of computation : an introduction to computability theory

Author: Maribel Fernández
Publisher: New York ; London : Springer, ©2009.
Series: Undergraduate topics in computer science
Edition/Format:   eBook : Document : EnglishView all editions and formats
Database:WorldCat
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  Read more...
Rating:

(not yet rated) 0 with reviews - Be the first.

Subjects
More like this

 

Find a copy online

Links to this item

Find a copy in the library

&AllPage.SpinnerRetrieving; Finding libraries that hold this item...

Details

Genre/Form: Electronic books
Additional Physical Format: Print version:
Fernández, Maribel.
Models of computation.
New York ; London : Springer, ©2009
(DLC) 2009284519
Material Type: Document, Internet resource
Document Type: Internet Resource, Computer File
All Authors / Contributors: Maribel Fernández
ISBN: 9781848824348 1848824343
OCLC Number: 647699644
Description: 1 online resource (xi, 184 pages) : illustrations.
Contents: Introduction --
Part I Traditional Models of Computation --
Automata and Turing Machines --
The Lambda Calculus --
Recursive Functions --
Logic-Based Models of Computation --
Part II Modern Models of Computation --
Computing with Objects --
Interaction-Based Models of Computation --
Concurrency --
Emergent Models of Computation --
Answers to Selected Exercises --
Bibliography --
Index.
Series Title: Undergraduate topics in computer science
Responsibility: Maribel Fernández.
More information:

Abstract:

This book provides an introduction to the essential concepts in computability, using several models of computation, from the standard Turing Machines and Recursive Functions, to the modern  Read more...

Reviews

Editorial reviews

Publisher Synopsis

From the reviews: "The focus of this relatively short book is on newer object-oriented and interaction-oriented models, including recent work in quantum computing and systems biology. ... the book is Read more...

 
User-contributed reviews
Retrieving GoodReads reviews...
Retrieving DOGObooks reviews...

Tags

Be the first.

Similar Items

Confirm this request

You may have already requested this item. Please select Ok if you would like to proceed with this request anyway.

Linked Data


Primary Entity

<http://www.worldcat.org/oclc/647699644> # Models of computation : an introduction to computability theory
    a schema:Book, schema:MediaObject, schema:CreativeWork ;
    library:oclcnum "647699644" ;
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/nyu> ;
    library:placeOfPublication <http://dbpedia.org/resource/London> ; # London
    library:placeOfPublication <http://dbpedia.org/resource/New_York_City> ; # New York
    schema:about <http://dewey.info/class/511.3/e22/> ;
    schema:about <http://id.worldcat.org/fast/1159283> ; # Turing machines
    schema:about <http://id.worldcat.org/fast/871985> ; # Computable functions
    schema:bookFormat schema:EBook ;
    schema:copyrightYear "2009" ;
    schema:creator <http://experiment.worldcat.org/entity/work/data/889736079#Person/fernandez_maribel> ; # Maribel Fernández
    schema:datePublished "2009" ;
    schema:description "Introduction -- Part I Traditional Models of Computation -- Automata and Turing Machines -- The Lambda Calculus -- Recursive Functions -- Logic-Based Models of Computation -- Part II Modern Models of Computation -- Computing with Objects -- Interaction-Based Models of Computation -- Concurrency -- Emergent Models of Computation -- Answers to Selected Exercises -- Bibliography -- Index."@en ;
    schema:description "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."@en ;
    schema:exampleOfWork <http://worldcat.org/entity/work/id/889736079> ;
    schema:genre "Electronic books"@en ;
    schema:inLanguage "en" ;
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/889736079#Series/undergraduate_topics_in_computer_science> ; # Undergraduate topics in computer science
    schema:isSimilarTo <http://worldcat.org/entity/work/data/889736079#CreativeWork/models_of_computation> ;
    schema:name "Models of computation : an introduction to computability theory"@en ;
    schema:productID "647699644" ;
    schema:publication <http://www.worldcat.org/title/-/oclc/647699644#PublicationEvent/new_york_london_springer_2009> ;
    schema:publisher <http://experiment.worldcat.org/entity/work/data/889736079#Agent/springer> ; # Springer
    schema:url <http://site.ebrary.com/id/10289688> ;
    schema:workExample <http://worldcat.org/isbn/9781848824348> ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/647699644> ;
    .


Related Entities

<http://dbpedia.org/resource/London> # London
    a schema:Place ;
    schema:name "London" ;
    .

<http://dbpedia.org/resource/New_York_City> # New York
    a schema:Place ;
    schema:name "New York" ;
    .

<http://experiment.worldcat.org/entity/work/data/889736079#Person/fernandez_maribel> # Maribel Fernández
    a schema:Person ;
    schema:familyName "Fernández" ;
    schema:givenName "Maribel" ;
    schema:name "Maribel Fernández" ;
    .

<http://experiment.worldcat.org/entity/work/data/889736079#Series/undergraduate_topics_in_computer_science> # Undergraduate topics in computer science
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/647699644> ; # Models of computation : an introduction to computability theory
    schema:name "Undergraduate topics in computer science" ;
    .

<http://id.worldcat.org/fast/1159283> # Turing machines
    a schema:Intangible ;
    schema:name "Turing machines"@en ;
    .

<http://id.worldcat.org/fast/871985> # Computable functions
    a schema:Intangible ;
    schema:name "Computable functions"@en ;
    .

<http://worldcat.org/entity/work/data/889736079#CreativeWork/models_of_computation>
    a schema:CreativeWork ;
    rdfs:label "Models of computation." ;
    schema:description "Print version:" ;
    schema:isSimilarTo <http://www.worldcat.org/oclc/647699644> ; # Models of computation : an introduction to computability theory
    .

<http://worldcat.org/isbn/9781848824348>
    a schema:ProductModel ;
    schema:isbn "1848824343" ;
    schema:isbn "9781848824348" ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

Don't have an account? You can easily create a free account.