skip to content
A Programming Approach to Computability Preview this item
ClosePreview this item
Checking...

A Programming Approach to Computability

Author: A J Kfoury; Robert N Moll; Michael A Arbib
Publisher: New York, NY : Springer New York, 1982.
Series: Texts and monographs in computer science.
Edition/Format:   eBook : Document : EnglishView all editions and formats
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:
Material Type: Document, Internet resource
Document Type: Internet Resource, Computer File
All Authors / Contributors: A J Kfoury; Robert N Moll; Michael A Arbib
ISBN: 9781461257493 1461257492
OCLC Number: 852792704
Description: 1 online resource (viii, 251 pages 36 illustrations).
Contents: 1 Introduction --
1.1 Partial Functions and Algorithms --
1.2 An Invitation to Computability Theory --
1.3 Diagonalization and the Halting Problem --
2 The Syntax and Semantics of while-Programs --
2.1 The Language of while-Programs --
2.2 Macro Statements --
2.3 The Computable Functions --
3 Enumeration and Universality of the Computable Functions --
3.1 The Effective Enumeration of while-Programs --
3.2 Universal Functions and Interpreters --
3.3 String-Processing Functions --
3.4 Pairing Functions --
4 Techniques of Elementary Computability Theory --
4.1 Algorithmic Specifications --
4.2 The s-m-n Theorem --
4.3 Undecidable Problems --
5 Program Methodology --
5.1 An Invitation to Denotational Semantics --
5.2 Recursive Programs 110 5.3* Proof Rules for Program Properties --
6 The Recursion Theorem and Properties of Enumerations --
6.1 The Recursion Theorem --
6.2 Model-Independent Properties of Enumerations --
7 Computable Properties of Sets (Part 1) --
7.1 Recursive and Recursively Enumerable Sets --
7.2 Indexing the Recursively Enumerable Sets --
7.3 Gödel's Incompleteness Theorem --
8 Computable Properties of Sets (Part 2) --
8.1 Rice's Theorem and Related Results --
8.2 A Classification of Sets --
9 Alternative Approaches to Computability --
9.1 The Turing Characterization --
9.2 The Kleene Characterization --
9.3 Symbol-Manipulation Systems and Formal Languages --
References --
Notation Index --
Author Index.
Series Title: Texts and monographs in computer science.
Responsibility: by A.J. Kfoury, Robert N. Moll, Michael A. Arbib.

Reviews

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/852792704> # A Programming Approach to Computability
    a schema:Book, schema:CreativeWork, schema:MediaObject ;
   library:oclcnum "852792704" ;
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/nyu> ;
   library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/458469#Place/new_york_ny> ; # New York, NY
   schema:about <http://dewey.info/class/004.0151/e23/> ;
   schema:about <http://id.worldcat.org/fast/1124185> ; # Software engineering
   schema:about <http://id.worldcat.org/fast/872451> ; # Computer science
   schema:bookFormat schema:EBook ;
   schema:contributor <http://viaf.org/viaf/4952830> ; # Michael A. Arbib
   schema:contributor <http://viaf.org/viaf/593677> ; # Robert N. Moll
   schema:creator <http://experiment.worldcat.org/entity/work/data/458469#Person/kfoury_a_j> ; # A. J. Kfoury
   schema:datePublished "1982" ;
   schema:description "1 Introduction -- 1.1 Partial Functions and Algorithms -- 1.2 An Invitation to Computability Theory -- 1.3 Diagonalization and the Halting Problem -- 2 The Syntax and Semantics of while-Programs -- 2.1 The Language of while-Programs -- 2.2 Macro Statements -- 2.3 The Computable Functions -- 3 Enumeration and Universality of the Computable Functions -- 3.1 The Effective Enumeration of while-Programs -- 3.2 Universal Functions and Interpreters -- 3.3 String-Processing Functions -- 3.4 Pairing Functions -- 4 Techniques of Elementary Computability Theory -- 4.1 Algorithmic Specifications -- 4.2 The s-m-n Theorem -- 4.3 Undecidable Problems -- 5 Program Methodology -- 5.1 An Invitation to Denotational Semantics -- 5.2 Recursive Programs 110 5.3* Proof Rules for Program Properties -- 6 The Recursion Theorem and Properties of Enumerations -- 6.1 The Recursion Theorem -- 6.2 Model-Independent Properties of Enumerations -- 7 Computable Properties of Sets (Part 1) -- 7.1 Recursive and Recursively Enumerable Sets -- 7.2 Indexing the Recursively Enumerable Sets -- 7.3 Gödel's Incompleteness Theorem -- 8 Computable Properties of Sets (Part 2) -- 8.1 Rice's Theorem and Related Results -- 8.2 A Classification of Sets -- 9 Alternative Approaches to Computability -- 9.1 The Turing Characterization -- 9.2 The Kleene Characterization -- 9.3 Symbol-Manipulation Systems and Formal Languages -- References -- Notation Index -- Author Index."@en ;
   schema:exampleOfWork <http://worldcat.org/entity/work/id/458469> ;
   schema:genre "Electronic books"@en ;
   schema:inLanguage "en" ;
   schema:isPartOf <http://worldcat.org/issn/0172-603X> ; # Texts and Monographs in Computer Science,
   schema:isPartOf <http://experiment.worldcat.org/entity/work/data/458469#Series/texts_and_monographs_in_computer_science> ; # Texts and monographs in computer science.
   schema:isSimilarTo <http://worldcat.org/entity/work/data/458469#CreativeWork/> ;
   schema:name "A Programming Approach to Computability"@en ;
   schema:productID "852792704" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/852792704#PublicationEvent/new_york_ny_springer_new_york_1982> ;
   schema:publisher <http://experiment.worldcat.org/entity/work/data/458469#Agent/springer_new_york> ; # Springer New York
   schema:url <http://dx.doi.org/10.1007/978-1-4612-5749-3> ;
   schema:url <http://link.springer.com/10.1007/978-1-4612-5749-3> ;
   schema:workExample <http://worldcat.org/isbn/9781461257493> ;
   schema:workExample <http://dx.doi.org/10.1007/978-1-4612-5749-3> ;
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/852792704> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/458469#Agent/springer_new_york> # Springer New York
    a bgn:Agent ;
   schema:name "Springer New York" ;
    .

<http://experiment.worldcat.org/entity/work/data/458469#Person/kfoury_a_j> # A. J. Kfoury
    a schema:Person ;
   schema:familyName "Kfoury" ;
   schema:givenName "A. J." ;
   schema:name "A. J. Kfoury" ;
    .

<http://experiment.worldcat.org/entity/work/data/458469#Series/texts_and_monographs_in_computer_science> # Texts and monographs in computer science.
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/852792704> ; # A Programming Approach to Computability
   schema:name "Texts and monographs in computer science." ;
    .

<http://id.worldcat.org/fast/1124185> # Software engineering
    a schema:Intangible ;
   schema:name "Software engineering"@en ;
    .

<http://id.worldcat.org/fast/872451> # Computer science
    a schema:Intangible ;
   schema:name "Computer science"@en ;
    .

<http://link.springer.com/10.1007/978-1-4612-5749-3>
   rdfs:comment "from Springer" ;
   rdfs:comment "(Unlimited Concurrent Users)" ;
    .

<http://viaf.org/viaf/4952830> # Michael A. Arbib
    a schema:Person ;
   schema:familyName "Arbib" ;
   schema:givenName "Michael A." ;
   schema:name "Michael A. Arbib" ;
    .

<http://viaf.org/viaf/593677> # Robert N. Moll
    a schema:Person ;
   schema:familyName "Moll" ;
   schema:givenName "Robert N." ;
   schema:name "Robert N. Moll" ;
    .

<http://worldcat.org/entity/work/data/458469#CreativeWork/>
    a schema:CreativeWork ;
   schema:description "Print version:" ;
   schema:isSimilarTo <http://www.worldcat.org/oclc/852792704> ; # A Programming Approach to Computability
    .

<http://worldcat.org/isbn/9781461257493>
    a schema:ProductModel ;
   schema:isbn "1461257492" ;
   schema:isbn "9781461257493" ;
    .

<http://worldcat.org/issn/0172-603X> # Texts and Monographs in Computer Science,
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/852792704> ; # A Programming Approach to Computability
   schema:issn "0172-603X" ;
   schema:name "Texts and Monographs in Computer Science," ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

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