Texyland

AI1: Supervised learning

Context-free grammars, ambiguity and Chomsky normal form

AI1: Resit 2022 Paper Review

Binary Search Trees and AVL Trees (DSA)

Church's Thesis (TOC)

B+ Trees (DSA)

Dijkstra, Jarnik Prim, Union-Find, Kruskal (DSA)

Binomial Heaps (DSA)

DSA: Resit 2022 Paper Review

Minimizing a DFA (TOC)

Definition of NP (TOC)

Binary Heap Trees (DSA)

AI1: Simulated Annealing, Constraint Handling

Regular expressions (TOC)

Big-O Complexity Proofs (TOC)

AI1: Summer 2023 Paper Review

Converting a regular expression to a total DFA (TOC)

Other Complexity Measures (DSA)

Amortized Time Complexity (DSA)

DSA: Summer 2022 Paper Review

Prove a language is non-regular by contradiction (TOC)

TOC: Revision Session Recording 13/05/2024

Undecidability, the Halting Problem and Problem Reduction (TOC)

AI1: Mock 2023 Paper Review