Update: 6th Mar 2018
Copyright © 2003-2013
Archiv výuky
 |
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
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.
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
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
Akademický rok 2008/2009
Akademický rok 2007/2008
- Automaty a gramatiky (NTIN071 - Informatici) LS 2007/2008
- Programování II (NPRM045 - Matematici) LS 2007/2008
Akademický rok 2006/2007
- Automaty a gramatiky (TIN071 - Informatici) LS 2006/2007
- Programování II (PRM045 - Matematici/59) LS 2006/2007
Akademický rok 2005/2006
- Automaty a gramatiky (TIN071 - Informatici) LS 2005/2006
- Programování II (PRM045 - Matematici/59) LS 2005/2006
|
Copyright © 2003-2014 |
|