0 TO 10KM FOR SCOTTISH BOOK TRUST WITH EMMA MCNEILL
When the opportunity to do the Edinburgh Marathon Festival 10k as part […]
D. C. Kozen
Hello, I'm an eBook!
ATTENTION: This item is an eBook. It can be read on iOS, Android, MAC and PC's with a supported eReader. It is not a physical book. eBooks are available via download immediately after you've checked out.
May ship separately
Converts one physical book into a digital version.
eDelivery converts your used book order into a digital version readable on most devices.
Ships directly from Better World Books
Ships separately from Better World Books suppliers
Goodwill Industries of Cental
Super Book Deals
This Old Firehouse
Herb Tandree Philosophy Books
This textbook provides undergraduate students with an introduction to the basic theoretical models of computability, and develops some of the model's rich and varied structure. The first part of the book is devoted to finite automata and their properties. Pushdown automata provide a broader class of models and enable the analysis of context-free languages. In the remaining chapters, Turing machines are introduced and the book culminates in analyses of effective computability, decidability, and G del's incompleteness theorems. Students who already have some experience with elementary discrete mathematics will find this a well-paced first course, and a number of supplementary chapters introduce more advanced concepts.
Get 40% off 5 or more used books from the Bargain Bin. Shop and Save
A great last-minute present. Exactly what they want to read. Order Gift Certificates »
We match every book you purchase with a book donation. Learn more »
Sign up now to get news, sales and special promotions!
© Better World Books (BetterWorldBooks.com)