IV125 Formela lab seminar
Faculty of InformaticsSpring 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)
- 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
- Image Processing and Analysis (programme FI, N-VIZ)
- Bioinformatics and systems biology (programme FI, N-UIZD)
- Computer Games Development (programme FI, N-VIZ_A)
- Computer Graphics and Visualisation (programme FI, N-VIZ_A)
- Computer Networks and Communications (programme FI, N-PSKB_A)
- Cybersecurity Management (programme FI, N-RSSS_A)
- Discrete algorithms and models (programme FI, N-TEI)
- Formal analysis of computer systems (programme FI, N-TEI)
- Graphic design (programme FI, N-VIZ)
- Graphic Design (programme FI, N-VIZ_A)
- Hardware Systems (programme FI, N-PSKB_A)
- Hardware systems (programme FI, N-PSKB)
- Image Processing and Analysis (programme FI, N-VIZ_A)
- Information security (programme FI, N-PSKB)
- Informatics (programme FI, B-INF) (2)
- Informatics in education (programme FI, B-IVV) (2)
- Information Security (programme FI, N-PSKB_A)
- Quantum and Other Nonclassical Computational Models (programme FI, N-TEI)
- Computer graphics and visualisation (programme FI, N-VIZ)
- Computer Networks and Communications (programme FI, N-PSKB)
- Principles of programming languages (programme FI, N-TEI)
- Programming and development (programme FI, B-PVA)
- Cybersecurity management (programme FI, N-RSSS)
- Services development management (programme FI, N-RSSS)
- Software Systems Development Management (programme FI, N-RSSS)
- Services Development Management (programme FI, N-RSSS_A)
- Software Systems Development Management (programme FI, N-RSSS_A)
- Software Systems (programme FI, N-PSKB_A)
- Software systems (programme FI, N-PSKB)
- Machine learning and artificial intelligence (programme FI, N-UIZD)
- Teacher of Informatics and IT administrator (programme FI, N-UCI)
- Informatics for secondary school teachers (programme FI, N-UCI) (2)
- Computer Games Development (programme FI, N-VIZ)
- Processing and analysis of large-scale data (programme FI, N-UIZD)
- Natural language processing (programme FI, N-UIZD)
- 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/
- Enrolment Statistics (Spring 2023, recent)
- Permalink: https://is.muni.cz/course/fi/spring2023/IV125