for students
Here are files for students of the courses I've been
instructing at Daimi. The pages usually contain links to
exercise solutions and short notes. Here is a list of the
relevant courses.
- Regularity and Automata (dRegAut'05)
- Programming
Languages and Semantics'03 (dSprogSem'03)
- Models and Logic'03
- Introduction to Programming'02
- Algorithms and Data-structures'02
- Introduction to Programming'01
- Models and Logic'01