# Problem Solving Techniques

(under construction ... add links to lectures as well as some extra material)

- Descartes' Scientific Method
- Pretending to Know a Solution (Recursion)
- Generalising
- Specialising
- Invariants
- Laws of Reasoning
- Doublethink
- Termination via Well-Founded Orderings
- Lexicographic Orderings
- Computation as Rewriting to Normal Form
- Algorithm = ARS
- Abstract Syntax Trees
- Parsing
- ...