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

Annotation

English

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

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

Czech

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

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

Course completion requirements

English

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

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

Czech

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

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

Syllabus

English

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)

Czech

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

Last update: T_KA (24.05.2008)