Makinson. Sets, Logic and Maths for Computing
It presents a careful selection of the material most needed by students in their first two years studying computer science.
- from
- Theoretical Computer Science
- added
- 2026-10-10
- likes
- 0
similar
-
Comprehensive Mathematics for Computer Scientists springer.com
A series dedicated to math topics and their relevance 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.
-
Rosenberg & Trystram. Understand Mathematics, Understand Computing: Discrete Mathematics That All Computing Students… springer.com
It endows the reader with an operational conceptual and methodological understanding of discrete mathematics for computing
-
Sipser. Introduction to Theory of Computation cengage.com
A standard text for introducing theory of computation for undergrads.
-
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.
-
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.
Theoretical Computer Science › General > Books: “It presents a careful selection of the material most needed by students in their first two years studying computer science.”