Seminar on Logic I - NAIL056
Title in English: Logický seminář I
Guaranteed by: Department of Algebra (32-KA)
Faculty: Faculty of Mathematics and Physics
Actual: from 2016
Semester: winter
E-Credits: 3
Hours per week, examination: winter s.:0/2 C [hours/week]
Capacity: unlimited
Min. number of students: unlimited
State of the course: taught
Language: English
Teaching methods: full-time
Additional information:[value][year]=0
Note: you can enroll for the course repeatedly
Guarantor: prof. RNDr. Jan Krajíček, DrSc.
Neil Thapen
Class: Informatika Mgr. - volitelný
Classification: Informatics > Theoretical Computer Science
Opinion survey results   Examination dates   Schedule   Noticeboard   
Annotation -
Last update: prof. RNDr. Jan Krajíček, DrSc. (13.02.2007)
Research seminar in mathematical logic. Suitable for doctoral students and researchers.
Course completion requirements
Last update: prof. RNDr. Jan Krajíček, DrSc. (07.10.2017)

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

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

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