Undergraduate Texts in Computer Science

Automata and Computability

Authors: Kozen, Dexter C.

Free Preview

Buy this book

eBook $74.99
price for USA in USD (gross)
  • ISBN 978-3-642-85706-5
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $99.00
price for USA in USD
  • Unpublished eBooks cannot be pre-ordered in advance.
  • Due: May 15, 2003
  • ISBN 978-3-642-85708-9
  • Free shipping for individuals worldwide
About this Textbook

These are my lecture notes from CS381/481: Automata and Computability Theory, a one-semester senior-level course I have taught at Cornell Uni­ versity for many years. I took this course myself in thc fall of 1974 as a first-year Ph.D. student at Cornell from Juris Hartmanis and have been in love with the subject ever sin,:e. The course is required for computer science majors at Cornell. It exists in two forms: CS481, an honors version; and CS381, a somewhat gentler­ paced version. The syllabus is roughly the same, but CS481 go es deeper into thc subject, covers more material, and is taught at a more abstract level. Students are encouraged to start off in one or the other, then switch within the first few weeks if they find the other version more suitaLle to their level of mathematical skill. The purpose of t.hc course is twofold: to introduce computer science students to the rieh heritage of models and abstractions that have arisen over the years; and to dew!c'p the capacity to form abstractions of their own and reason in terms of them.

Table of contents (48 chapters)

Buy this book

eBook $74.99
price for USA in USD (gross)
  • ISBN 978-3-642-85706-5
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $99.00
price for USA in USD
  • Unpublished eBooks cannot be pre-ordered in advance.
  • Due: May 15, 2003
  • ISBN 978-3-642-85708-9
  • Free shipping for individuals worldwide
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Automata and Computability
Authors
Series Title
Undergraduate Texts in Computer Science
Copyright
1977
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
Springer Science+Business Media New York
Distribution Rights
This reprint has been authorized by Springer-Verlag for sale in India, Pakistan, Bangladesh, Neapel and Sri Lanka.
eBook ISBN
978-3-642-85706-5
DOI
10.1007/978-3-642-85706-5
Softcover ISBN
978-3-642-85708-9
Edition Number
1
Number of Pages
XIII, 400
Topics