Konsultacje: proszę umawiać się mailowo
Semestr zimowy 2023/2024
Dawniejsze zajęcia
- Automaty ważone (wykład i ćwiczenia, letni 2022/23)
- Automaty nieskończone (wykład i ćwiczenia, zimowy 2022/23)
- Algorytmika sieci Petriego (wykład, zimowy 2020/21)
- Złożoność obliczeniowa (ćwiczenia, zimowy 2020/21)
- JAO 2 (wykład, zimowy 2019/20)
- Złożoność obliczeniowa (zimowy 2019/20)
- JAO 2 (wykład, zimowy 2018/19)
- Złożoność obliczeniowa (zimowy 2018/19)
- Języki, automaty i obliczenia (wykład, letni 2016/17)
- Języki, automaty i obliczenia (letni 2016/17)
- Złożoność obliczeniowa (letni 2016/17))
- JAO 2 (zimowy 2016/17)
- Matematyka dyskretna (letni 2015/16)
- Złożoność obliczeniowa (letni 2015/16)
- JAO 2 (zimowy 2015/16)
- Podstawy matematyki (zimowy 2015/16)
- Nagroda Gödla (wykład, letni 2014/15)
- Matematyka dyskretna (letni 2014/15)
- Złożoność obliczeniowa (letni 2014/15)
- Matematyka dyskretna (letni 2013/14)
- Geometria z algebrą liniową (zimowy 2013/14)
- Problemy decyzyjne dla systemów nieskończonych (letni 2011/12)
- Matematyka dyskretna (letni 2010/11)
- Języki automaty i obliczenia (letni 2009/10)
- Matematyka dyskretna (letni 2009/10)
- Algorytmiczne aspekty teorii gier (letni 2008/09)
- Rachunek prawdopodobieństwa i statystyka (zimowy 2008/09)