Skip to content
~vaibhav
Topics / Theoretical Computer Science

Theoretical Computer Science

Algorithms, complexity, computation, and the mathematical foundations of computing.

[you@here ~]$ grep -rl "theory" *.md

Foundational CS theory — what can be computed, how efficiently, and why. Browse the subtopics below.

Subtopics

  • Algorithms 2
  • Automata & Formal Languages 0
  • Computability 1
  • Computational Complexity 0
  • Graph Theory 0
  • Logic & Proof 0

Notes

  • Data Compression and Source Coding 9/8/2026 Kraft inequality, Huffman codes, and Shannon-Fano-Elias coding bounds.
  • Kolmogorov Complexity 9/8/2026 Incompressible sequences, Occam's Razor, and the Minimum Description Length principle.
  • Universal Source Coding 9/8/2026 Arithmetic coding, Lempel-Ziv algorithms, and optimality proofs.

← all topics

RSS GitHub Email Colophon

Built 2026-09-20.