PředmětyPředměty(verze: 821)
Předmět, akademický rok 2017/2018
   Přihlásit přes CAS
Logický seminář I - NAIL056
Anglický název: Seminar on Logic I
Zajišťuje: Katedra algebry (32-KA)
Fakulta: Matematicko-fyzikální fakulta
Platnost: od 2016
Semestr: zimní
E-Kredity: 3
Rozsah, examinace: zimní s.:0/2 Z [hodiny/týden]
Počet míst: neomezen
Minimální obsazenost: neomezen
Stav předmětu: vyučován
Jazyk výuky: angličtina
Způsob výuky: prezenční
Další informace: https://calendar.math.cas.cz/logic-seminar?date_filter[value][year]=0
Poznámka: předmět lze zapsat opakovaně
Garant: prof. RNDr. Jan Krajíček, DrSc.
Dr. Neil Thapen
Třída: Informatika Mgr. - volitelný
Kategorizace předmětu: Informatika > Teoretická informatika
Anotace -
Poslední úprava: prof. RNDr. Jan Krajíček, DrSc. (13.02.2007)

Pracovni seminar o matematicke logice. Vhodny pro doktorandy a badatele.
Podmínky zakončení předmětu - angličtina
Poslední úprava: prof. RNDr. Jan Krajíček, DrSc. (07.10.2017)

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

Sylabus -
Poslední úprava: T_KA (24.05.2008)

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

 
Univerzita Karlova | Informační systém UK