Education

Activities of the group are reflected in several courses taught at the University, most notably the MSc level courses:

• 4IZ410 – Information and Inference Theory (lecturers: J. Ivánek, J. Vejnarová)
• 4IZ617 – Logic and Semantics (lecturer: J. Vejnarová)
• 4IZ430 Principles of Intelligent Systems (lecturer: P. Berka)
• 4IZ524 – Theoretical Computer Science (lecturer: J. Vejnarová)
• 4IZ561 Artificial Neural Networks (lecturer: P. Berka)

A specialized Bc level course is:

• 4IZ230 – Introduction to Artificial Intelligence (lecturer: O. Zamazal)

Finally, there is also a relevant PhD-level course:

• IZI901 – Information and Knowledge System Theory (course leader: J. Ivánek)