Această ediție revizuită a manualului de succes al lui Michael Sipser spune povestea fascinantă a teoriei calculului - un domeniu cognitiv care include concluzii elegante și întrebări captivante fără răspuns la intersecția matematicii și științei calculatoarelor.

Stilul direct și clar al lui Sipser permite studenților de orice nivel să înțeleagă și să se bucure de acest domeniu cognitiv. Secțiunile inovatoare de idei demonstrative dezvăluie la un nivel intuitiv ideile pe care se bazează dovezile formale ale teoremelor, explicând conceptele fundamentale într-un limbaj accesibil.

Această nouă ediție a fost îmbunătățită în diverse moduri, pe baza sugestiilor studenților și profesorilor de-a lungul anilor, și include grupuri de probleme complet revizuite și testate didactic, cu soluții indicativ la sfârșitul fiecărui capitol.