Selected topics in logic - NAIL140
Title: Vybrané partie z logiky
Guaranteed by: Department of Theoretical Computer Science and Mathematical Logic (32-KTIML)
Faculty: Faculty of Mathematics and Physics
Actual: from 2025
Semester: summer
E-Credits: 3
Hours per week, examination: summer s.:0/2, C [HT]
Capacity: unlimited
Min. number of students: unlimited
4EU+: no
Virtual mobility / capacity: no
State of the course: taught
Language: Czech
Teaching methods: full-time
Note: you can enroll for the course repeatedly
Guarantor: doc. Mgr. Petr Gregor, Ph.D.
RNDr. Jakub Bulín, Ph.D.
Teacher(s): RNDr. Jakub Bulín, Ph.D.
doc. Mgr. Petr Gregor, Ph.D.
Opinion survey results   Noticeboard   
Annotation -
Seminar for students interested in logic and its applications in computer science.
Last update: Hric Jan, RNDr. (19.05.2025)
Course completion requirements -

Credit will be awarded for active participation in the seminar, including a presentation of assigned material.

Last update: Hric Jan, RNDr. (19.05.2025)
Syllabus -

This is a referative seminar aimed at broadening and deepening knowledge in the field of logic and its applications in computer science. The seminar does not follow a fixed syllabus; the current topic is selected with regard to the participants' interests and developments in the field. The course is suitable for master's and doctoral students. Repeated enrollment is possible.

Last update: Hric Jan, RNDr. (19.05.2025)