Seminar of Applied Mathematical Logic - ALG500011

• Title: Seminář aplikované matematické logiky
• Guaranteed by: Department of Logic (21-KLOG)
• Faculty: Faculty of Arts
• Actual: from 2022
• Semester: winter
• Points: 0
• E-Credits: 6
• Examination process: winter s.:
• Hours per week, examination: winter s.:2/0, --- [HT]; summer s.:2/0, Ex [HT]
• Capacity: winter:unlimited / unknown (unknown); summer:unlimited / unknown (unknown)
• Min. number of students: unlimited
• 4EU+: no
• Virtual mobility / capacity: no
• State of the course: taught
• Language: Czech
• Teaching methods: full-time
• Teaching methods: full-time
• Additional information: http://www.cs.cas.cz/logics/seminar.html
• Note: course can be enrolled in outside the study plan; enabled for web enrollment
• Guarantor: Mgr. Marta Bílková, Ph.D.; Mgr. Igor Sedlár
• Teacher(s): Mgr. Marta Bílková, Ph.D.; Mgr. Igor Sedlár

Annotation

Last update: Mgr. Šárka Stejskalová, Ph.D. (29.01.2021)

The Seminar on Applied Mathematical Logic (a.k.a. the Hájek Seminar) usually takes place on Wednesdays 4pm in the lecture room 318 of the Institute of Computer Science (Pod Vodárenskou věží 2, Prague 8. See the map). The seminar hosts talks on recent work in mathematical logic and applications by members of the Prague logic community and guests.

Course completion requirements

Last update: Mgr. Šárka Stejskalová, Ph.D. (20.01.2023)

- aktívna účasť (min 50% seminárov v danom semestri)
- prezentácia (prezentácia vybranej témy, môže byť rozpracovaná magisterská práca, 30-60 min)