Algebraische Automatentheorie
|
Winter 2018/19, Winter 2017/18
|
Algorithmische Automatentheorie
|
Sommer 2021, Sommer 2019, Sommer 2018, Sommer 2017, Sommer 2016, Winter 2013/14, Winter 2014/15, Winter 2012/13, Sommer 2011
|
Programmanalyse
|
Winter 2018/19, Winter 2017/18, Winter 2015/16 (BOA), Winter 2013/14 (BOA)
|
Komplexitätstheorie
|
Winter 2021/22, Winter 2018/19, Winter 2017/18, Winter 2016/17, Winter 2015/16
|
Nebenläufigkeitstheorie
|
Winter 2021/22, Winter 2020/21, Winter 2019/20, Winter 2018/19, Winter 2017/18, Winter 2016/17, Sommer 2015, Sommer 2014, Winter 2011/12, Winter 2010/11
|
Spiele mit Perfekter Information
|
Sommer 2019, Sommer 2018, Sommer 2017
|
Einführung in die Logik
|
Sommer 2023, Sommer 2022, Sommer 2021, Sommer 2020, Sommer 2019, Sommer 2018, Sommer 2017, Sommer 2016, Sommer 2015, Sommer 2014, Sommer 2013, Sommer 2012
|
Semantik
|
Winter 2019/20, Sommer 2018
|
Seminar
|
Sommer 2023, Winter 2022/23, Sommer 2022, Winter 2021/22, Sommer 2021, Winter 2020/21, Sommer 2020, Winter 2019/20, Sommer 2019, Winter 2018/19, Sommer 2018, Winter 2017/18, Sommer 2017, Winter 2016/17, Sommer 2014
|
SEP
|
Sommer 2020 (KittyCAT), Sommer 2019 (Kitchen App), Sommer 2018 (Hack your habits), Sommer 2017 (UnicornPL)
|
Teamprojekt / Praktikum
|
Sommer 2019 (Programmanalyse), Winter 2018/19 (Program Verification), Sommer 2018 (Programmanalyse), Winter 2017/18 (Automata Learning), Summer 2017 (Kryptologie)
|
Theoretische Informatik 1
|
Winter 2022/23, Winter 2021/22, Winter 2020/21, Winter 2019/20,Winter 2018/19, Winter 2017/18, Winter 2016/17, Sommer 2016 (FGdP)
|
Theoretische Informatik 2
|
Sommer 2023, Sommer 2022, Sommer 2021, Sommer 2020, Sommer 2019, Sommer 2018, Sommer 2017
|