Filter by

  • Publication Year
  • Availability
  • Attachment
  • Collection Type
    See More
  • General Material Designation
    See More
  • Location
  • Language
    See More
Found 2 from your keywords: subject="MATHEMATICAL LOGIC"
cover
Introduction To Automata Theory, Languages, and Computation. Third Edition
Comment Share
Hopcroft, John E

This classic book on formal languages, automata theory, and computational complexity has been updated to present theoretical concepts in a concise and straightforward manner with the increase of hands-on, practical applications. This new edition comes with Gradiance, an online assessment tool developed for computer science. Please note, Gradiance is no longer available with this book, as we no …

Edition
Third Edition
ISBN/ISSN
9781292039053
Collation
-
Series Title
-
Call Number
511.3 Hop i
cover
The annotated Turing : a guided tour through Alan Turing's historic paper on …
Comment Share
Petzold, Charles, 1953-

Programming Legend Charles Petzold unlocks the secrets of the extraordinary and prescient 1936 paper by Alan M. Turing Mathematician Alan Turing invented an imaginary computer known as the Turing Machine; in an age before computers, he explored the concept of what it meant to be computable, creating the field of computability theory in the process, a foundation of present-day computer programmi…

Edition
-
ISBN/ISSN
9780470229057
Collation
-
Series Title
-
Call Number
511.3 Pet t