Theoretical Computer Science (MMath)

1.
Computational Complexity: A Modern Approach
Computational Complexity: A Modern Approach 4.32 avg rating — 134 ratings
2.
Quantum Computation and Quantum Information: 10th Anniversary Edition
Quantum Computation and Quantum Information: 10th Anniversary Edition 4.40 avg rating — 526 ratings
3.
Introduction to the Theory of Computation
Introduction to the Theory of Computation 4.24 avg rating — 2,091 ratings
4.
The Nature of Computation
The Nature of Computation 4.59 avg rating — 109 ratings
5.
Introduction to Algorithms
Introduction to Algorithms 4.35 avg rating — 9,239 ratings
6.
Concrete Mathematics: A Foundation for Computer Science
Concrete Mathematics: A Foundation for Computer Science 4.34 avg rating — 1,857 ratings
6.
Structure and Interpretation of Computer Programs
Structure and Interpretation of Computer Programs 4.47 avg rating — 4,821 ratings
8.
Pattern Recognition and Machine Learning
Pattern Recognition and Machine Learning 4.32 avg rating — 1,882 ratings
8.
Artificial Intelligence: A Modern Approach (Pearson Series in Artifical Intelligence)
Artificial Intelligence: A Modern Approach (Pearson Series in Artifical Intelligence) 4.20 avg rating — 4,386 ratings
10.
The Hundred-Page Machine Learning Book
The Hundred-Page Machine Learning Book 4.25 avg rating — 1,377 ratings
10.
Types and Programming Languages
Types and Programming Languages 4.27 avg rating — 579 ratings
12.
An Introduction to Functional Programming Through Lambda Calculus
An Introduction to Functional Programming Through Lambda Calculus 4.13 avg rating — 224 ratings
13.
Reinforcement Learning: An Introduction
Reinforcement Learning: An Introduction 4.54 avg rating — 793 ratings
13.
Machine Learning: A Probabilistic Perspective
Machine Learning: A Probabilistic Perspective 4.34 avg rating — 520 ratings
13.
Information Theory, Inference, and Learning Algorithms
Information Theory, Inference, and Learning Algorithms 4.52 avg rating — 481 ratings
13.
Convex Optimization
Convex Optimization 4.48 avg rating — 343 ratings
17.
Matrix Computations (Johns Hopkins Studies in the Mathematical Sciences, 3)
Matrix Computations (Johns Hopkins Studies in the Mathematical Sciences, 3) 4.26 avg rating — 148 ratings
18.
Quantum Computing Since Democritus
Quantum Computing Since Democritus 4.15 avg rating — 1,046 ratings
19.
Introduction to Automata Theory, Languages, and Computation
Introduction to Automata Theory, Languages, and Computation 4.05 avg rating — 667 ratings
20.
Computational Geometry: Algorithms and Applications
Computational Geometry: Algorithms and Applications 4.17 avg rating — 167 ratings
21.
Computability and Logic
Computability and Logic 4.12 avg rating — 164 ratings
22.
Basic Category Theory for Computer Scientists
Basic Category Theory for Computer Scientists 3.57 avg rating — 138 ratings
23.
Coding the Matrix: Linear Algebra through Computer Science Applications
Coding the Matrix: Linear Algebra through Computer Science Applications 4.14 avg rating — 136 ratings
23.
Probability and Computing: Randomization and Probabilistic Techniques in Algorithms and Data Analysis
Probability and Computing: Randomization and Probabilistic Techniques in Algorithms and Data Analysis 4.24 avg rating — 91 ratings
25.
Numerical Optimization (Springer Series in Operations Research and Financial Engineering)
Numerical Optimization (Springer Series in Operations Research and Financial Engineering) 4.34 avg rating — 133 ratings
26.
Numerical Linear Algebra
Numerical Linear Algebra 4.27 avg rating — 144 ratings
27.
An Invitation to Applied Category Theory: Seven Sketches in Compositionality
An Invitation to Applied Category Theory: Seven Sketches in Compositionality 4.42 avg rating — 55 ratings
28.
Certified Programming with Dependent Types: A Pragmatic Introduction to the Coq Proof Assistant
Certified Programming with Dependent Types: A Pragmatic Introduction to the Coq Proof Assistant 4.28 avg rating — 29 ratings
29.
Analytic Combinatorics
Analytic Combinatorics 4.42 avg rating — 33 ratings
30.
Decision Making Under Uncertainty: Theory and Application (MIT Lincoln Laboratory Series)
Decision Making Under Uncertainty: Theory and Application (MIT Lincoln Laboratory Series) 4.39 avg rating — 28 ratings
31.
Dynamic Programming (Dover Books on Computer Science)
Dynamic Programming (Dover Books on Computer Science) 4.27 avg rating — 30 ratings
32.
Linear Algebra and Learning from Data
Linear Algebra and Learning from Data 4.37 avg rating — 43 ratings
33.
Extremal Combinatorics: With Applications in Computer Science (Texts in Theoretical Computer Science. An EATCS Series)
Extremal Combinatorics: With Applications in Computer Science (Texts in Theoretical Computer Science. An EATCS Series) 4.53 avg rating — 17 ratings
34.
Mathematics for Machine Learning: 1st Edition
Mathematics for Machine Learning: 1st Edition 4.35 avg rating — 219 ratings
35.
Gaussian Processes for Machine Learning
Gaussian Processes for Machine Learning 4.17 avg rating — 108 ratings
36.
Mathematics for Computer Science
Mathematics for Computer Science 3.85 avg rating — 95 ratings
37.
Foundations of Machine Learning
Foundations of Machine Learning 4.21 avg rating — 94 ratings
38.
Logic in Computer Science: Modelling and Reasoning About Systems
Logic in Computer Science: Modelling and Reasoning About Systems 3.96 avg rating — 73 ratings
39.
Algorithmic Game Theory
Algorithmic Game Theory 4.23 avg rating — 78 ratings
40.
Approximation Algorithms
Approximation Algorithms 4.20 avg rating — 56 ratings
41.
Practical Foundations for Programming Languages
Practical Foundations for Programming Languages 3.87 avg rating — 62 ratings
42.
Automata and Computability
Automata and Computability 4.25 avg rating — 44 ratings
43.
The Lambda Calculus, Its Syntax and Semantics (Studies in Logic and the Foundations of Mathematics, Volume 103). Revised Edition
The Lambda Calculus, Its Syntax and Semantics (Studies in Logic and the Foundations of Mathematics, Volume 103). Revised Edition 4.15 avg rating — 34 ratings
44.
Kernel Methods for Pattern Analysis
Kernel Methods for Pattern Analysis 3.96 avg rating — 28 ratings
45.
Interactive Theorem Proving and Program Development: Coq’Art: The Calculus of Inductive Constructions (Texts in Theoretical Computer Science. An EATCS Series)
Interactive Theorem Proving and Program Development: Coq’Art: The Calculus of Inductive Constructions (Texts in Theoretical Computer Science. An EATCS Series) 4.11 avg rating — 28 ratings
46.
Dynamic Programming And Optimal Control, Vol. 1
Dynamic Programming And Optimal Control, Vol. 1 4.36 avg rating — 33 ratings
47.
Introduction to Applied Linear Algebra: Vectors, Matrices, and Least Squares
Introduction to Applied Linear Algebra: Vectors, Matrices, and Least Squares 4.20 avg rating — 44 ratings
48.
Lambda-Calculus and Combinators: An Introduction
Lambda-Calculus and Combinators: An Introduction 3.83 avg rating — 23 ratings
49.
A First Course in the Numerical Analysis of Differential Equations (Cambridge Texts in Applied Mathematics, Series Number 15)
A First Course in the Numerical Analysis of Differential Equations (Cambridge Texts in Applied Mathematics, Series Number 15) 3.95 avg rating — 22 ratings
50.
Mathematical Logic for Computer Science
Mathematical Logic for Computer Science 3.76 avg rating — 21 ratings
51.
Dynamic Programming and Optimal Control
Dynamic Programming and Optimal Control 3.88 avg rating — 26 ratings
52.
Dynamic Programming and Optimal Control, Vol. 2
Dynamic Programming and Optimal Control, Vol. 2 4.19 avg rating — 21 ratings
53.
Computability: Turing, Gödel, Church, and Beyond
Computability: Turing, Gödel, Church, and Beyond really liked it 4.00 avg rating — 21 ratings
54.
Matrix Algebra: Theory, Computations, and Applications in Statistics
Matrix Algebra: Theory, Computations, and Applications in Statistics 4.06 avg rating — 16 ratings
55.
Foundations of Data Science
Foundations of Data Science 4.24 avg rating — 25 ratings
56.
Computational Geometry: An Introduction (Monographs in Computer Science)
Computational Geometry: An Introduction (Monographs in Computer Science) 4.10 avg rating — 20 ratings
57.
Mathematics for Machine Learning
Mathematics for Machine Learning 4.35 avg rating — 219 ratings