Discover new books on Goodreads
Meet your next favorite book
Sign in with Facebook
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...
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...
Score
A book’s total score is based on multiple factors, including the number of people who have voted for it and how highly those voters ranked the book.
| 1 |
|
Computational Complexity: A Modern Approach
by
4.33 avg rating — 135 ratings
score: 523,
and
6 people voted
|
Error rating book. Refresh and try again.
Rate this book
Clear rating
|
| 2 |
|
Quantum Computation and Quantum Information: 10th Anniversary Edition
by
4.39 avg rating — 528 ratings
score: 435,
and
5 people voted
|
Error rating book. Refresh and try again.
Rate this book
Clear rating
|
| 3 |
|
Introduction to the Theory of Computation
by
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
|
| 4 |
|
The Nature of Computation
by
4.59 avg rating — 110 ratings
score: 370,
and
4 people voted
|
Error rating book. Refresh and try again.
Rate this book
Clear rating
|
| 5 |
|
Introduction to Algorithms
by
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
|
| 6 |
|
Concrete Mathematics: A Foundation for Computer Science
by
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
|
| 6 |
|
Structure and Interpretation of Computer Programs
by
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
|
| 8 |
|
Pattern Recognition and Machine Learning
by
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
|
| 8 |
|
Artificial Intelligence: A Modern Approach (Pearson Series in Artifical Intelligence)
by
4.20 avg rating — 4,401 ratings
score: 355,
and
4 people voted
|
Error rating book. Refresh and try again.
Rate this book
Clear rating
|
| 10 |
|
The Hundred-Page Machine Learning Book
by
Andriy Burkov (Goodreads Author)
4.25 avg rating — 1,392 ratings
score: 351,
and
4 people voted
|
Error rating book. Refresh and try again.
Rate this book
Clear rating
|
| 10 |
|
Types and Programming Languages
by
4.27 avg rating — 580 ratings
score: 351,
and
4 people voted
|
Error rating book. Refresh and try again.
Rate this book
Clear rating
|
| 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
|
| 13 |
|
Reinforcement Learning: An Introduction
by
4.54 avg rating — 797 ratings
score: 347,
and
4 people voted
|
Error rating book. Refresh and try again.
Rate this book
Clear rating
|
| 13 |
|
Machine Learning: A Probabilistic Perspective
by
4.34 avg rating — 520 ratings
score: 347,
and
4 people voted
|
Error rating book. Refresh and try again.
Rate this book
Clear rating
|
| 13 |
|
Information Theory, Inference, and Learning Algorithms
by
4.52 avg rating — 487 ratings
score: 347,
and
4 people voted
|
Error rating book. Refresh and try again.
Rate this book
Clear rating
|
| 13 |
|
Convex Optimization
by
4.48 avg rating — 345 ratings
score: 347,
and
4 people voted
|
Error rating book. Refresh and try again.
Rate this book
Clear rating
|
| 17 |
|
Matrix Computations (Johns Hopkins Studies in the Mathematical Sciences, 3)
by
4.26 avg rating — 149 ratings
score: 341,
and
4 people voted
|
Error rating book. Refresh and try again.
Rate this book
Clear rating
|
| 18 |
|
Quantum Computing Since Democritus
by
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
|
| 19 |
|
Introduction to Automata Theory, Languages, and Computation
by
4.06 avg rating — 668 ratings
score: 270,
and
3 people voted
|
Error rating book. Refresh and try again.
Rate this book
Clear rating
|
| 20 |
|
Computational Geometry: Algorithms and Applications
by
4.17 avg rating — 168 ratings
score: 259,
and
3 people voted
|
Error rating book. Refresh and try again.
Rate this book
Clear rating
|
| 21 |
|
Computability and Logic
by
4.13 avg rating — 165 ratings
score: 258,
and
3 people voted
|
Error rating book. Refresh and try again.
Rate this book
Clear rating
|
| 22 |
|
Basic Category Theory for Computer Scientists
by
3.57 avg rating — 138 ratings
score: 257,
and
3 people voted
|
Error rating book. Refresh and try again.
Rate this book
Clear rating
|
| 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
|
| 23 |
|
Probability and Computing: Randomization and Probabilistic Techniques in Algorithms and Data Analysis
by
4.23 avg rating — 92 ratings
score: 254,
and
3 people voted
|
Error rating book. Refresh and try again.
Rate this book
Clear rating
|
| 25 |
|
Numerical Optimization (Springer Series in Operations Research and Financial Engineering)
by
4.34 avg rating — 134 ratings
score: 251,
and
3 people voted
|
Error rating book. Refresh and try again.
Rate this book
Clear rating
|
| 26 |
|
Numerical Linear Algebra
by
4.28 avg rating — 148 ratings
score: 250,
and
3 people voted
|
Error rating book. Refresh and try again.
Rate this book
Clear rating
|
| 27 |
|
An Invitation to Applied Category Theory: Seven Sketches in Compositionality
by
4.42 avg rating — 55 ratings
score: 224,
and
3 people voted
|
Error rating book. Refresh and try again.
Rate this book
Clear rating
|
| 28 |
|
Certified Programming with Dependent Types: A Pragmatic Introduction to the Coq Proof Assistant
by
4.28 avg rating — 29 ratings
score: 223,
and
3 people voted
|
Error rating book. Refresh and try again.
Rate this book
Clear rating
|
| 29 |
|
Analytic Combinatorics
by
4.42 avg rating — 33 ratings
score: 222,
and
3 people voted
|
Error rating book. Refresh and try again.
Rate this book
Clear rating
|
| 30 |
|
Decision Making Under Uncertainty: Theory and Application (MIT Lincoln Laboratory Series)
by
4.39 avg rating — 28 ratings
score: 213,
and
3 people voted
|
Error rating book. Refresh and try again.
Rate this book
Clear rating
|
| 31 |
|
Dynamic Programming (Dover Books on Computer Science)
by
4.27 avg rating — 30 ratings
score: 208,
and
3 people voted
|
Error rating book. Refresh and try again.
Rate this book
Clear rating
|
| 32 |
|
Linear Algebra and Learning from Data
by
4.36 avg rating — 44 ratings
score: 203,
and
3 people voted
|
Error rating book. Refresh and try again.
Rate this book
Clear rating
|
| 33 |
|
Extremal Combinatorics: With Applications in Computer Science (Texts in Theoretical Computer Science. An EATCS Series)
by
4.53 avg rating — 17 ratings
score: 196,
and
3 people voted
|
Error rating book. Refresh and try again.
Rate this book
Clear rating
|
| 34 |
|
Mathematics for Machine Learning: 1st Edition
by
4.33 avg rating — 230 ratings
score: 161,
and
2 people voted
|
Error rating book. Refresh and try again.
Rate this book
Clear rating
|
| 35 |
|
Gaussian Processes for Machine Learning
by
4.17 avg rating — 108 ratings
score: 148,
and
2 people voted
|
Error rating book. Refresh and try again.
Rate this book
Clear rating
|
| 36 |
|
Mathematics for Computer Science
by
3.85 avg rating — 95 ratings
score: 146,
and
2 people voted
|
Error rating book. Refresh and try again.
Rate this book
Clear rating
|
| 37 |
|
Foundations of Machine Learning
by
4.21 avg rating — 94 ratings
score: 144,
and
2 people voted
|
Error rating book. Refresh and try again.
Rate this book
Clear rating
|
| 38 |
|
Logic in Computer Science: Modelling and Reasoning About Systems
by
3.96 avg rating — 74 ratings
score: 142,
and
2 people voted
|
Error rating book. Refresh and try again.
Rate this book
Clear rating
|
| 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
|
| 40 |
|
Approximation Algorithms
by
4.20 avg rating — 56 ratings
score: 138,
and
2 people voted
|
Error rating book. Refresh and try again.
Rate this book
Clear rating
|
| 41 |
|
Practical Foundations for Programming Languages
by
3.87 avg rating — 62 ratings
score: 134,
and
2 people voted
|
Error rating book. Refresh and try again.
Rate this book
Clear rating
|
| 42 |
|
Automata and Computability
by
4.24 avg rating — 46 ratings
score: 132,
and
2 people voted
|
Error rating book. Refresh and try again.
Rate this book
Clear rating
|
| 43 |
|
The Lambda Calculus, Its Syntax and Semantics (Studies in Logic and the Foundations of Mathematics, Volume 103). Revised Edition
by
4.15 avg rating — 34 ratings
score: 124,
and
2 people voted
|
Error rating book. Refresh and try again.
Rate this book
Clear rating
|
| 44 |
|
Kernel Methods for Pattern Analysis
by
3.96 avg rating — 28 ratings
score: 122,
and
2 people voted
|
Error rating book. Refresh and try again.
Rate this book
Clear rating
|
| 45 |
|
Interactive Theorem Proving and Program Development: Coq’Art: The Calculus of Inductive Constructions (Texts in Theoretical Computer Science. An EATCS Series)
by
4.11 avg rating — 28 ratings
score: 120,
and
2 people voted
|
Error rating book. Refresh and try again.
Rate this book
Clear rating
|
| 46 |
|
Dynamic Programming And Optimal Control, Vol. 1
by
4.36 avg rating — 33 ratings
score: 118,
and
2 people voted
|
Error rating book. Refresh and try again.
Rate this book
Clear rating
|
| 47 |
|
Introduction to Applied Linear Algebra: Vectors, Matrices, and Least Squares
by
4.19 avg rating — 47 ratings
score: 114,
and
2 people voted
|
Error rating book. Refresh and try again.
Rate this book
Clear rating
|
| 48 |
|
Lambda-Calculus and Combinators: An Introduction
by
3.83 avg rating — 23 ratings
score: 112,
and
2 people voted
|
Error rating book. Refresh and try again.
Rate this book
Clear rating
|
| 49 |
|
A First Course in the Numerical Analysis of Differential Equations (Cambridge Texts in Applied Mathematics, Series Number 15)
by
3.95 avg rating — 22 ratings
score: 108,
and
2 people voted
|
Error rating book. Refresh and try again.
Rate this book
Clear rating
|
| 50 |
|
Mathematical Logic for Computer Science
by
3.76 avg rating — 21 ratings
score: 106,
and
2 people voted
|
Error rating book. Refresh and try again.
Rate this book
Clear rating
|
| 51 |
|
Dynamic Programming and Optimal Control
by
3.96 avg rating — 27 ratings
score: 102,
and
2 people voted
|
Error rating book. Refresh and try again.
Rate this book
Clear rating
|
| 52 |
|
Dynamic Programming and Optimal Control, Vol. 2
by
4.19 avg rating — 21 ratings
score: 100,
and
2 people voted
|
Error rating book. Refresh and try again.
Rate this book
Clear rating
|
| 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
|
| 54 |
|
Matrix Algebra: Theory, Computations, and Applications in Statistics
by
4.06 avg rating — 16 ratings
score: 94,
and
2 people voted
|
Error rating book. Refresh and try again.
Rate this book
Clear rating
|
| 55 |
|
Foundations of Data Science
by
4.24 avg rating — 25 ratings
score: 92,
and
2 people voted
|
Error rating book. Refresh and try again.
Rate this book
Clear rating
|
| 56 |
|
Computational Geometry: An Introduction (Monographs in Computer Science)
by
4.10 avg rating — 20 ratings
score: 90,
and
2 people voted
|
Error rating book. Refresh and try again.
Rate this book
Clear rating
|
| 57 |
|
Mathematics for Machine Learning
by
4.33 avg rating — 230 ratings
score: 68,
and
1 person voted
|
Error rating book. Refresh and try again.
Rate this book
Clear rating
|
People Who Voted On This List (6)
Anyone can add books to this list.
How to Vote
To vote on existing books from the list, beside each book there is a link vote for this book clicking it will add that book to your votes.
To vote on books not in the list or books you couldn't find in the list, you can click on the tab add books to this list and then choose from your books, or simply search.
