Logický seminář I - NAIL056
Anglický název: Seminar on Logic I
Zajišťuje: Katedra algebry (32-KA)
Fakulta: Matematicko-fyzikální fakulta
Platnost: od 2023
Semestr: zimní
E-Kredity: 3
Rozsah, examinace: zimní s.:0/2, Z [HT]
Počet míst: 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
Způsob výuky: prezenční
Další informace: https://www.karlin.mff.cuni.cz/~krajicek/logika.html
Poznámka: předmět lze zapsat opakovaně
Garant: prof. RNDr. Jan Krajíček, DrSc.
Mgr. et Mgr. Emil Jeřábek, Dr., Ph.D.
Vyučující: Mgr. et Mgr. Emil Jeřábek, Dr., Ph.D.
prof. RNDr. Jan Krajíček, DrSc.
Třída: Informatika Mgr. - volitelný
Kategorizace předmětu: Informatika > Teoretická informatika
Výsledky anket   Termíny zkoušek   Rozvrh ZS   Nástěnka   
Anotace -
Pracovni seminar o matematicke logice. Vhodny pro doktorandy a badatele.
Poslední úprava: Krajíček Jan, prof. RNDr., DrSc. (13.02.2007)
Podmínky zakončení předmětu -

Alespoň jedna přednáška za semestr.

Poslední úprava: Žemlička Jan, doc. Mgr. et Mgr., Ph.D. (28.10.2019)
Sylabus -

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

Poslední úprava: T_KA (24.05.2008)