Awesome Theoretical Computer Science

The interdisciplinary of Mathematics and Computer Science; It is distinguished by its emphasis on mathemtical technique and rigour.

---

Contents

• Broad Intros
• Lecture Notes | Lecture Videos Playlists | Books | Handbooks
• Theory of Computation
• Introductory
  • Lecture Notes | MOOC | Books | Puzzles and Problem Sets
• Computational Complexity
  • Introductory
  • Lecture Videos Playlists | Lecture Notes | Books | Big Lists
  • Communication Complexity
  • Lecture Notes | Books
  • Circuit Complexity
  • Books
  • Quantum Complexity
  • Lecture Videos Playlists | Lecture Notes
  • Proof Complexity
  • Lecture Notes
• Computability Theory
  • Books
  • Introductory | Advanced | Monograph
• Logic
• Computational Complexity
  • Books
• Programming Language Theory
• Basics
  • Lecture Notes | Books
• Introductory
  • Books
• Formal Verification
  • Lecture Notes | Books
• Type Theory
  • Lecture Notes | Books
• Functional Programming
  • Lecture Notes
• Algorithms
• General
  • Lecture Videos | Lecture Notes | Books
• Lower Bounds
  • Lecture Videos Playlists | Books
• Randomization & Probability
  • Lecture Notes
• Approximation
  • Lecture Notes | Books
• Parameterized
  • Lecture Videos Playlist | Books
• Learning-augmented
  • Lecture Notes | Big List
• Information/Coding Theory
• Lecture Notes | Workshops | Conferences