Seminar on Logic I - NAIL056
Title: Logický seminář I
Guaranteed by: Department of Algebra (32-KA)
Faculty: Faculty of Mathematics and Physics
Actual: from 2023
Semester: winter
E-Credits: 3
Hours per week, examination: winter s.:0/2, C [HT]
Capacity: unlimited
Min. number of students: unlimited
4EU+: no
Virtual mobility / capacity: no
State of the course: taught
Language: English
Teaching methods: full-time
Additional information: https://www.karlin.mff.cuni.cz/~krajicek/logika.html
Note: you can enroll for the course repeatedly
Guarantor: prof. RNDr. Jan Krajíček, DrSc.
Mgr. et Mgr. Emil Jeřábek, Dr., Ph.D.
Teacher(s): Mgr. et Mgr. Emil Jeřábek, Dr., Ph.D.
prof. RNDr. Jan Krajíček, DrSc.
Class: Informatika Mgr. - volitelný
Classification: Informatics > Theoretical Computer Science
Opinion survey results   Examination dates   WS schedule   Noticeboard   
Annotation -
Research seminar in mathematical logic. Suitable for doctoral students and researchers.
Last update: Krajíček Jan, prof. RNDr., DrSc. (13.02.2007)
Course completion requirements -

At least one seminar presentation (90 min) during the semester.

Last update: Krajíček Jan, prof. RNDr., DrSc. (07.10.2017)
Syllabus -

The seminar studies various parts of mathematical logic relevant to interests and of its participants.

Last update: Krajíček Jan, prof. RNDr., DrSc. (13.02.2007)