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í
• 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.
• Třída: Informatika Mgr. - volitelný
• Kategorizace předmětu: Informatika > Teoretická informatika

Anotace

čeština

Poslední úprava: prof. RNDr. Jan Krajíček, DrSc. (13.02.2007)

Pracovni seminar o matematicke logice. Vhodny pro doktorandy a badatele.

angličtina

Poslední úprava: prof. RNDr. Jan Krajíček, DrSc. (13.02.2007)

Research seminar in mathematical logic. Suitable for doctoral students and researchers.

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

čeština

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

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

angličtina

Poslední úprava: prof. RNDr. Jan Krajíček, DrSc. (07.10.2017)

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

Sylabus

čeština

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.

angličtina

Poslední úprava: prof. RNDr. Jan Krajíček, DrSc. (13.02.2007)

The seminar studies various parts of mathematical logic relevant to interests and of its participants.