Prof. RNDr. Roman Barták, Ph.D.
Home | Bio | Research | Teaching | Service

Teaching: Courses
[Courses | Tutorials | Students]


I teach courses at undergraduate and graduate programs of Computer Science:

  • Constraint Programming (since 1998), course web
  • Planning and Scheduling (since 2004), course web
  • Artificial Intelligence I (since 2007), course web
  • Artificial Intelligence II (since 2011), course web
  • Seminar on Artificial Intelligence I and II (since 2010), course web
  • Formal Automata and Grammars (2000-2014), course web

Past seminars:

  • Theory of Computing (till 2003)
  • Programming in Prolog (till 2002)