The Resource A Recursive Introduction to the Theory of Computation, by Carl H. Smith
A Recursive Introduction to the Theory of Computation, by Carl H. Smith
Resource Information
The item A Recursive Introduction to the Theory of Computation, by Carl H. Smith represents a specific, individual, material embodiment of a distinct intellectual or artistic creation found in Massey University Library, University of New Zealand.This item is available to borrow from 1 library branch.
Resource Information
The item A Recursive Introduction to the Theory of Computation, by Carl H. Smith represents a specific, individual, material embodiment of a distinct intellectual or artistic creation found in Massey University Library, University of New Zealand.
This item is available to borrow from 1 library branch.
 Summary
 The aim of this textbook is to present an account of the theory of computation. After introducing the concept of a model of computation and presenting various examples, the author explores the limitations of effective computation via basic recursion theory. Selfreference and other methods are introduced as fundamental and basic tools for constructing and manipulating algorithms. From there the book considers the complexity of computations and the notion of a complexity measure is introduced. Finally, the book culminates in considering time and space measures and in classifying computable functions as being either feasible or not. The author assumes only a basic familiarity with discrete mathematics and computing, making this textbook ideal for a graduatelevel introductory course. It is based on many such courses presented by the author and so numerous exercises are included. In addition, the solutions to most of these exercises are provided
 Language
 eng
 Extent
 1 online resource (viii, 148 pages)
 Contents

 1. Models of Computation
 2. Basic Recursive Function Theory
 Abstract Complexity Theory
 4. Complete Problems
 Solutions to Selected Exercises
 List of Symbols
 Isbn
 9781441985019
 Label
 A Recursive Introduction to the Theory of Computation
 Title
 A Recursive Introduction to the Theory of Computation
 Statement of responsibility
 by Carl H. Smith
 Language
 eng
 Summary
 The aim of this textbook is to present an account of the theory of computation. After introducing the concept of a model of computation and presenting various examples, the author explores the limitations of effective computation via basic recursion theory. Selfreference and other methods are introduced as fundamental and basic tools for constructing and manipulating algorithms. From there the book considers the complexity of computations and the notion of a complexity measure is introduced. Finally, the book culminates in considering time and space measures and in classifying computable functions as being either feasible or not. The author assumes only a basic familiarity with discrete mathematics and computing, making this textbook ideal for a graduatelevel introductory course. It is based on many such courses presented by the author and so numerous exercises are included. In addition, the solutions to most of these exercises are provided
 http://library.link/vocab/creatorDate
 1895
 http://library.link/vocab/creatorName
 Smith, Carl H.
 Dewey number
 004.0151
 Index
 no index present
 Literary form
 non fiction
 Nature of contents
 dictionaries
 Series statement
 Graduate Texts in Computer Science,
 http://library.link/vocab/subjectName

 Computer science
 Information theory
 Label
 A Recursive Introduction to the Theory of Computation, by Carl H. Smith
 Antecedent source
 file reproduced from original
 Color
 mixed
 Contents
 1. Models of Computation  2. Basic Recursive Function Theory  Abstract Complexity Theory  4. Complete Problems  Solutions to Selected Exercises  List of Symbols
 Control code
 ocn853264162
 Dimensions
 unknown
 Extent
 1 online resource (viii, 148 pages)
 File format
 unknown
 Form of item
 online
 Isbn
 9781441985019
 Level of compression
 uncompressed
 Note
 SpringerLink
 Quality assurance targets
 unknown
 Reformatting quality
 access
 Sound
 unknown sound
 Specific material designation
 remote
 System control number
 (OCoLC)853264162
 Label
 A Recursive Introduction to the Theory of Computation, by Carl H. Smith
 Antecedent source
 file reproduced from original
 Color
 mixed
 Contents
 1. Models of Computation  2. Basic Recursive Function Theory  Abstract Complexity Theory  4. Complete Problems  Solutions to Selected Exercises  List of Symbols
 Control code
 ocn853264162
 Dimensions
 unknown
 Extent
 1 online resource (viii, 148 pages)
 File format
 unknown
 Form of item
 online
 Isbn
 9781441985019
 Level of compression
 uncompressed
 Note
 SpringerLink
 Quality assurance targets
 unknown
 Reformatting quality
 access
 Sound
 unknown sound
 Specific material designation
 remote
 System control number
 (OCoLC)853264162
Library Links
Embed (Experimental)
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 faexternallinksquare fafw"></i> Data from <span resource="http://link.massey.ac.nz/portal/ARecursiveIntroductiontotheTheoryof/q0zYFcfYdcE/" typeof="Book http://bibfra.me/vocab/lite/Item"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.massey.ac.nz/portal/ARecursiveIntroductiontotheTheoryof/q0zYFcfYdcE/">A Recursive Introduction to the Theory of Computation, by Carl H. Smith</a></span>  <span property="potentialAction" typeOf="OrganizeAction"><span property="agent" typeof="LibrarySystem http://library.link/vocab/LibrarySystem" resource="http://link.massey.ac.nz/"><span property="name http://bibfra.me/vocab/lite/label"><a property="url" href="http://link.massey.ac.nz/">Massey University Library, University of New Zealand</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 A Recursive Introduction to the Theory of Computation, by Carl H. Smith
Copy and paste the following RDF/HTML data fragment to cite this resource
<div class="citation" vocab="http://schema.org/"><i class="fa faexternallinksquare fafw"></i> Data from <span resource="http://link.massey.ac.nz/portal/ARecursiveIntroductiontotheTheoryof/q0zYFcfYdcE/" typeof="Book http://bibfra.me/vocab/lite/Item"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.massey.ac.nz/portal/ARecursiveIntroductiontotheTheoryof/q0zYFcfYdcE/">A Recursive Introduction to the Theory of Computation, by Carl H. Smith</a></span>  <span property="potentialAction" typeOf="OrganizeAction"><span property="agent" typeof="LibrarySystem http://library.link/vocab/LibrarySystem" resource="http://link.massey.ac.nz/"><span property="name http://bibfra.me/vocab/lite/label"><a property="url" href="http://link.massey.ac.nz/">Massey University Library, University of New Zealand</a></span></span></span></span></div>