Načrt dela
14. feb. 2022 – predavanja: Praksa programskih jezikov
15. feb. 2022 – predavanja: Praksa programskih jezikov
18. feb. 2022 – vaje: Praksa programskih jezikov
21. feb. 2022 – predavanja: Uvod v Agdo
22. feb. 2022 – predavanja: Uvod v Agdo
25. feb. 2022 – vaje: Uvod v Agdo
28. feb. 2022 – predavanja: Indukcija
1. mar. 2022 – predavanja: Indukcija
4. mar. 2022 – vaje: Indukcija
7. mar. 2022 – predavanja: Metateorija programskih jezikov
8. mar. 2022 – predavanja: Metateorija programskih jezikov
11. mar. 2022 – vaje: Metateorija programskih jezikov
14. mar. 2022 – predavanja: λ-račun
15. mar. 2022 – predavanja: λ-račun
18. mar. 2022 – vaje: λ-račun
21. mar. 2022 – predavanja: Tipi
22. mar. 2022 – predavanja: Tipi
25. mar. 2022 – vaje: odpadejo
28. mar. 2022 – predavanja: Tipi
29. mar. 2022 – vaje: Tipi
1. apr. 2022 – vaje: Tipi
4. apr. 2022 – predavanja: Izpeljava tipov
5. apr. 2022 – predavanja: Izpeljava tipov
8. apr. 2022 – vaje: Izpeljava tipov
11. apr. 2022 – predavanja: Računski učinki
12. apr. 2022 – predavanja: Računski učinki
15. apr. 2022 – vaje: Računski učinki
18. apr. 2022 – praznik
19. apr. 2022 – predavanja: Mehanizacija dokazov
22. apr. 2022 – vaje: Mehanizacija dokazov
25. apr. 2022 – predavanja: Mehanizacija dokazov
26. apr. 2022 – vaje: Mehanizacija dokazov
29. apr. 2022 – vaje: odpadejo
2. maj 2022 – praznik
3. maj 2022 – predavanja: Denotacijska semantika
6. maj 2022 – vaje: Denotacijska semantika
9. maj 2022 – predavanja: Domene
10. maj 2022 – predavanja: Domene
13. maj 2022 – vaje: Domene
16. maj 2022 – predavanja: Monade in algebrajski učinki
17. maj 2022 – predavanja: Monade in algebrajski učinki
20. maj 2022 – vaje: Monade in algebrajski učinki
23. maj 2022 – predavanja: Prestrezniki učinkov
24. maj 2022 – predavanja: Prestrezniki učinkov
27. maj 2022 – vaje: Prestrezniki učinkov
30. maj 2022 – predavanja: rezervni termin
31. maj 2022 – predavanja: rezervni termin