From winter term 2005 to summer term 2007, I've worked at the Department of Theoretical Computer Science at the TU Dresden as a tutor/teaching assistant for the mandatory foundation courses "Algorithms and Data Structures" (
Algorithmen und Datenstrukturen) and "Programming" (
Programmierung).
Topics of the courses are:
- Iterative Programming: The C Programming Language
- BNF/EBNF ([extended] Backus-Naur-Form)
- Data types: Elementary, Structured, Dynamic Types
- Sort, Search and Graph Algorithms
- Dynamic Programming/Backtracking
- Recursive Programming in Haskell
- Lambda-Calculus
- Abstract Machines/Implementation
- Program Verification
http://uni.kuchengabel.de/
