Eck & Critchlow. Foundations of Computation
for a one-semester course in theoretical computer science. It has no prerequisites other than introductory computer programming. It includes logic, sets, and function from discrete math, and automata, formal languages, and grammar from upper-level courses.
- from
- Theoretical Computer Science
- added
- 2026-10-10
- likes
- 0
similar
-
Tu Delft. Delftse Foundations of Computation books.open.tudelft.nl
A textbook for a one quarter introductory course in theoretical computer science including logic, proof techniques, and set theory. It assumes no prerequisite other than basic programming.
-
Sipser. Introduction to Theory of Computation cengage.com
A standard text for introducing theory of computation for undergrads.
-
Hopcroft, Motwani & Ullman. Introduction to Automata Theory, Languages, and Computation pearson.com
Introductory undergrad textbook for automata, languages and theory of computation topics.
-
Introduction to the Theory of Computation gitlab.com
Formalization to support an undergraduate course on the theory of computation, including languages and Turing machines.
-
Aho & Ullman. Foundations of Computer Science i.stanford.edu
A classic math-oriented introduction to computer science.
-
Knuth, Graham & Patashnik. Concrete Mathematics: A Foundation for Computer Science pearson.com
An expansion of the Mathematical Preliminaries section in Knuth's classic Art of Computer Programming, but the style of presentation is more leisurely, and individual topics are covered more deeply.
Theoretical Computer Science › General > Books: “for a one-semester course in theoretical computer science. It has no prerequisites other than introductory computer programming. It includes logic, sets, and function from discrete math, and automata, formal languages, and grammar from upper-level courses.”