IV125 Formela lab seminar

Faculty of Informatics
Autumn 2023
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/
The course is also listed under the following terms Autumn 2014, Spring 2015, Autumn 2015, Spring 2016, Autumn 2016, Spring 2017, Autumn 2017, Spring 2018, Autumn 2018, Spring 2019, Autumn 2019, Spring 2020, Autumn 2020, Spring 2021, Autumn 2021, Spring 2022, Autumn 2022, Spring 2023, Spring 2024, Autumn 2024, Spring 2025.
  • Enrolment Statistics (Autumn 2023, recent)
  • Permalink: https://is.muni.cz/course/fi/autumn2023/IV125