Tu Delft. Delftse Foundations of Computation
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.
- from
- Theoretical Computer Science
- added
- 2026-10-10
- likes
- 0
similar
-
Eck & Critchlow. Foundations of Computation math.hws.edu
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.
-
Sipser. Introduction to Theory of Computation cengage.com
A standard text for introducing theory of computation for undergrads.
-
Software Foundations softwarefoundations.cis.upenn.edu
Series of Coq-based textbooks on logic, functional programming, and foundations of programming languages, aimed at being accessible to beginners.
-
Cambridge Foundations of CS cl.cam.ac.uk
It teaches programming and presents some fundamental principles of computer science, especially algorithm design.
-
Intro to Theoretical Computer Science udacity.com
It teaches basic concepts in theoretical computer science, such as NP-completeness, and what they imply for solving tough algorithmic problems.
-
Yves Nievergelt. Logic, Mathematics, and Computer Science: Modern Foundations with Practical Applications springer.com
For lower undergraduates, It introduces the reader to logic, proofs, sets, and number theory, Focusing on foundations. It provides complete details and derivations of formal proofs.
Theoretical Computer Science › General > Books: “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.”