Computer Science
7,622 items in 38 lists
-
Moore & Mertens. The Nature of Computation nature-of-computation.org
It spans complexity of mazes and games; optimization in theory and practice; randomized algorithms, interactive proofs, and pseudorandomness; Markov chains and phase transitions; and of quantum computing. It provides accessible explanations
-
Penna. Algorithmic Game Theory ml2.inf.ethz.ch
The course discusses algorithmic aspects of game theory, such as a general introduction to game theory, auctions, mechanisms, the costs of a central control optimum versus those of an equilibrium under selfish agents, and algorithms and complexity of computing equilibria.
-
Telgarsky. Deep Learning Theory. Illinois mjt.cs.illinois.edu
Focuses on simplified proofs over what appears in the literature, and classical perspective of achieving a low test error for binary classification with IID data via standard (typically ReLU) feedforward networks.
-
Papadimitriou. Turing: A Novel About Computation mitpress.mit.edu
The world of computation according to Turing, an interactive tutoring program, as told to star-crossed lovers: a novel.
-
Vazirani & Kearns. An Introduction to Computational Learning Theory mitpress.mit.edu
Emphasizing issues of computational efficiency, It introduces a number of central topics in computational learning theory.
-
Handbook of Theoretical Computer Science. Volume A: Algorithms and Complexity mitpress.mit.edu
A complete comprehensive encyclopediac handbook which surveys all related areas to theoretical computer science.
-
Handbook of Theoretical Computer Science. Volume B: Formal Methods and Semantics mitpress.mit.edu
A complete comprehensive encyclopediac handbook which surveys all related areas to theoretical computer science.
-
Copeland, Posy & Shagrir (editors). Computability: Turing, Gödel, Church, and Beyond mitpress.mit.edu
Computer scientists, mathematicians, and philosophers discuss the conceptual foundations of the notion of computability as well as recent theoretical developments.
-
Harry Lewis. Ideas That Created the Future: Classic Papers of Computer Science mitpress.mit.edu
Classic papers by thinkers ranging from Aristotle and Leibniz to Norbert Wiener and Gordon Moore that chart the evolution of computer science.
-
Rosen. Discrete Mathematics and Its Applications mheducation.com
A canonical discrete math textbook, accessible for even high school students.
-
Paluszynski. Calculus for Computer Scientists math.uni.wroc.pl
calculus lecture notes taught for undergrad computer science students
-
Wigderson. Mathematics and Computation: A Theory Revolutionizing Technology and Science math.ias.edu
A sweeping survey of complexity theory, emphasizing the field’s insights and challenges. It explains the ideas and motivations leading to key models, notions, and results.
-
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.
-
Krantz. Handbook of Logic and Proof Techniques for Computer Science maa.org
A concise offered as an accessible reference on mathematical logic for the professional computer scientist.
-
Useful Inequalities Cheat Sheet lkozma.net
-
Hermann's Conferences in TCS lix.polytechnique.fr
TCS Conferences collected in one table.
-
Dijkstra. The Three Golden Rules for Successful Scientific Research link.springer.com
A note devoted to three rules that must be followed if you want to be successful in scientific research.
-
Teuscher. Alan Turing: Life and Legacy of a Great. Springer link.springer.com
Essays which spans the entire rich spectrum of Turing's life, research work and legacy.
-
Ausiello. The Making of a New Science: A Personal Journey Through the Early Years of Theoretical Computer Science link.springer.com
A story about people, pioneers with diverse backgrounds and characters who established a new field.
-
Lindell. Tutorials on the Foundations of Cryptography link.springer.com
Advanced tutorials appropriate for self-study by experienced researchers,
-
Sommaruga & Strahm. Turing’s Revolution: The Impact of His Ideas about Computability link.springer.com
A collection of historical, technical and philosophical papers.
-
Lacona. LOGIC: Lecture Notes for Philosophy, Mathematics, and Computer Science link.springer.com
Suitable for undergraduate introductions to logic and early graduate courses on logic.
-
Susskind. Three Lectures on Complexity and Black Holes link.springer.com
Important connections between thermodynamics and complexity are proposed and discussed. Pedagogically written, serves as a fundamental introduction to black holes and their complex physical interpretation
-
Lean Proof Assistant lean-lang.org
Lean Proof Assistant.
-
Philip Davis. Toward a Philosophy of Computation jstor.org
Philosophical implication of mathematization and computerization of the world.
-
Vaughan. CS260: Machine Learning Theory jennwv.com
A broad overview of the theoretical foundations underlying common machine learning algorithms.
-
Barak. Introduction to TCS introtcs.org
A modern, brief, and accessible text which introduces theoretical computer science for undergrads. It includes topics not usually included in standard undergrad text-books.
-
Igor Pak. How to Start a Paper igorpak.wordpress.com
Why should you introduce a conceptual preliminary motivating the story of your paper.
-
Aho & Ullman. Foundations of Computer Science i.stanford.edu
A classic math-oriented introduction to computer science.
-
The Univalent Foundations Program Institute for Advanced Study. Homotopy Type Theory: Univalent Foundations of… homotopytypetheory.org
The present book is intended as a first systematic exposition of the basics of univalent foundations, and a collection of examples of this new style of reasoning — but without requiring the reader to know or learn any formal logic, or to use any computer proof assistant.
-
Lee. Randomized Algorithms and Probabilistic Analysis. Washington. homes.cs.washington.edu
Topics include Discrete probability, High-dimensional geometry and statistics, Information and entropy, and Markov chains and convergence to equilibrium.
-
Madhur Tulsiani. Mathematical Toolkit home.ttic.edu
Things prof. Madhur wish he knew in first year of grad school.
-
Blum. An Introduction to the Theory of Machine Learning. TTIC home.ttic.edu
The basic theory underlying machine learning and the process of generalizing from data.
-
Henry Yuen. The Complexity of Entanglement. Fall 2020 henryyuen.net
Focuses on cutting edge topics in quantum information that relate to Complexity of Entanglement. - see this class also
-
Demaine, Gasarch & Hajiaghayi. Computers and Intractability: A Guide to Algorithmic Lower Bounds hardness.mit.edu
A sequel to Garey and Johnson's Computers and Intractability: A Guide to NP-Completeness. New topics include Parameterized Complexity, Lower bounds on approximation, Other hardness assumptions (ETH, 3SUM-conjecture, APSP-conjecture, UGC, Others), Online Algorithms, Streaming…
-
Xu. Topics in Learning and Game Theory haifeng-xu.com
A graduate level course covering topics at the interface between machine learning and game theory.
-
Yaroslavtsev. Hires spreadsheet 2022 grigory.us
A crowdsourced spreadsheet created to collect information about theory hires in year 2022.
-
Fortnow. The Golden Ticket: P, NP, and the Search for the Impossible goldenticket.fortnow.com
A nontechnical introduction to P-NP, its rich history, and its algorithmic implications for everything we do with computers and beyond.
-
Fang. Advanced Topics in Machine Learning and Game Theory feifang.info
A graduate-level course covering the topics at the intersection of machine learning and game theory.
-
Knuth. The Art of Computer Programming en.wikipedia.org
A legendary series by Donald Knuth on design and analysis of algorithms.
-
EATCS Bulletin eatcs.org
Surveys, tutorials, conferences reports, events, open problems and solutions, PhD Theses, and entertaining contributions.
-
European Association of TCS eatcs.org
-
Theory Announcements dmatheorynet.blogspot.com
DMANET spreads information on conferences, workshops, seminars etc. relating to discrete mathematics and algorithms.
-
ACM's students magazine special issue for theory of computation.
-
SIGACT News dl.acm.org
ACM's official theoretical computer science news feed.
-
Williamson & Shmoys. The Design of Approximation Algorithms designofapproxalgs.com
It includes greedy, local search algorithms, dynamic programming, linear and semidefinite programming, and randomization.
-
Deutsch. The Fabric of Reality: The Science of Parallel Universes and Its Implications daviddeutsch.org.uk
The Fabric of Reality presents a startlingly integrated, rational and optimistic world view – the result of taking seriously the deepest ideas of modern science and the philosophy of science.
-
Salamon's List cstheory.stackexchange.com
Selected Conferences.
-
TCS Stack Exchange cstheory.stackexchange.com
Research-oriented Q&A of theoretical computer science.
-
CS Theory Jobs cstheory-jobs.org
TCS Jobs announcements.
- next page of items loading…
