EN

Zajęcia


(Niektóre) Ćwiczenia

[+]

Semantyka i weryfikacja programów, zima 2024/25


[+]

Języki i paradygmaty programowania, lato 2023/24


[+]

Języki i paradygmaty programowania, lato 2021/22


[+]

Semantyka i weryfikacja programów, zima 2021/22


[+]

Języki i paradygmaty programowania, lato 2020/21


[+]

Wybrane zagadnienie teorii mnogości, lato 2019/20


[+]

Języki, automaty i obliczenia, lato 2016/17


[+]

Logika dla informatyków, zima 2015/16


[+]

Wybrane zagadnienia teorii mnogości, zima 2015/16


[+]

Automaty na drzewach nieskończonych, lato 2013/14


[+]

Podstawy matematyki, zima 2012/13


[+]

Semantyka i weryfikacja programów, zima 2010/11


Oceń wykładowcę: wikispaces
USOSweb
Na konsultacje proszę umawiać się e-mailem.
mskrzypczak mimuw edu pl
powrót
ostatnia modyfikacja: 14:03 08.10.2024