Seminář aplikované matematické logiky - ALG500011

• Anglický název: Seminar of Applied Mathematical Logic
• Zajišťuje: Ústav filosofie a religionistiky (21-UFAR)
• Fakulta: Filozofická fakulta
• Platnost: od 2026
• Počet semestrů výuky: 2
• Semestr: zimní
• Body: 0
• E-Kredity: 6
• Způsob provedení zkoušky: zimní s.:
• Rozsah, examinace: zimní s.:2/0, --- [HT]; letní s.:2/0, Zk [HT]
• Počet míst: zimní:neomezen / neurčen (neurčen); letní:neurčen / neurčen (neurčen)
• Maximální kapacita předmětu: neomezen
• Minimální obsazenost: neomezen
• 4EU+: ne
• Virtuální mobilita / počet míst pro virtuální mobilitu: ne
• Stav předmětu: vyučován
• Jazyk výuky: angličtina
• Forma uskutečňování: prezenční
• Další informace: http://www.cs.cas.cz/logics/seminar.html
• Možnost opakovaného zápisu: 2 / 2 / 2 / 2
• Poznámka: předmět je možno zapsat mimo plán; povolen pro zápis po webu
• Garant: Mgr. Igor Sedlár, Ph.D.; RNDr. Zuzana Haniková, Ph.D.
• Vyučující: RNDr. Zuzana Haniková, Ph.D.; Mgr. Igor Sedlár, Ph.D.

Anotace

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.

Poslední úprava: Stejskalová Šárka, Mgr., Ph.D. (23.09.2026)

Podmínky zakončení předmětu

čeština

- 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)

Poslední úprava: Stejskalová Šárka, Mgr., Ph.D. (23.09.2026)

angličtina

- Active participation (minimum 50% attendance in seminars during the given semester)
- Presentation (presentation of a chosen topic, it can be a work-in-progress master's thesis, 30–60 minutes)

Poslední úprava: Stejskalová Šárka, Mgr., Ph.D. (23.09.2026)