Course Information

IV125 Formela lab seminar

Extent and Intensity

0/2/0. 2 credit(s) (plus extra credits for completion). Recommended Type of Completion: k (colloquium). Other types of completion: z (credit).
In-person direct teaching

Teacher(s)

prof. RNDr. Antonín Kučera, Ph.D. (lecturer)
doc. RNDr. Tomáš Brázdil, Ph.D. (lecturer)
doc. RNDr. Vojtěch Řehák, Ph.D. (lecturer)
Dr. rer. nat. Achim Blumensath (lecturer)
doc. Mgr. Jan Obdržálek, PhD. (lecturer)
doc. RNDr. Petr Novotný, Ph.D. (lecturer)
RNDr. Martin Jonáš, Ph.D. (lecturer)
RNDr. Vít Musil, Ph.D. (lecturer)
RNDr. David Klaška (assistant)
Anselm Paulus (lecturer)

Guaranteed by

prof. RNDr. Antonín Kučera, Ph.D.
Department of Computer Science – Faculty of Informatics
Supplier department: Department of Computer Science – Faculty of Informatics

Timetable of Seminar Groups

IV125/AdvancedRL: Mon 30. 9. to Mon 16. 12. Mon 10:00–11:40 C325, P. Novotný
IV125/Logic: No timetable has been entered into IS. A. Blumensath

Prerequisites

SOUHLAS
The enrollment must be approved by a teacher of a seminar group.

Course Enrolment Limitations

The course is also offered to the students of the fields other than those the course is directly associated with.

fields of study / plans the course is directly associated with

there are 36 fields of study the course is directly associated with, display

Course objectives

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.

Learning outcomes

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.

Syllabus

• 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.

Teaching methods

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.

Assessment methods

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

English

Further comments (probably available only in Czech)

Study Materials
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).

Teacher's information

http://formela.fi.muni.cz/

IV125 Formela lab seminar

Extent and Intensity

0/2/0. 2 credit(s) (plus extra credits for completion). Recommended Type of Completion: k (colloquium). Other types of completion: z (credit).
In-person direct teaching

Teacher(s)

Dr. rer. nat. Achim Blumensath (lecturer)
doc. RNDr. Tomáš Brázdil, Ph.D. (lecturer)
prof. RNDr. Antonín Kučera, Ph.D. (lecturer)
doc. RNDr. Petr Novotný, Ph.D. (lecturer)
doc. Mgr. Jan Obdržálek, PhD. (lecturer)
doc. RNDr. Vojtěch Řehák, Ph.D. (lecturer)
RNDr. David Klaška (seminar tutor)

Guaranteed by

Dr. rer. nat. Achim Blumensath
Department of Computer Science – Faculty of Informatics
Supplier department: Department of Computer Science – Faculty of Informatics

Prerequisites

SOUHLAS
The enrollment must be approved by a teacher of a seminar group.

Course Enrolment Limitations

The course is also offered to the students of the fields other than those the course is directly associated with.

fields of study / plans the course is directly associated with

there are 38 fields of study the course is directly associated with, display

Course objectives

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.

Learning outcomes

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.

Syllabus

• 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.

Teaching methods

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.

Assessment methods

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

English

Further comments (probably available only in Czech)

The course is taught each semester.
The course is taught: every week.
General note: Opakovaně lze zapisovat předmět jen v případě účasti v jiné seminární skupině (potvrdí učitel skupiny).

Teacher's information

http://formela.fi.muni.cz/

IV125 Formela lab seminar

Extent and Intensity

0/2/0. 2 credit(s) (plus extra credits for completion). Recommended Type of Completion: k (colloquium). Other types of completion: z (credit).

Teacher(s)

Dr. rer. nat. Achim Blumensath (lecturer)
doc. RNDr. Tomáš Brázdil, Ph.D. (lecturer)
prof. RNDr. Antonín Kučera, Ph.D. (lecturer)
doc. RNDr. Petr Novotný, Ph.D. (lecturer)
doc. Mgr. Jan Obdržálek, PhD. (lecturer)
doc. RNDr. Vojtěch Řehák, Ph.D. (lecturer)
RNDr. David Klaška (seminar tutor)

Guaranteed by

Dr. rer. nat. Achim Blumensath
Department of Computer Science – Faculty of Informatics
Supplier department: Department of Computer Science – Faculty of Informatics

Timetable of Seminar Groups

IV125/RL: Thu 10:00–11:50 C417, P. Novotný

Prerequisites

SOUHLAS
The enrollment must be approved by a teacher of a seminar group.

Course Enrolment Limitations

The course is also offered to the students of the fields other than those the course is directly associated with.

fields of study / plans the course is directly associated with

there are 38 fields of study the course is directly associated with, display

Course objectives

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.

Learning outcomes

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.

Syllabus

• 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.

Teaching methods

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.

Assessment methods

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

Czech

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).

Teacher's information

http://formela.fi.muni.cz/

IV125 Formela lab seminar

Extent and Intensity

0/2/0. 2 credit(s) (plus extra credits for completion). Recommended Type of Completion: k (colloquium). Other types of completion: z (credit).

Teacher(s)

prof. RNDr. Antonín Kučera, Ph.D. (lecturer)
doc. RNDr. Tomáš Brázdil, Ph.D. (lecturer)
doc. RNDr. Vojtěch Řehák, Ph.D. (lecturer)
Dr. rer. nat. Achim Blumensath (lecturer)
doc. Mgr. Jan Obdržálek, PhD. (lecturer)
doc. RNDr. Petr Novotný, Ph.D. (lecturer)
RNDr. Martin Jonáš, Ph.D. (lecturer)
RNDr. Vít Musil, Ph.D. (lecturer)
RNDr. David Klaška (assistant)

Guaranteed by

prof. RNDr. Antonín Kučera, Ph.D.
Department of Computer Science – Faculty of Informatics
Supplier department: Department of Computer Science – Faculty of Informatics

Timetable of Seminar Groups

IV125/Coq: Thu 18:00–19:50 C417, M. Jonáš
IV125/Llama: Thu 12:00–13:50 C417, T. Brázdil, V. Musil, P. Novotný
IV125/Logic: Wed 29. 11. 12:00–16:00 C417, A. Blumensath
IV125/Rosenthal2: Thu 12:00–13:50 C525, except Thu 2. 11., D. Klaška, V. Řehák

Prerequisites

SOUHLAS
The enrollment must be approved by a teacher of a seminar group.

Course Enrolment Limitations

The course is also offered to the students of the fields other than those the course is directly associated with.

fields of study / plans the course is directly associated with

there are 37 fields of study the course is directly associated with, display

Course objectives

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.

Learning outcomes

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.

Syllabus

• 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.

Teaching methods

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.

Assessment methods

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

Czech

Further comments (probably available only in Czech)

Study Materials
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).

Teacher's information

http://formela.fi.muni.cz/

IV125 Formela lab seminar

Extent and Intensity

0/2/0. 2 credit(s) (plus extra credits for completion). Recommended Type of Completion: k (colloquium). Other types of completion: z (credit).

Teacher(s)

Dr. rer. nat. Achim Blumensath (lecturer)
doc. RNDr. Tomáš Brázdil, Ph.D. (lecturer)
prof. RNDr. Antonín Kučera, Ph.D. (lecturer)
doc. RNDr. Petr Novotný, Ph.D. (lecturer)
doc. Mgr. Jan Obdržálek, PhD. (lecturer)
doc. RNDr. Vojtěch Řehák, Ph.D. (lecturer)
RNDr. David Klaška (seminar tutor)

Guaranteed by

Dr. rer. nat. Achim Blumensath
Department of Computer Science – Faculty of Informatics
Supplier department: Department of Computer Science – Faculty of Informatics

Timetable of Seminar Groups

IV125/Log: Fri 17. 2. to Fri 12. 5. Fri 14:00–15:50 C417, A. Blumensath
IV125/Optimization: Tue 14. 2. to Tue 9. 5. Tue 12:00–13:50 C417, T. Brázdil, V. Řehák
IV125/Rosenthal: Tue 14. 2. to Tue 9. 5. Tue 14:00–15:50 C417, D. Klaška, A. Kučera, V. Řehák

Prerequisites

SOUHLAS
The enrollment must be approved by a teacher of a seminar group.

Course Enrolment Limitations

The course is also offered to the students of the fields other than those the course is directly associated with.

fields of study / plans the course is directly associated with

there are 38 fields of study the course is directly associated with, display

Course objectives

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.

Learning outcomes

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.

Syllabus

• 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.

Teaching methods

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.

Assessment methods

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

Czech

Further comments (probably available only in Czech)

Study Materials
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).

Teacher's information

http://formela.fi.muni.cz/

IV125 Formela lab seminar

Extent and Intensity

0/2/0. 2 credit(s) (plus extra credits for completion). Recommended Type of Completion: k (colloquium). Other types of completion: z (credit).

Teacher(s)

prof. RNDr. Antonín Kučera, Ph.D. (lecturer)
doc. RNDr. Tomáš Brázdil, Ph.D. (lecturer)
doc. RNDr. Vojtěch Řehák, Ph.D. (lecturer)
Dr. rer. nat. Achim Blumensath (lecturer)
doc. Mgr. Jan Obdržálek, PhD. (lecturer)
doc. RNDr. Petr Novotný, Ph.D. (lecturer)
RNDr. David Klaška (assistant)

Guaranteed by

prof. RNDr. Antonín Kučera, Ph.D.
Department of Computer Science – Faculty of Informatics
Supplier department: Department of Computer Science – Faculty of Informatics

Timetable of Seminar Groups

IV125/Log: Fri 14:00–15:50 C417, A. Blumensath
IV125/Cover: Thu 10:00–11:50 C417, T. Brázdil, V. Řehák
IV125/STFACSF: Thu 12:00–13:50 C417, T. Brázdil, P. Novotný

Prerequisites

SOUHLAS
The enrollment must be approved by a teacher of a seminar group.

Course Enrolment Limitations

The course is also offered to the students of the fields other than those the course is directly associated with.

fields of study / plans the course is directly associated with

there are 37 fields of study the course is directly associated with, display

Course objectives

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.

Learning outcomes

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.

Syllabus

• 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.

Teaching methods

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.

Assessment methods

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

Czech

Further comments (probably available only in Czech)

Study Materials
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).

Teacher's information

http://formela.fi.muni.cz/

IV125 Formela lab seminar

Extent and Intensity

0/2/0. 2 credit(s) (plus extra credits for completion). Recommended Type of Completion: k (colloquium). Other types of completion: z (credit).

Teacher(s)

Dr. rer. nat. Achim Blumensath (lecturer)
doc. RNDr. Tomáš Brázdil, Ph.D. (lecturer)
prof. RNDr. Antonín Kučera, Ph.D. (lecturer)
doc. RNDr. Petr Novotný, Ph.D. (lecturer)
doc. Mgr. Jan Obdržálek, PhD. (lecturer)
doc. RNDr. Vojtěch Řehák, Ph.D. (lecturer)

Guaranteed by

Dr. rer. nat. Achim Blumensath
Department of Computer Science – Faculty of Informatics
Supplier department: Department of Computer Science – Faculty of Informatics

Timetable of Seminar Groups

IV125/category_theory: No timetable has been entered into IS. J. Obdržálek
IV125/high_entropy: Fri 18. 2. to Fri 13. 5. Fri 12:00–13:50 C417, T. Brázdil, P. Novotný, V. Řehák

Prerequisites

SOUHLAS
The enrollment must be approved by a teacher of a seminar group.

Course Enrolment Limitations

The course is also offered to the students of the fields other than those the course is directly associated with.

fields of study / plans the course is directly associated with

there are 37 fields of study the course is directly associated with, display

Course objectives

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.

Learning outcomes

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.

Syllabus

• 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.

Teaching methods

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.

Assessment methods

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

Czech

Further comments (probably available only in Czech)

Study Materials
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).

Teacher's information

http://formela.fi.muni.cz/

IV125 Formela lab seminar

Extent and Intensity

0/2/0. 2 credit(s) (plus extra credits for completion). Recommended Type of Completion: k (colloquium). Other types of completion: z (credit).

Teacher(s)

prof. RNDr. Antonín Kučera, Ph.D. (lecturer)
doc. RNDr. Tomáš Brázdil, Ph.D. (lecturer)
doc. RNDr. Vojtěch Řehák, Ph.D. (lecturer)
doc. Mgr. Jan Obdržálek, PhD. (lecturer)
doc. RNDr. Petr Novotný, Ph.D. (lecturer)
Dr. rer. nat. Achim Blumensath (lecturer)
Mgr. Adam Kabela, Ph.D. (assistant)
RNDr. David Klaška (assistant)
RNDr. Bc. Dominik Velan, Ph.D. (assistant)

Guaranteed by

prof. RNDr. Antonín Kučera, Ph.D.
Department of Computer Science – Faculty of Informatics
Supplier department: Department of Computer Science – Faculty of Informatics

Timetable of Seminar Groups

IV125/Fourier: Thu 16. 9. to Thu 9. 12. Thu 10:00–11:50 C417, T. Brázdil, V. Řehák

Prerequisites

SOUHLAS
The enrollment must be approved by a teacher of a seminar group.

Course Enrolment Limitations

The course is also offered to the students of the fields other than those the course is directly associated with.

fields of study / plans the course is directly associated with

there are 37 fields of study the course is directly associated with, display

Course objectives

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.

Learning outcomes

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.

Syllabus

• 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.

Teaching methods

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.

Assessment methods

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

Czech

Further comments (probably available only in Czech)

Study Materials
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).

Teacher's information

http://formela.fi.muni.cz/

IV125 Formela lab seminar

Extent and Intensity

0/2/0. 2 credit(s) (plus extra credits for completion). Recommended Type of Completion: k (colloquium). Other types of completion: z (credit).

Teacher(s)

Dr. rer. nat. Achim Blumensath (lecturer)
doc. RNDr. Tomáš Brázdil, Ph.D. (lecturer)
prof. RNDr. Petr Hliněný, Ph.D. (lecturer)
prof. RNDr. Antonín Kučera, Ph.D. (lecturer)
doc. Mgr. Jan Obdržálek, PhD. (lecturer)
doc. RNDr. Vojtěch Řehák, Ph.D. (lecturer)

Guaranteed by

Dr. rer. nat. Achim Blumensath
Department of Computer Science – Faculty of Informatics
Supplier department: Department of Computer Science – Faculty of Informatics

Timetable of Seminar Groups

IV125/Log: No timetable has been entered into IS. A. Blumensath
IV125/GrGeom: No timetable has been entered into IS. P. Hliněný
IV125/ReinfLearn: Mon 8:00–9:50 Virtuální místnost, T. Brázdil, V. Řehák

Prerequisites

SOUHLAS
The enrollment must be approved by a teacher of a seminar group.

Course Enrolment Limitations

The course is also offered to the students of the fields other than those the course is directly associated with.

fields of study / plans the course is directly associated with

there are 37 fields of study the course is directly associated with, display

Course objectives

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.

Learning outcomes

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.

Syllabus

• 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.

Teaching methods

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.

Assessment methods

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

Czech

Further comments (probably available only in Czech)

Study Materials
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).

Teacher's information

http://formela.fi.muni.cz/

IV125 Formela lab seminar

Extent and Intensity

0/2/0. 2 credit(s) (plus extra credits for completion). Recommended Type of Completion: k (colloquium). Other types of completion: z (credit).

Teacher(s)

prof. RNDr. Antonín Kučera, Ph.D. (lecturer)
doc. RNDr. Tomáš Brázdil, Ph.D. (lecturer)
doc. RNDr. Vojtěch Řehák, Ph.D. (lecturer)
prof. RNDr. Petr Hliněný, Ph.D. (lecturer)
doc. Mgr. Jan Obdržálek, PhD. (lecturer)
doc. RNDr. Petr Novotný, Ph.D. (lecturer)
Dr. rer. nat. Achim Blumensath (lecturer)
Mgr. Adam Kabela, Ph.D. (assistant)
RNDr. David Klaška (assistant)
RNDr. Bc. Dominik Velan, Ph.D. (assistant)

Guaranteed by

prof. RNDr. Antonín Kučera, Ph.D.
Department of Computer Science – Faculty of Informatics
Supplier department: Department of Computer Science – Faculty of Informatics

Timetable of Seminar Groups

IV125/GrGeom: No timetable has been entered into IS. P. Hliněný
IV125/ReinfLearn: No timetable has been entered into IS. T. Brázdil, V. Řehák

Prerequisites

SOUHLAS
The enrollment must be approved by a teacher of a seminar group.

Course Enrolment Limitations

The course is also offered to the students of the fields other than those the course is directly associated with.

fields of study / plans the course is directly associated with

there are 37 fields of study the course is directly associated with, display

Course objectives

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.

Learning outcomes

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.

Syllabus

• 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.

Teaching methods

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.

Assessment methods

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

Czech

Further comments (probably available only in Czech)

Study Materials
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).

Teacher's information

http://formela.fi.muni.cz/

IV125 Formela lab seminar

Extent and Intensity

0/2/0. 2 credit(s) (plus extra credits for completion). Recommended Type of Completion: k (colloquium). Other types of completion: z (credit).

Teacher(s)

Dr. rer. nat. Achim Blumensath (lecturer)
doc. RNDr. Tomáš Brázdil, Ph.D. (lecturer)
prof. RNDr. Petr Hliněný, Ph.D. (lecturer)
prof. RNDr. Antonín Kučera, Ph.D. (lecturer)
doc. Mgr. Jan Obdržálek, PhD. (lecturer)
doc. RNDr. Vojtěch Řehák, Ph.D. (lecturer)

Guaranteed by

Dr. rer. nat. Achim Blumensath
Department of Computer Science – Faculty of Informatics
Supplier department: Department of Computer Science – Faculty of Informatics

Timetable of Seminar Groups

IV125/GrGeom: Mon 17. 2. to Fri 15. 5. Tue 10:00–11:50 C417, P. Hliněný
IV125/Log: Mon 17. 2. to Fri 15. 5. Mon 10:00–11:50 C417, A. Blumensath
IV125/ReinfLearn: Mon 17. 2. to Fri 15. 5. Wed 8:00–9:50 C417, T. Brázdil, V. Řehák
IV125/Stat: Thu 14:00–15:50 C417, T. Brázdil, V. Řehák

Prerequisites

SOUHLAS
The enrollment must be approved by a teacher of a seminar group.

Course Enrolment Limitations

The course is also offered to the students of the fields other than those the course is directly associated with.

fields of study / plans the course is directly associated with

there are 37 fields of study the course is directly associated with, display

Course objectives

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.

Learning outcomes

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.

Syllabus

• 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.

Teaching methods

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.

Assessment methods

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

Czech

Further comments (probably available only in Czech)

Study Materials
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).

Teacher's information

http://formela.fi.muni.cz/

IV125 Formela lab seminar

Extent and Intensity

0/2/0. 2 credit(s) (plus extra credits for completion). Recommended Type of Completion: k (colloquium). Other types of completion: z (credit).

Teacher(s)

prof. RNDr. Antonín Kučera, Ph.D. (lecturer)
doc. RNDr. Tomáš Brázdil, Ph.D. (lecturer)
doc. RNDr. Vojtěch Řehák, Ph.D. (lecturer)
prof. RNDr. Petr Hliněný, Ph.D. (lecturer)
doc. Mgr. Jan Obdržálek, PhD. (lecturer)
doc. RNDr. Petr Novotný, Ph.D. (lecturer)
Dr. rer. nat. Achim Blumensath (lecturer)
Mgr. Adam Kabela, Ph.D. (assistant)
RNDr. David Klaška (assistant)
RNDr. Bc. Dominik Velan, Ph.D. (assistant)

Guaranteed by

prof. RNDr. Antonín Kučera, Ph.D.
Department of Computer Science – Faculty of Informatics
Supplier department: Department of Computer Science – Faculty of Informatics

Timetable of Seminar Groups

IV125/GrGeom: Wed 10:00–11:50 C417, P. Hliněný, A. Kabela
IV125/Log: No timetable has been entered into IS. A. Blumensath
IV125/Prob: Wed 14:00–15:50 C417, T. Brázdil, D. Klaška, P. Novotný, D. Velan
IV125/ReinfLearn: No timetable has been entered into IS. T. Brázdil, P. Novotný
IV125/Stat: Mon 9:00–10:50 C417, T. Brázdil, V. Řehák

Prerequisites

SOUHLAS
The enrollment must be approved by a teacher of a seminar group.

Course Enrolment Limitations

The course is also offered to the students of the fields other than those the course is directly associated with.

fields of study / plans the course is directly associated with

there are 37 fields of study the course is directly associated with, display

Course objectives

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.

Learning outcomes

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.

Syllabus

• 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.

Teaching methods

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.

Assessment methods

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

Czech

Further comments (probably available only in Czech)

Study Materials
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).

Teacher's information

http://formela.fi.muni.cz/

IV125 Formela lab seminar

Extent and Intensity

0/2/0. 2 credit(s) (plus extra credits for completion). Recommended Type of Completion: k (colloquium). Other types of completion: z (credit).

Teacher(s)

Dr. rer. nat. Achim Blumensath (lecturer)
doc. RNDr. Tomáš Brázdil, Ph.D. (lecturer)
prof. RNDr. Petr Hliněný, Ph.D. (lecturer)
prof. RNDr. Antonín Kučera, Ph.D. (lecturer)
doc. Mgr. Jan Obdržálek, PhD. (lecturer)
doc. RNDr. Vojtěch Řehák, Ph.D. (lecturer)

Guaranteed by

prof. RNDr. Mojmír Křetínský, CSc.
Department of Computer Science – Faculty of Informatics
Supplier department: Department of Computer Science – Faculty of Informatics

Timetable of Seminar Groups

IV125/GrGeom: Wed 10:00–11:50 C417, P. Hliněný
IV125/Log: Mon 16:00–17:50 C417, A. Blumensath
IV125/Stat: Tue 19. 2. to Tue 14. 5. Tue 8:00–9:50 C417, T. Brázdil, V. Řehák

Prerequisites

SOUHLAS
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.

Course objectives

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.

Learning outcomes

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.

Syllabus

• 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.

Teaching methods

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.

Assessment methods

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

Czech

Further comments (probably available only in Czech)

Study Materials
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).

Teacher's information

http://formela.fi.muni.cz/

IV125 Formela lab seminar

Extent and Intensity

0/2/0. 2 credit(s) (plus extra credits for completion). Recommended Type of Completion: k (colloquium). Other types of completion: z (credit).

Teacher(s)

prof. RNDr. Antonín Kučera, Ph.D. (lecturer)
doc. RNDr. Tomáš Brázdil, Ph.D. (lecturer)
doc. RNDr. Vojtěch Řehák, Ph.D. (lecturer)
prof. RNDr. Petr Hliněný, Ph.D. (lecturer)
doc. Mgr. Jan Obdržálek, PhD. (lecturer)
Dr. rer. nat. Achim Blumensath (lecturer)
RNDr. Martin Jonáš, Ph.D. (seminar tutor)
Bodhayan Roy, Ph.D. (seminar tutor)

Guaranteed by

prof. RNDr. Mojmír Křetínský, CSc.
Department of Computer Science – Faculty of Informatics
Supplier department: Department of Computer Science – Faculty of Informatics

Timetable of Seminar Groups

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, P. Hliněný, B. Roy
IV125/Stat: Thu 14:00–15:50 C417, T. Brázdil, V. Řehák

Prerequisites

SOUHLAS
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.

Course objectives

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.

Learning outcomes

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.

Syllabus

• 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.

Teaching methods

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.

Assessment methods

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

Czech

Further comments (probably available only in Czech)

Study Materials
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).

Teacher's information

http://formela.fi.muni.cz/

IV125 Formela lab seminar

Extent and Intensity

0/2/0. 2 credit(s) (plus extra credits for completion). Recommended Type of Completion: k (colloquium). Other types of completion: z (credit).

Teacher(s)

Dr. rer. nat. Achim Blumensath (lecturer)
doc. RNDr. Tomáš Brázdil, Ph.D. (lecturer)
prof. RNDr. Petr Hliněný, Ph.D. (lecturer)
prof. RNDr. Antonín Kučera, Ph.D. (lecturer)
doc. Mgr. Jan Obdržálek, PhD. (lecturer)
Bodhayan Roy, Ph.D. (lecturer)
doc. RNDr. Vojtěch Řehák, Ph.D. (lecturer)

Guaranteed by

prof. RNDr. Mojmír Křetínský, CSc.
Department of Computer Science – Faculty of Informatics
Supplier department: Department of Computer Science – Faculty of Informatics

Timetable of Seminar Groups

IV125/Log: No timetable has been entered into IS. A. Blumensath
IV125/Coq: Fri 13:00–14:50 C417, J. Obdržálek
IV125/GeomGr: Fri 12:00–13:50 C416, P. Hliněný, B. Roy
IV125/LearnMDP: Thu 10:00–11:50 C417, T. Brázdil, V. Řehák

Prerequisites

SOUHLAS
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.

Course objectives

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.

Learning outcomes

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.

Syllabus

• 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.

Teaching methods

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.

Assessment methods

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

Czech

Further comments (probably available only in Czech)

Study Materials
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).

Teacher's information

http://formela.fi.muni.cz/

IV125 Formela lab seminar

Extent and Intensity

0/2/0. 2 credit(s) (plus extra credits for completion). Recommended Type of Completion: k (colloquium). Other types of completion: z (credit).

Teacher(s)

prof. RNDr. Antonín Kučera, Ph.D. (lecturer)
doc. RNDr. Tomáš Brázdil, Ph.D. (lecturer)
doc. RNDr. Vojtěch Řehák, Ph.D. (lecturer)
prof. RNDr. Petr Hliněný, Ph.D. (lecturer)
doc. Mgr. Jan Obdržálek, PhD. (lecturer)
Dr. rer. nat. Achim Blumensath (lecturer)

Guaranteed by

prof. RNDr. Mojmír Křetínský, CSc.
Department of Computer Science – Faculty of Informatics
Supplier department: Department of Computer Science – Faculty of Informatics

Timetable of Seminar Groups

IV125/ReinfLearn: Fri 10:00–11:50 C417, T. Brázdil, V. Řehák
IV125/Log: No timetable has been entered into IS. A. Blumensath

Prerequisites

SOUHLAS
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.

Course objectives

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.

Learning outcomes

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.

Syllabus

• 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.

Teaching methods

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.

Assessment methods

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

Czech

Further comments (probably available only in Czech)

Study Materials
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).

Teacher's information

http://formela.fi.muni.cz/

IV125 Formela lab seminar

Extent and Intensity

0/2/0. 2 credit(s) (plus extra credits for completion). Recommended Type of Completion: k (colloquium). Other types of completion: z (credit).

Teacher(s)

Dr. rer. nat. Achim Blumensath (lecturer)
doc. RNDr. Tomáš Brázdil, Ph.D. (lecturer)
prof. RNDr. Petr Hliněný, Ph.D. (lecturer)
prof. RNDr. Antonín Kučera, Ph.D. (lecturer)
doc. Mgr. Jan Obdržálek, PhD. (lecturer)
doc. RNDr. Vojtěch Řehák, Ph.D. (lecturer)

Guaranteed by

prof. RNDr. Mojmír Křetínský, CSc.
Department of Computer Science – Faculty of Informatics
Supplier department: Department of Computer Science – Faculty of Informatics

Timetable of Seminar Groups

IV125/Deep_learning: Fri 10:00–11:50 C417, T. Brázdil
IV125/Graph_Log: Thu 8:00–9:50 C417, P. Hliněný, J. Obdržálek
IV125/Logic: Tue 8:00–9:50 C417, A. Blumensath

Prerequisites (in Czech)

SOUHLAS
Slovně stanoveny jednotlivými seminárními skupinami, souhlas vyčujícího nutný.

Course Enrolment Limitations

The course is offered to students of any study field.

Course objectives (in Czech)

Absolvováním tohoto kurzu student získá hluboký náhled do příslušné partie teoretické informatiky či matematiky (v závislosti na zvolené seminární skupině), bude schopný samostatně prezentovat určenou odbornou látku a řešit s ní související výzkumné problémy.

Syllabus (in Czech)

• Týmové studium či týmový výzkumný projekt.
• Studenti si na začátku semestru vyberou z nabízených témat/projektů.
• Na pravidelných týdenních seminářích vyučující (případně vybraný student) vysvětluje předmětnou tématiku.
• Na určených seminářích studenti referují o svém postupu a výsledcích, je jim poskytnuta zpětná vazba.
• Na závěrečném semináři je provedeno celkové zhodnocení.

Teaching methods (in Czech)

Seminář zaměřený na týmové studium zadané látky, na vlastní výzkum a prezentaci výsledků. Děleno do tematicky zaměřených seminárních skupin, každé s vlastním vyučujícím.

Assessment methods (in Czech)

Studenti jsou hodnoceni za aktivitu na seminářích, za kvalitu dosažených výsledků a způsob a kvalitu jejich prezentace před svými vrstevníky.

Language of instruction

Czech

Further comments (probably available only in Czech)

Study Materials
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).

Teacher's information

http://formela.fi.muni.cz/

IV125 Formela lab seminar

Extent and Intensity

0/2/0. 2 credit(s) (plus extra credits for completion). Recommended Type of Completion: k (colloquium). Other types of completion: z (credit).

Teacher(s)

prof. RNDr. Antonín Kučera, Ph.D. (lecturer)
doc. RNDr. Tomáš Brázdil, Ph.D. (lecturer)
doc. RNDr. Vojtěch Řehák, Ph.D. (lecturer)
prof. RNDr. Petr Hliněný, Ph.D. (lecturer)
doc. Mgr. Jan Obdržálek, PhD. (lecturer)

Guaranteed by

prof. RNDr. Mojmír Křetínský, CSc.
Department of Computer Science – Faculty of Informatics
Supplier department: Department of Computer Science – Faculty of Informatics

Timetable of Seminar Groups

IV125/Cont_Time_MC: Tue 12:00–13:50 C417, A. Kučera, V. Řehák
IV125/Deep_learning: Wed 8:00–9:50 C417, T. Brázdil
IV125/Geometry: Fri 12:00–13:50 C417, P. Hliněný
IV125/Mixing_in_MC: Tue 9:30–11:20 C417, T. Brázdil, V. Řehák

Prerequisites (in Czech)

SOUHLAS
Slovně stanoveny jednotlivými seminárními skupinami, souhlas vyčujícího nutný.

Course Enrolment Limitations

The course is offered to students of any study field.

Course objectives (in Czech)

Absolvováním tohoto kurzu student získá hluboký náhled do příslušné partie teoretické informatiky či matematiky (v závislosti na zvolené seminární skupině), bude schopný samostatně prezentovat určenou odbornou látku a řešit s ní související výzkumné problémy.

Syllabus (in Czech)

• Týmové studium či týmový výzkumný projekt.
• Studenti si na začátku semestru vyberou z nabízených témat/projektů.
• Na pravidelných týdenních seminářích vyučující (případně vybraný student) vysvětluje předmětnou tématiku.
• Na určených seminářích studenti referují o svém postupu a výsledcích, je jim poskytnuta zpětná vazba.
• Na závěrečném semináři je provedeno celkové zhodnocení.

Teaching methods (in Czech)

Seminář zaměřený na týmové studium zadané látky, na vlastní výzkum a prezentaci výsledků. Děleno do tematicky zaměřených seminárních skupin, každé s vlastním vyučujícím.

Assessment methods (in Czech)

Studenti jsou hodnoceni za aktivitu na seminářích, za kvalitu dosažených výsledků a způsob a kvalitu jejich prezentace před svými vrstevníky.

Language of instruction

Czech

Further comments (probably available only in Czech)

Study Materials
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).

Teacher's information

http://formela.fi.muni.cz/

IV125 Formela lab seminar

Extent and Intensity

0/2/0. 2 credit(s) (plus extra credits for completion). Recommended Type of Completion: k (colloquium). Other types of completion: z (credit).

Teacher(s)

Dr. rer. nat. Achim Blumensath (seminar tutor)
doc. RNDr. Tomáš Brázdil, Ph.D. (seminar tutor)
prof. RNDr. Petr Hliněný, Ph.D. (seminar tutor)
prof. RNDr. Antonín Kučera, Ph.D. (seminar tutor)
doc. Mgr. Jan Obdržálek, PhD. (seminar tutor)
doc. RNDr. Vojtěch Řehák, Ph.D. (seminar tutor)

Guaranteed by

prof. RNDr. Mojmír Křetínský, CSc.
Department of Computer Science – Faculty of Informatics
Supplier department: Department of Computer Science – Faculty of Informatics

Timetable of Seminar Groups

IV125/Graphs: Tue 12:00–13:50 C417, P. Hliněný
IV125/MarkovChains: Wed 14:00–15:50 C417, T. Brázdil, A. Kučera, V. Řehák
IV125/Measure: Tue 14:00–15:50 C417, T. Brázdil, V. Řehák
IV125/ModelTh: No timetable has been entered into IS. A. Blumensath

Prerequisites (in Czech)

SOUHLAS
Slovně stanoveny jednotlivými seminárními skupinami, souhlas vyčujícího nutný.

Course Enrolment Limitations

The course is offered to students of any study field.

Course objectives (in Czech)

Absolvováním tohoto kurzu student získá hluboký náhled do příslušné partie teoretické informatiky či matematiky (v závislosti na zvolené seminární skupině), bude schopný samostatně prezentovat určenou odbornou látku a řešit s ní související výzkumné problémy.

Syllabus (in Czech)

• Týmové studium či týmový výzkumný projekt.
• Studenti si na začátku semestru vyberou z nabízených témat/projektů.
• Na pravidelných týdenních seminářích vyučující (případně vybraný student) vysvětluje předmětnou tématiku.
• Na určených seminářích studenti referují o svém postupu a výsledcích, je jim poskytnuta zpětná vazba.
• Na závěrečném semináři je provedeno celkové zhodnocení.

Teaching methods (in Czech)

Seminář zaměřený na týmové studium zadané látky, na vlastní výzkum a prezentaci výsledků. Děleno do tematicky zaměřených seminárních skupin, každé s vlastním vyučujícím.

Assessment methods (in Czech)

Studenti jsou hodnoceni za aktivitu na seminářích, za kvalitu dosažených výsledků a způsob a kvalitu jejich prezentace před svými vrstevníky.

Language of instruction

Czech

Further comments (probably available only in Czech)

Study Materials
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).

Teacher's information

http://formela.fi.muni.cz/

IV125 Formela lab seminar

Extent and Intensity

0/2/0. 2 credit(s) (plus extra credits for completion). Recommended Type of Completion: k (colloquium). Other types of completion: z (credit).

Teacher(s)

prof. RNDr. Antonín Kučera, Ph.D. (lecturer)
doc. RNDr. Tomáš Brázdil, Ph.D. (lecturer)
doc. RNDr. Vojtěch Řehák, Ph.D. (lecturer)
prof. RNDr. Petr Hliněný, Ph.D. (lecturer)
doc. Mgr. Jan Obdržálek, PhD. (lecturer)

Guaranteed by

prof. RNDr. Mojmír Křetínský, CSc.
Department of Computer Science – Faculty of Informatics
Supplier department: Department of Computer Science – Faculty of Informatics

Timetable of Seminar Groups

IV125/Measure_theory: Mon 10:00–11:50 C417, T. Brázdil, A. Kučera, V. Řehák
IV125/POMDP: Wed 14:00–15:50 C417, T. Brázdil, A. Kučera, V. Řehák

Prerequisites (in Czech)

SOUHLAS
Slovně stanoveny jednotlivými seminárními skupinami, souhlas vyčujícího nutný.

Course Enrolment Limitations

The course is offered to students of any study field.

Course objectives (in Czech)

Absolvováním tohoto kurzu student získá hluboký náhled do příslušné partie teoretické informatiky či matematiky (v závislosti na zvolené seminární skupině), bude schopný samostatně prezentovat určenou odbornou látku a řešit s ní související výzkumné problémy.

Syllabus (in Czech)

• Týmové studium či týmový výzkumný projekt.
• Studenti si na začátku semestru vyberou z nabízených témat/projektů.
• Na pravidelných týdenních seminářích vyučující (případně vybraný student) vysvětluje předmětnou tématiku.
• Na určených seminářích studenti referují o svém postupu a výsledcích, je jim poskytnuta zpětná vazba.
• Na závěrečném semináři je provedeno celkové zhodnocení.

Teaching methods (in Czech)

Seminář zaměřený na týmové studium zadané látky, na vlastní výzkum a prezentaci výsledků. Děleno do tematicky zaměřených seminárních skupin, každé s vlastním vyučujícím.

Assessment methods (in Czech)

Studenti jsou hodnoceni za aktivitu na seminářích, za kvalitu dosažených výsledků a způsob a kvalitu jejich prezentace před svými vrstevníky.

Language of instruction

Czech

Further comments (probably available only in Czech)

Study Materials
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).

Teacher's information

http://formela.fi.muni.cz/

IV125 Formela lab seminar

Extent and Intensity

0/2/0. 2 credit(s) (plus extra credits for completion). Recommended Type of Completion: k (colloquium). Other types of completion: z (credit).

Teacher(s)

doc. RNDr. Tomáš Brázdil, Ph.D. (seminar tutor)
prof. RNDr. Petr Hliněný, Ph.D. (seminar tutor)
prof. RNDr. Antonín Kučera, Ph.D. (seminar tutor)
doc. Mgr. Jan Obdržálek, PhD. (seminar tutor)
doc. RNDr. Vojtěch Řehák, Ph.D. (seminar tutor)

Guaranteed by

prof. RNDr. Mojmír Křetínský, CSc.
Department of Computer Science – Faculty of Informatics
Supplier department: Department of Computer Science – Faculty of Informatics

Timetable of Seminar Groups

IV125/Inf_state_games: Mon 10:00–11:50 C417, T. Brázdil, A. Kučera, V. Řehák
IV125/Graphs: Fri 10:00–11:50 C417, P. Hliněný, J. Obdržálek
IV125/Measure_theory: Wed 14:00–15:50 C417, T. Brázdil, V. Řehák

Prerequisites (in Czech)

SOUHLAS
Slovně stanoveny jednotlivými seminárními skupinami, souhlas vyčujícího nutný.

Course Enrolment Limitations

The course is offered to students of any study field.

Course objectives (in Czech)

Absolvováním tohoto kurzu student získá hluboký náhled do příslušné partie teoretické informatiky či matematiky (v závislosti na zvolené seminární skupině), bude schopný samostatně prezentovat určenou odbornou látku a řešit s ní související výzkumné problémy.

Syllabus (in Czech)

• Týmové studium či týmový výzkumný projekt.
• Studenti si na začátku semestru vyberou z nabízených témat/projektů.
• Na pravidelných týdenních seminářích vyučující (případně vybraný student) vysvětluje předmětnou tématiku.
• Na určených seminářích studenti referují o svém postupu a výsledcích, je jim poskytnuta zpětná vazba.
• Na závěrečném semináři je provedeno celkové zhodnocení.

Teaching methods (in Czech)

Seminář zaměřený na týmové studium zadané látky, na vlastní výzkum a prezentaci výsledků. Děleno do tematicky zaměřených seminárních skupin, každé s vlastním vyučujícím.

Assessment methods (in Czech)

Studenti jsou hodnoceni za aktivitu na seminářích, za kvalitu dosažených výsledků a způsob a kvalitu jejich prezentace před svými vrstevníky.

Language of instruction

Czech

Further comments (probably available only in Czech)

Study Materials
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).

Teacher's information

http://formela.fi.muni.cz/

IV125 Formela lab seminar

Extent and Intensity

0/2/0. 2 credit(s) (plus extra credits for completion). Recommended Type of Completion: k (colloquium). Other types of completion: z (credit).

Teacher(s)

prof. RNDr. Antonín Kučera, Ph.D. (lecturer)
doc. RNDr. Tomáš Brázdil, Ph.D. (seminar tutor)
doc. RNDr. Vojtěch Řehák, Ph.D. (seminar tutor)

Guaranteed by

prof. RNDr. Mojmír Křetínský, CSc.
Department of Computer Science – Faculty of Informatics
Supplier department: Department of Computer Science – Faculty of Informatics

Timetable of Seminar Groups

IV125/Graphical_models: Mon 13:00–14:50 C417, T. Brázdil, V. Řehák
IV125/Queues: Mon 15:00–16:50 C417, V. Řehák
IV125/Patrolling_games: Wed 8:00–9:50 C417, T. Brázdil, A. Kučera, V. Řehák

Prerequisites (in Czech)

SOUHLAS
Slovně stanoveny jednotlivými seminárními skupinami, souhlas vyčujícího nutný.

Course Enrolment Limitations

The course is offered to students of any study field.

Course objectives (in Czech)

Absolvováním tohoto kurzu student získá hluboký náhled do příslušné partie teoretické informatiky či matematiky (v závislosti na zvolené seminární skupině), bude schopný samostatně prezentovat určenou odbornou látku a řešit s ní související výzkumné problémy.

Syllabus (in Czech)

• Týmové studium či týmový výzkumný projekt.
• Studenti si na začátku semestru vyberou z nabízených témat/projektů.
• Na pravidelných týdenních seminářích vyučující (případně vybraný student) vysvětluje předmětnou tématiku.
• Na určených seminářích studenti referují o svém postupu a výsledcích, je jim poskytnuta zpětná vazba.
• Na závěrečném semináři je provedeno celkové zhodnocení.

Teaching methods (in Czech)

Seminář zaměřený na týmové studium zadané látky, na vlastní výzkum a prezentaci výsledků. Děleno do tematicky zaměřených seminárních skupin, každé s vlastním vyučujícím.

Assessment methods (in Czech)

Studenti jsou hodnoceni za aktivitu na seminářích, za kvalitu dosažených výsledků a způsob a kvalitu jejich prezentace před svými vrstevníky.

Language of instruction

Czech

Further comments (probably available only in Czech)

Study Materials
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).

Teacher's information

http://formela.fi.muni.cz/

• Enrolment Statistics (Autumn 2024, recent)