Theoretical Computer Science (MMath)

MMath book lists:
00: General Mathematics *
01: History of Mathematics *
03: Logic and Set Theory *
05: Combinatorics and Graph Theory *
06: Order and Lattices
08: General Algebra *
11: Number Theory *
12: Field Theory
13: Commutative Algebra
14: Algebraic Geometry *
15: Linear Algebra *
16: Noncommutative Rings
17: Lie Algebras
18: Category Theory *
19: K-Theory
20: Group Theory *
22: Lie Groups *
26: Real Analysis *
28: Measure and Integration *
30: Complex Analysis *
31: Potential Theory
32: Several Complex Variables
33: Special Functions
34: Ordinary Differential Equations
35: Partial Differential Equations *
37: Dynamical Systems and Ergodic Theory
39: Difference Equations
40: Sequences and Series
41: Approximation Theory
42: Harmonic Analysis *
43: Abstract Harmonic Analysis
44: Integral Transforms
45: Integral Equations
46: Functional Analysis *
47: Operator Theory
49: Calculus of Variations and Optimal Control
51: Geometry *
52: Convex Geometry and Discrete Geometry
53: Differential Geometry *
54: General Topology *
55: Algebraic Topology *
57: Manifolds and Cell Complexes
58: Analysis on Manifolds *
60: Probability and Stochastic Processes *
62: Statistics and Statistical Learning *
65: Numerical Methods *
68: Theoretical Computer Science *
70: Classical Mechanics *
74: Mechanics of Deformable Solids
76: Fluid Dynamics
78: Electrodynamics
80: Thermal Physics
81: Quantum Physics *
82: Statistical Physics *
83: Relativity and Gravitation *
85: Astrophysics
86: Geophysics
90: Operational Research
91: Game Theory, Economics, Finance
92: Mathematical Biology
93: Control and Systems Theory
94: Information Theory and Communication *
97: Mathematics Education *

* indicates a significant topic in undergraduate mathematics

MSC2020 mathematics subject classifications:
https://mathscinet.ams.org/mathscinet...

flag

All Votes Add Books To This List

1	Computational Complexity: A Modern Approach by Sanjeev Arora 4.33 avg rating — 135 ratings score: 523, and 6 people voted	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
2	Quantum Computation and Quantum Information: 10th Anniversary Edition by Michael A. Nielsen 4.39 avg rating — 528 ratings score: 435, and 5 people voted	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
3	Introduction to the Theory of Computation by Michael Sipser 4.24 avg rating — 2,094 ratings score: 373, and 4 people voted	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
4	The Nature of Computation by Cristopher Moore 4.59 avg rating — 110 ratings score: 370, and 4 people voted	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
5	Introduction to Algorithms by Thomas H. Cormen 4.35 avg rating — 9,249 ratings score: 362, and 4 people voted	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
6	Concrete Mathematics: A Foundation for Computer Science by Ronald Graham 4.34 avg rating — 1,857 ratings score: 357, and 4 people voted	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
6	Structure and Interpretation of Computer Programs by Harold Abelson 4.47 avg rating — 4,830 ratings score: 357, and 4 people voted	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
8	Pattern Recognition and Machine Learning by Christopher M. Bishop 4.32 avg rating — 1,889 ratings score: 355, and 4 people voted	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
8	Artificial Intelligence: A Modern Approach (Pearson Series in Artifical Intelligence) by Stuart Russell 4.20 avg rating — 4,400 ratings score: 355, and 4 people voted	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
10	The Hundred-Page Machine Learning Book by Andriy Burkov (Goodreads Author) 4.25 avg rating — 1,390 ratings score: 351, and 4 people voted	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
10	Types and Programming Languages by Benjamin C. Pierce 4.27 avg rating — 580 ratings score: 351, and 4 people voted	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
12	An Introduction to Functional Programming Through Lambda Calculus by Greg Michaelson (Goodreads Author) 4.13 avg rating — 224 ratings score: 348, and 4 people voted	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
13	Reinforcement Learning: An Introduction by Richard S. Sutton 4.54 avg rating — 797 ratings score: 347, and 4 people voted	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
13	Machine Learning: A Probabilistic Perspective by Kevin P. Murphy 4.34 avg rating — 520 ratings score: 347, and 4 people voted	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
13	Information Theory, Inference, and Learning Algorithms by David J.C. MacKay 4.52 avg rating — 487 ratings score: 347, and 4 people voted	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
13	Convex Optimization by Stephen Boyd 4.48 avg rating — 345 ratings score: 347, and 4 people voted	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
17	Matrix Computations (Johns Hopkins Studies in the Mathematical Sciences, 3) by Gene H. Golub 4.26 avg rating — 149 ratings score: 341, and 4 people voted	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
18	Quantum Computing Since Democritus by Scott Aaronson 4.15 avg rating — 1,052 ratings score: 277, and 3 people voted	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
19	Introduction to Automata Theory, Languages, and Computation by John E. Hopcroft 4.06 avg rating — 668 ratings score: 270, and 3 people voted	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
20	Computational Geometry: Algorithms and Applications by Mark de Berg 4.17 avg rating — 168 ratings score: 259, and 3 people voted	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
21	Computability and Logic by George S. Boolos 4.13 avg rating — 165 ratings score: 258, and 3 people voted	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
22	Basic Category Theory for Computer Scientists by Benjamin C. Pierce 3.57 avg rating — 138 ratings score: 257, and 3 people voted	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
23	Coding the Matrix: Linear Algebra through Computer Science Applications by Philip N. Klein (Goodreads Author) 4.15 avg rating — 137 ratings score: 254, and 3 people voted	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
23	Probability and Computing: Randomization and Probabilistic Techniques in Algorithms and Data Analysis by Michael Mitzenmacher 4.23 avg rating — 92 ratings score: 254, and 3 people voted	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
25	Numerical Optimization (Springer Series in Operations Research and Financial Engineering) by Jorge Nocedal 4.34 avg rating — 134 ratings score: 251, and 3 people voted	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
26	Numerical Linear Algebra by Lloyd N. Trefethen 4.28 avg rating — 148 ratings score: 250, and 3 people voted	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
27	An Invitation to Applied Category Theory: Seven Sketches in Compositionality by Brendan Fong 4.42 avg rating — 55 ratings score: 224, and 3 people voted	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
28	Certified Programming with Dependent Types: A Pragmatic Introduction to the Coq Proof Assistant by Adam Chlipala 4.28 avg rating — 29 ratings score: 223, and 3 people voted	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
29	Analytic Combinatorics by Philippe Flajolet 4.42 avg rating — 33 ratings score: 222, and 3 people voted	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
30	Decision Making Under Uncertainty: Theory and Application (MIT Lincoln Laboratory Series) by Mykel J. Kochenderfer 4.39 avg rating — 28 ratings score: 213, and 3 people voted	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
31	Dynamic Programming (Dover Books on Computer Science) by Richard E. Bellman 4.27 avg rating — 30 ratings score: 208, and 3 people voted	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
32	Linear Algebra and Learning from Data by Gilbert Strang 4.36 avg rating — 44 ratings score: 203, and 3 people voted	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
33	Extremal Combinatorics: With Applications in Computer Science (Texts in Theoretical Computer Science. An EATCS Series) by Stasys Jukna 4.53 avg rating — 17 ratings score: 196, and 3 people voted	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
34	Mathematics for Machine Learning: 1st Edition by Marc Peter Deisenroth 4.33 avg rating — 230 ratings score: 161, and 2 people voted	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
35	Gaussian Processes for Machine Learning by Carl Edward Rasmussen 4.17 avg rating — 108 ratings score: 148, and 2 people voted	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
36	Mathematics for Computer Science by Eric Lehman 3.85 avg rating — 95 ratings score: 146, and 2 people voted	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
37	Foundations of Machine Learning by Mehryar Mohri 4.21 avg rating — 94 ratings score: 144, and 2 people voted	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
38	Logic in Computer Science: Modelling and Reasoning About Systems by Michael Huth 3.96 avg rating — 74 ratings score: 142, and 2 people voted	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
39	Algorithmic Game Theory by Noam Nisan (Editor) 4.23 avg rating — 79 ratings score: 140, and 2 people voted	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
40	Approximation Algorithms by Vijay V. Vazirani 4.20 avg rating — 56 ratings score: 138, and 2 people voted	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
41	Practical Foundations for Programming Languages by Robert Harper 3.87 avg rating — 62 ratings score: 134, and 2 people voted	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
42	Automata and Computability by Dexter C. Kozen 4.24 avg rating — 46 ratings score: 132, and 2 people voted	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
43	The Lambda Calculus, Its Syntax and Semantics (Studies in Logic and the Foundations of Mathematics, Volume 103). Revised Edition by Henk Barendregt 4.15 avg rating — 34 ratings score: 124, and 2 people voted	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
44	Kernel Methods for Pattern Analysis by John Shawe-Taylor 3.96 avg rating — 28 ratings score: 122, and 2 people voted	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
45	Interactive Theorem Proving and Program Development: Coq’Art: The Calculus of Inductive Constructions (Texts in Theoretical Computer Science. An EATCS Series) by Yves Bertot 4.11 avg rating — 28 ratings score: 120, and 2 people voted	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
46	Dynamic Programming And Optimal Control, Vol. 1 by Dimitri P. Bertsekas 4.36 avg rating — 33 ratings score: 118, and 2 people voted	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
47	Introduction to Applied Linear Algebra: Vectors, Matrices, and Least Squares by Stephen Boyd 4.19 avg rating — 47 ratings score: 114, and 2 people voted	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
48	Lambda-Calculus and Combinators: An Introduction by J. Roger Hindley 3.83 avg rating — 23 ratings score: 112, and 2 people voted	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
49	A First Course in the Numerical Analysis of Differential Equations (Cambridge Texts in Applied Mathematics, Series Number 15) by Arieh Iserles 3.95 avg rating — 22 ratings score: 108, and 2 people voted	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
50	Mathematical Logic for Computer Science by Mordechai Ben-Ari 3.76 avg rating — 21 ratings score: 106, and 2 people voted	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
51	Dynamic Programming and Optimal Control by Dimitri P. Bertsekas 3.96 avg rating — 27 ratings score: 102, and 2 people voted	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
52	Dynamic Programming and Optimal Control, Vol. 2 by Dimitri P. Bertsekas 4.19 avg rating — 21 ratings score: 100, and 2 people voted	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
53	Computability: Turing, Gödel, Church, and Beyond by B. Jack Copeland (editor) really liked it 4.00 avg rating — 21 ratings score: 98, and 2 people voted	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
54	Matrix Algebra: Theory, Computations, and Applications in Statistics by James E. Gentle 4.06 avg rating — 16 ratings score: 94, and 2 people voted	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
55	Foundations of Data Science by Avrim Blum 4.24 avg rating — 25 ratings score: 92, and 2 people voted	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
56	Computational Geometry: An Introduction (Monographs in Computer Science) by Franco P. Preparata 4.10 avg rating — 20 ratings score: 90, and 2 people voted	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
57	Mathematics for Machine Learning by Marc Peter Deisenroth 4.33 avg rating — 230 ratings score: 68, and 1 person voted	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars