Recursive Function Theory and Logic (Computer Science & Applied Mathematics)

By Ann Yasuhara

No Synopsis Available.

• Format: Hardcover
• Language: English
• ISBN: 0127689508
• ISBN13: 9780127689500
• Release Date: January 1971
• Publisher: Academic Press
• Length: 338 Pages
• Weight: 1.66 lbs.

Customer Reviews

more information

Here's the contents of the book: (haven't read it yet)introduction 1part 1 recursive function theorych 1 turing machines 151.1 the definition of a turing machine1.2 some simple problems tm's can do1.3 some terminology and notation1.4 the universal turing machine1.5 the halting problem1.6 a few remarks about decision problems1.7 well-known decision problems1.8 additional exercisesch 2 semi-thue and thue systems2.1 instantaneous...