Automata and Computability, Undergraduate Texts in Computer Science.

By:

Kozen,Dexter C [Editor.]

Contributor(s):

Material type:

TextPublication details: New York: Springer, 1997.Description: xiii,400pISBN:

9781461273097

Subject(s):

DDC classification:

21 511.3 KOZ/A

Contents:

Lecture 32 Decidable and Undecidable ProblemsLecture 33 Reduction; Lecture 34 Rice's Theorem; Lecture 35 Undecidable Problems About CFLs; Lecture 36 Other Formalisms; Lecture 37 The λ-Calculus; Supplementary Lecture I While Programs; Supplementary Lecture J Beyond Undecidability; Lecture 38 Godel's Incompleteness Theorem; Lecture 39 Proof of the Incompleteness Theorem; Supplementary Lecture K Godel's Proof; Exercises; Miscellaneous Exercises Finite Automata and Regular Sets; Miscellaneous Exercises Pushdown Automata and Context-Free Languages

Tags from this library: No tags from this library for this title. Log in to add tags.

Average rating: 0.0 (0 votes)

Holdings
Cover image	Item type	Current library	Home library	Collection	Shelving location	Call number	Materials specified	Vol info	URL	Copy number	Status	Notes	Date due	Barcode	Item holds	Item hold queue priority	Course reserves
	General Books	Central Library, Sikkim University General Book Section				511.3 KOZ/A (Browse shelf(Opens below))					Available			053277

Total holds: 0

Lecture 32
Decidable and Undecidable ProblemsLecture 33
Reduction; Lecture
34 Rice's Theorem; Lecture
35 Undecidable Problems About CFLs; Lecture
36 Other Formalisms; Lecture
37 The λ-Calculus; Supplementary Lecture I While Programs; Supplementary Lecture J Beyond Undecidability; Lecture
38 Godel's Incompleteness Theorem; Lecture
39 Proof of the Incompleteness Theorem; Supplementary Lecture K Godel's Proof; Exercises; Miscellaneous Exercises Finite Automata and Regular Sets; Miscellaneous Exercises Pushdown Automata and Context-Free Languages

There are no comments on this title.

to post a comment.