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
• 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.
• Class: Informatika Mgr. - volitelný
• Classification: Informatics > Theoretical Computer Science

Annotation

English

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

Research seminar in mathematical logic. Suitable for doctoral students and researchers.

Czech

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

Pracovni seminar o matematicke logice. Vhodny pro doktorandy a badatele.

Course completion requirements

English

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

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

Czech

Last update: doc. Mgr. et Mgr. Jan Žemlička, Ph.D. (28.10.2019)

Alespoň jedna přednáška za semestr.

Syllabus

English

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.

Czech

Last update: T_KA (24.05.2008)

V semináři studujeme různé partie matematické logiky s ohledem na zájmy účastníků seminéře.