Seminar for students interested in logic and its applications in computer science.
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.
Credit will be awarded for active participation in the seminar, including a presentation of assigned material.
The course is suitable for Bachelor students and above, no prerequisities are required beyond interest in logic and knowledge of the basics (e.g. the course NAIL062 P&P Logic).
If you are interested, please enroll in the SIS, or contact me or Petr Gregor with any questions.
The topics will be discussed at the beginning of the semester.