Tato stránka shrnuje výuku, kterou jsem zajišťoval v uplynulých letech. Většina materiálů týkající se výuky je v češtině.

Akademický rok 2012/2013

• Seminář ze splnitelnosti (NAIL092)  LS 2012/2013
  
• Seminář z umělé inteligence II (NAIL052)  LS 2012/2013
  
• Automaty a gramatiky (NTIN071)  cvičení, LS 2012/2013
  
• Programování II (NPRM045)  LS 2012/2013
  

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

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

Akademický rok 2011/2012

Běžnou výuku v akademickém roce 2011/2012 nevedu. Důvodem je stáž na Kobe University v Kobe, Japonsko. Dálkově dále vedu probíhající projekty a studentské práce (Ročníkový projekt, Bakalářská/Diplomová práce). Novým zájemcům o vedení projektu či studentské práce nedoporučuji, aby se v tomto akademickém roce hlásili, neboť by bylo značně obtížné uskutečnit osobní schůzky.

Výběrová výuka, tj. Seminář ze splnitelnosti (NAIL092) a Rozhodovací procedury a verifikace (NAIL094), bude opět probíhat v akademickém roce 2012/2013. Společná výuka, tj. Seminář z umělé inteligence I (NTIN004) a Seminář ze splnitelnosti (NAIL092), běží i v tomto akademickém roce pod vedením doc. RNDr. Romana Bartáka, Ph.D.

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

Akademický rok 2010/2011

• Seminář ze splnitelnosti (NAIL092)  LS 2010/2011
  
• Seminář z umělé inteligence II (NAIL004)  LS 2010/2011
  
• Automaty a gramatiky (NTIN071)  cvičení, LS 2010/2011
  

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

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

Akademický rok 2009/2010

• Seminář ze splnitelnosti (NAIL092)  LS 2009/2010
  
• Seminář z umělé inteligence II (NAIL004)  LS 2009/2010
  
• Automaty a gramatiky (NTIN071)  cvičení, LS 2009/2010
  

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

• Ročníkový projekt - specifikace (NPRG033)  akademický rok 2009/2010
  
• Ročníkový projekt - implementace (NPRG034)  akademický rok 2009/2010
  

Akademický rok 2008/2009

• Seminář ze splnitelnosti (NAIL092)  LS 2008/2009
  
• Automaty a gramatiky (NTIN071)  cvičení, LS 2008/2009
  
• Algoritmy a datové struktury I (NTIN060)  cvičení, LS 2008/2009
  

• Ročníkový projekt - specifikace (NPRG033)  akademický rok 2008/2009
  
• Ročníkový projekt - implementace (NPRG034)  akademický rok 2008/2009
  

Akademický rok 2007/2008

• Automaty a gramatiky (NTIN071 - Informatici)  LS 2007/2008
  
• Programování II (NPRM045 - Matematici)  LS 2007/2008
  

• Neprocedurální programování (PRG005 - Informatici)  ZS 2006/2007
  
• Programování I (PRM044 - Matematici)  ZS 2007/2008
  

• Ročníkový projekt - specifikace (NPRG033)  akademický rok 2007/2008
  
• Ročníkový projekt - implementace (NPRG034)  akademický rok 2007/2008
  

Akademický rok 2006/2007

• Automaty a gramatiky (TIN071 - Informatici)  LS 2006/2007
  
• Programování II (PRM045 - Matematici/59)  LS 2006/2007
  

• Neprocedurální programování (PRG005 - Informatici)  ZS 2006/2007
  
• Programování I (PRM044 - Matematici/59)  ZS 2006/2007
  

• Ročníkový projekt - implementace (PRG034)  rok 2006
  
• Nepravidelne události  ZS 2006/2007
  

Akademický rok 2005/2006

• Automaty a gramatiky (TIN071 - Informatici)  LS 2005/2006
  
• Programování II (PRM045 - Matematici/59)  LS 2005/2006
  

• Programování I (PRM044 - Matematici/59)  ZS 2005/2006
  

• Ročníkový projekt - specifikace (PRG033)  rok 2006
  
• Nepravidelne události  ZS 2005/2006