Ocena zajęć+ memy moich studentów
Logika Repetytorium 24/25
Logika Ćwiczenia 24/25 (Jako jeden z wielu zmieniających się prowadzących)
Matematyka Dyskretna L Ćwiczenia 24/25
Logika Ćwiczenia 23/24 (Jako jeden z wielu zmieniających się prowadzących)
An Introduction to Finite and Classical Model Theory: Wykład 22/23
Logika Ćwiczenia 22/23 (Jako jeden z wielu zmieniających się prowadzących)
Logika Repetytorium 21/22
Logika Ćw 21/22 (Jako jeden z wielu zmieniających się prowadzących)
Seminarium: Skończona i algorytmiczna teoria modeli 20/21 (z Piotrem Ostropolskim-Nalewają)
Logika Repetytorium 20/21
Logika Ćw 20/21 (Jako jeden z wielu zmieniających się prowadzących)
Modele Skończone 20/21 wykład+ćw wraz z P. Nalewają
Logika Ćw 19/20 (Jako jeden z wielu zmieniających się prowadzących)
Seminarium Badawcze 19/20
Seminarium Badawcze 18/19
Bazy danych Ćw 18/19
Logika Ćw 18/19 (Jako jeden z wielu zmieniających się prowadzących)
