Seminář aplikované matematické logiky - ALG500011

• Anglický název: Seminar of Applied Mathematical Logic
• Zajišťuje: Katedra logiky (21-KLOG)
• Fakulta: Filozofická fakulta
• Platnost: od 2022
• 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í:neomezen / neurčen (neurčen)
• 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: čeština
• Způsob výuky: prezenční
• Způsob výuky: prezenční
• Další informace: http://www.cs.cas.cz/logics/seminar.html
• Poznámka: předmět je možno zapsat mimo plán; povolen pro zápis po webu
• Garant: Mgr. Marta Bílková, Ph.D.; Mgr. Igor Sedlár
• Vyučující: Mgr. Marta Bílková, Ph.D.; Mgr. Igor Sedlár

Anotace

Poslední úprava: 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.

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

Poslední úprava: 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)