Tato část mých stránek je věnována výuce, kterou aktuálně zajišťuji. Většina materiálů týkající se výuky je v češtině.

Nabízím vedení ročníkových projektů, bakalářských a diplomových prací. Pokud mám volnou kapacitu, je tato nabídka stále platná. Máte-li zájem o vedení některé z uvedených typů prací, neváhejte mne kontaktovat.

Vedení prací

• Obecné informace, témata a volná místa

Akademický rok 2015/2016

• Rozhodovací procedury a verifikace (NAIL094)  přednáška+cvičení, ZS 2015/2016
  
• Seminář z umělé inteligence I (NTIN004)  ZS 2015/2016
  
• Výroková a predikátová logika (NAIL062)  cvičení, ZS 2015/2016
  

• Ročníkový projekt (NPRG045)  akademický rok 2015/2016
  
• Ročníkový projekt - specifikace (NPRG033)  akademický rok 2015/2016
  
• Ročníkový projekt - implementace (NPRG034)  akademický rok 2015/2016
  

Akademický rok 2014/2015

• Automaty a gramatiky (NTIN071)  přednáška+cvičení, LS 2014/2015
  
• Automata and Grammars (NTIN071)  lecture+seminar, Summer 2014/2015
  
• Seminář ze splnitelnosti (NAIL092)  LS 2014/2015
  
• Seminář z umělé inteligence II (NAIL052)  LS 2014/2015
  

• Rozhodovací procedury a verifikace (NAIL094)  přednáška+cvičení, ZS 2014/2015
  
• Seminář z umělé inteligence I (NTIN004)  ZS 2014/2015
  
• Výroková a predikátová logika (NAIL062)  cvičení, ZS 2014/2015
  

• Ročníkový projekt (NPRG045)  akademický rok 2014/2015
  
• Ročníkový projekt - specifikace (NPRG033)  akademický rok 2014/2015
  
• Ročníkový projekt - implementace (NPRG034)  akademický rok 2014/2015
  

Akademický rok 2013/2014

• Automaty a gramatiky (NTIN071)  přednáška+cvičení, LS 2013/2014
  
• Seminář ze splnitelnosti (NAIL092)  LS 2013/2014
  
• Seminář z umělé inteligence II (NAIL052)  LS 2013/2014
  

• Rozhodovací procedury a verifikace (NAIL094)  přednáška+cvičení, ZS 2013/2014
  
• Seminář z umělé inteligence I (NTIN004)  ZS 2013/2014
  
• Výroková a predikátová logika (NAIL062)  cvičení, ZS 2013/2014
  

• Ročníkový projekt (NPRG045)  akademický rok 2013/2014
  
• Ročníkový projekt - specifikace (NPRG033)  akademický rok 2013/2014
  
• Ročníkový projekt - implementace (NPRG034)  akademický rok 2013/2014