Lectures
This page gives highlights of past lectures and provides lecture notes, reading assignments, and exercises.
Chapters and sections in the readings are from the textbook, unless specified otherwise.
Topic 01 - SML introduction
- 02 Dez
- 07 Dez
- 09 Dez
- Practical session and Q&A
- Recording 13:00
- Recording 17:00
- 14 Dez
- 16 Dez
- Practical session and Q&A
- Recording 13:00
- Recording 17:00
Topic 02 - Syntax and semantics of programming languages
- 04, 06 Jan
- 11, 13 Jan
- Q&A
- 13:00,
- 17:00
- 18 Jan
- 20 Jan
- Practical session and Q&A
- Recording 13:00,
- Recording 17:00
- 27 Jan
Topic 03 - Implementing programming languages
- 01 Feb
- Introduction to Python
- Pre-recorded lecture 1 (by Prof. Fernando Pereira)
- Pre-recorded lecture 2 (by Prof. Fernando Pereira)
- 03, 08 Feb
- 10 Feb
- Q&A
- 13:00,
- 17:00
- 22 Feb
- 24 Feb
- Tutorial: Ml-lex and ML-yacc
- 13:00,
- 17:00
- 01, 03 Mar
- Q&A
- 13:00,
- 17:00
Topic 04 - Logic programming
- 08 Mar
- 10 Mar
- 15 Mar
- 17 Mar
- 17, 20 Mar
- Programming SMT solvers
- Pre-recorded lecture, slides, examples
- 22 Mar
- Writing on the board
