Archive Notes

Home

❯

University

❯

Year 3

❯

Semester 2

❯

6CCS3COM Computational Models

6CCS3COM Computational Models

8 items under this folder.

  • Jun 18, 2026

    1. Computability

    • Jun 18, 2026

      2. Automata

      • Jun 18, 2026

        3. Turing Machines

        • Jun 18, 2026

          4. Applications of automata; Compiler Construction

          • Jun 18, 2026

            6. Lambda Calculus (part 1)

            • Jun 18, 2026

              7. Lambda Calculus (part 2)

              • Jun 18, 2026

                8. Interaction nets

                • Jun 18, 2026

                  9. Calculus of communicating systems (CCS)


                  Created with Quartz v5.0.0 © 2026

                  • GitHub
                  • Discord Community