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

Anotace

čeština

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

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

angličtina

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

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

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

čeština

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

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

angličtina

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

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

Sylabus

čeština

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)

angličtina

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

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