Theoretical Computer Science
204 items from mostafatouny/awesome-theoretical-computer-science ★1,220
-
Introduction to Discrete Mathematics for Computer Science. UC San-Diego coursera.org
Learn the language of Computer Science. Learn the math that defines computer science, and practice applying it through mathematical proofs and Python code.
-
TCS Cheat Sheet cosy.sbg.ac.at
A sheet of notes containing essential toolboxes needed by any theoretical computer scientist.
-
Complexity Zoo complexityzoo.net
a wiki of complexity classes.
-
Cambridge Foundations of CS cl.cam.ac.uk
It teaches programming and presents some fundamental principles of computer science, especially algorithm design.
-
Chekuri. Topics in Algorithms: Algorithmic Game Theory chekuri.cs.illinois.edu
A broad graduate-level introduction to: auctions, existence and computation of equilibria in games and markets, algorithmic mechanism design, price of anarchy and price of stability, games relevant to networks and e-commerce. The emphasis will be on conceptual ideas and…
-
Petzold. The Annotated Turing: A Guided Tour Through Alan Turing's Historic Paper on Computability and the Turing… charlespetzold.com
A Guided Tour through Alan Turing's Historic Paper on Computability and the Turing Machine.
-
Sipser. Introduction to Theory of Computation cengage.com
A standard text for introducing theory of computation for undergrads.
-
Apt & Grädel. Lectures in Game Theory for Computer Scientists cambridge.org
Games provide mathematical models for interaction, and numerous tasks in computer science can be formulated in game-theoretic terms.
-
Cutland. Computability: An Introduction to Recursive Function Theory cambridge.org
Intuitively, It explains the idea of a computable function: a function whose values can be calculated in an effective or automatic way.
-
Shalev-Shwartz. Understanding Machine Learning: From Theory to Algorithms cambridge.org
It provides an extensive theoretical account of the fundamental ideas underlying machine learning and the mathematical derivations that transform these principles into practical algorithms.
-
Rao & Yehudayoff. Communication Complexity and Applications cambridge.org
An excellent and very readable introductory textbook to the field of communication complexity.
-
Eva Tardos & et.al. Algorithmic Game Theory cambridge.org
Basic chapters on algorithmic methods for equilibria, mechanism design and combinatorial auctions are followed by chapters on important game theory applications such as incentives and pricing, cost sharing, information markets and cryptography and security.
-
Tu Delft. Delftse Foundations of Computation books.open.tudelft.nl
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.
-
Barak. Non-technical or Less-technical Writings and Talks boazbarak.org
Posts oriented more for a less-technically matured audience.
-
Princeton's Companion. Advice to a Young Mathematician assets.press.princeton.edu
Five contributors draw on their experiences of mathematical life and research, and to offer advice that they might have liked to receive when they were just setting-out on their careers.
-
Aaronson. Quantum Computing Since Democritus assets.cambridge.org
It covers an amazing array of topics. Beginning in antiquity with Democritus, it progresses through logic and set theory,computability and complexity theory, quantum computing, cryptography, the information content of quantum states, and the interpretation of quantum mechanics.
-
here arxiv.org
-
Tim Roughgarden. Complexity Theory, Game Theory, and Economics: The Barbados Lectures arxiv.org
A mini-course notes of two-fold goals: mini-course is twofold: (i) Explain how complexity theory has helped illuminate several barriers in economics and game theory; and (ii) Illustrate how game-theoretic questions have led to new and interesting complexity theory, including…
-
Odifreddi. Classical Recursion Theory: The Theory of Functions and Sets of Natural Numbers archive.org
An impressive presentation of classical recursion theory. It is highly recommended to everyone interested in recursion theory.
-
Rudich & Wigderson. Computational Complexity Theory ams.org
Three weeks of lectures from the IAS/Park City Mathematics Institute Summer School on computational complexity. Topics include reductions, lower-bounds, average-case complexity, randomness, interactive proof systems, probabilistically checkable proofs, quantum computing, and…
-
Davis. Computability and Unsolvability amazon.com
In this classic text, Dr. Davis provides a clear introduction to computability, at an advanced undergraduate level, that serves the needs of specialists and non-specialists alike.
-
Algorithms with Predictions algorithms-with-predictions.github.io
-
Walter Dean. Computational Complexity Theory and the Philosophy of Mathematics academic.oup.com
It highlights the significance of complexity theory relative to questions traditionally asked by philosophers of mathematics while also attempting to isolate some new ones.
