Takashi's Notes

Home

❯

courses

❯

theory of computation lecture notes

Folder: courses/theory-of-computation-lecture-notes

11 items under this folder.

  • May 02, 2026

    Closure of language classes under set operations

    • Nov 21, 2025

      Introduction

      • Nov 21, 2025

        String Theory

        • Nov 21, 2025

          Deterministic finite automata

          • Nov 21, 2025

            Declarative models of computation

            • Nov 21, 2025

              Equivalence of models

              • Nov 21, 2025

                Proving problems are not solvable in a model of computation

                • Nov 21, 2025

                  Turing machines

                  • Nov 21, 2025

                    Efficient solution of problems: The class P

                    • Nov 21, 2025

                      Efficient verification of solutions: The class NP

                      • Nov 21, 2025

                        Undecidability


                        Created with Quartz v4.5.2 © 2026

                        • GitHub
                        • Discord Community