Compulsory subjects of the branch

Code	Course name	Language	WINTER SEMESTER			SUMMER SEMESTER
	Tutor	Language	completion	credits	range	completion	credits	range
A4M33RZN	Advanced Methods for Knowledge Representation Jiří Kléma, Petr Křemen, Mirko Navara, Radomír Černoch	Czech	Z,ZK	6	2+2c				The course is on the list
A4M33AU	Automatic Reasoning Petr Pudlák, Jiří Vyskočil, Olga Štěpánková	Czech				Z,ZK	6	2+2c	The course is on the list
A4M33BIA	Bio Inspired Algorithms Jan Drchal, Jiří Kubalík	Czech				Z,ZK	6	2+2c	The course is on the list
A4M33SAD	Machine Learning and Data Analysis Jiří Kléma, Ondřej Kuželka, Andrea Szabóová, Filip Železný	Czech	Z,ZK	6	2+2c				The course is on the list
A4M36MAS	Multiagent Systems		Z,ZK	6	2+2c				The course is not on the list
A4M36PAH	Planning and game playing					Z,ZK	6	2+2c	The course is not on the list