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
Database:WorldCat
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.
More information:

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: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#Place/new_york_ny> # New York, NY
    a schema:Place ;
    schema:name "New York, NY" ;
    .

<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://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.