Sice jsem teprve v posledním ročníku magisterského studia, ale jelikož plánuji pokračovat v doktorském studiu na FITu, tak jsem si ze zvědavosti prošel seznam předmětů, které byly/jsou otevírány letošní rok a vybral jsem pár předmětů, které bych si zřejmě zapsal :). Orientace: teoretická informatika, matematika, programovací jazyky.
- Moderní teoretická informatika (prof. Meduna) -- Bez tohoto předmětu bych si asi doktorské studium neuměl představit :). Perlička: Asi třetinu přednášek jsem absolvoval již na bakaláři, protože se tam diskutovaly věci, které jsem potřeboval na bakalářku, a rád bych dorazil i ten zbytek :).
- Formální analýza programů (doc. Vojnar) -- FAV 2: Doc. Vojnar Strikes Back! :) Snad budou i některá nová témata (podle osnovy ano, ale ta může mnohdy klamat -- např. letos mělo pár doktorandů zapsán magisterský předmět FAV, tak je možné, že se jedná o to samé).
- Vybraná témata z analýzy a překladu jazyků (doc. Kolář) -- Něco z oblasti překladačů (vím, že se tím doc. Kolář zabývá či zabýval, a tak jsem na to zvědavý).
- Teorie programovacích jazyků (prof. Hruška) -- Prof. Hrušku znám pouze z webovek, ale podle jeho poznámek/životopisu se tímto zabývá, tak uvidíme.
- Teorie a aplikace Petriho sítí (prof. Češka) -- Verzi tohoto předmětu na magisterském si zřejmě z časových důvodů nezapíšu (resp. neponechám zapsanou), ale na doktorském bych toto téma rád absolvoval.
Dále tady máme pár čistě matematických předmětů. Především se těším na teorii kategorií (využití např. ve funkcionálních jazycích) od prof. Šlapala, což bude řádná brutalitka :).
- Moderní matematické metody v informatice (prof. Šlapal)
- Teorie kategorií (prof. Šlapal)
- Algebra, kombinatorika, grafy (prof. Havel)
- Logika (prof. Havel)
No a kdybych potřeboval ještě další předměty, tak bych si asi zapsal něco z následujícího:
- Vybrané problémy softwarového inženýrství a databázových systémů (doc. Zendulka) -- Inu, když budou chybět kredity (resp. jejich alternativa na doktorském), tak proč ne...
- Vybrané kapitoly z algoritmů (prof. Honzík) -- Nevím nevím. Ano, prof. Honzík učí algoritmy na bakaláři, ale mám pocit, že se většinu času věnuje jiným věcem (vzdělávání, gender v IT apod.).
- Zpracování přirozeného jazyka (doc. Smrž) -- Tento předmět jsem si chtěl zapsat už na magisterském, ale nakonec jsem si místo toho zapsal Teorii her. Téma je to zajímavé, takže proč ne.
Ostatní předměty mě nijak nezaujaly.