Seminar code: NMMB453 (both semesters)
(you can sign up for the seminar repeatedly)
The seminar is run in English if students
not speaking Czech
attend, as happened many semesters during the past.
The seminar is intended for students interested in mathematical
logic. It does not assume more than basic knowledge, e.g. on
the level of basic course
Uvod do matematicke logiky
(taking that particular course is not a necessary
admission condition though).
The seminar runs from the summer semester 06/07.
Students are welcome to attend also a more advanced
Logic seminar.
In every semester we concentrate on a different theme
and it is generally not assumed that you have attended earlier
semesters (there were some exceptions when the topic from one
semester over-spilled into the next one).
The themes are chosen in a discussion with the participants
in order to respect their backgrounds and interests, and
often relate to the area of interactions of logic and
computational complexity theory.
The main program is complemented by occasional lectures by guests.
Summer semester 2020/21:
The topic will be decided by the seminar participants at the first
meeting. Do not hesitate to write me and suggest topics.
Day, time and place:
If you are interested to participate in the seminar,
please make sure that you preliminarily sign up for it in the SIS
at least ten days before the semester starts:
I will schedule the seminar during the last pre-semester week
via email using the list in the SIS. (If you do not have an access to
the SIS, send me an email.)
The scheduling committee may assign it to some day and time
in the SIS before we discuss it but ignore that - we can change it.
Web:
http://www.karlin.mff.cuni.cz/~krajicek/babylogika.html