IV125/Log: No timetable has been entered into IS.A. Blumensath
IV125/Coq: No timetable has been entered into IS.M. Jonáš, J. Obdržálek
IV125/GrGe: Thu 12:00–13:50 C417, M. Debski, P. Hliněný, B. Roy
IV125/Stat: Thu 14:00–15:50 C417, T. Brázdil, V. Řehák
The enrollment must be approved by a teacher of a seminar group.
Course Enrolment Limitations
The course is offered to students of any study field.
By passing this course, the student will gain a profound insight into the relevant part of theoretical computer science or mathematics (depending on the selected seminar group), will be able to read and present results formulated in a given scientific literature.
The student has a profound insight into the relevant parts of theoretical computer science or mathematics (depending on the chosen seminar group), is able to present the given specialized substance independently and solve related research problems.
Team study or team research project.
At the beginning of the semester the studied topics is selected
in a common discussion.
At regular weekly seminars a selected student (or the lecturer) explains the subject.
At the designated seminars students refer to their progress and results,
they are given feedback.
At the final seminar an overall assessment is made.
The seminar is focused on team study of the given substance, on own research, and
presentation of the results. It is divided into thematic seminar groups,
each of which with its own teacher.
The students are assessed for their activity at the seminars, the quality of the results achieved, and the way and quality of their presentation during the seminars.
Language of instruction
Further comments (probably available only in Czech)
The course is taught each semester.
General note: Opakovaně lze zapisovat předmět jen v případě účasti v jiné seminární skupině (potvrdí učitel skupiny).