Students' Seminar on Logic - NMMB453

• Title: Studentský logický seminář
• Form of teaching: seminar
• Guaranteed by: Department of Algebra (32-KA)
• Faculty: Faculty of Mathematics and Physics
• Actual: from 2023 to 2025
• Duration in semesters: 1
• Semester: both
• E-Credits: 2
• Hours per week, examination: 0/2, C [HT]
• Capacity: unlimited
• Maximum number of enrolled students: unlimited
• Min. number of students: unlimited
• 4EU+: no
• Virtual mobility / capacity: no
• State of the course: taught
• Language: English, Czech
• Teaching methods: full-time
• Additional information: http://www.karlin.mff.cuni.cz/~krajicek/babylogika.html
• Repeated enrollment: unlimited
• Note: you can enroll for the course in winter and in summer semester
• Guarantor: prof. RNDr. Jan Krajíček, DrSc.
• Teacher(s): Mgr. Ondřej Ježil, Ph.D.; prof. RNDr. Jan Krajíček, DrSc.; Mgr. Gabriel Krejčí; Mgr. Mykyta Narusevych; Mgr. Mavis Otrubová
• Class: M Mgr. MMIB; M Mgr. MMIB > Povinně volitelné
• Classification: Mathematics > Algebra, Discrete Mathematics
• Interchangeability : NALG050
• Is interchangeable with: NALG051, NALG050

Annotation

English

Seminar for students with an interest in mathematical logic.

Last update: T_KA (14.05.2013)

Czech

Seminář pro studenty se zájmem o matematickou logiku.

Last update: T_KA (14.05.2013)

Course completion requirements

English

One or more (depending on the number of participant) 90 min seminar presentations during the semester.

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

Czech

V závislosti na počtu účastníků jedna či více 90-ti minutových prezentací.

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

Syllabus

English

We study various parts of mathematical logic relevant to interests and background of its participants.

Last update: T_KA (14.05.2013)

Czech

Studujeme různé oblasti matematické logiky s ohledem na zájmy a znalosti účastníků semináře.

Last update: T_KA (14.05.2013)