Referativní seminář ze substrukturálních logik - NLTM038

• Anglický název: Referative seminar on substructural logics
• Zajišťuje: Informatický ústav Univerzity Karlovy (32-IUUK)
• Fakulta: Matematicko-fyzikální fakulta
• Platnost: od 2014 do 2017
• Semestr: letní
• E-Kredity: 3
• Rozsah, examinace: letní 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: nevyučován
• Jazyk výuky: čeština
• Způsob výuky: prezenční
• Způsob výuky: prezenční
• Garant: doc. Ing. Petr Cintula, Ph.D.
• Třída: Informatika Mgr. - volitelný
• Kategorizace předmětu: Informatika > Teoretická informatika

Anotace

čeština

Poslední úprava: IUUK (21.03.2013)

Seminář o pokročilejších aktuálních tématech z oblasti substrukturálních logik, pojatý referativní formou, s event. účastí domácích i zahraničních odborníků z oboru a možností aktivního zapojení účastníků semináře. Část výuky může probíhat v anglickém jazyce. Předpokládá se základní znalost substukturálních logik.

angličtina

Poslední úprava: IUUK (04.04.2013)

Seminar on advanced current topics related to substructural logics, organised as individual presentations, with possible guest talks by Czech and foreign experts, and with opportunities for active involvement by participants. May be partly taught in English. Basic familiarity with substructural logics is assumed.

Literatura

čeština

Poslední úprava: IUUK (21.03.2013)

Studijní literatura bude upřesněna při zahájení semináře.

angličtina

Poslední úprava: IUUK (21.03.2013)

Literature will be specified at the beginning of the seminar.

Sylabus

čeština

Poslední úprava: IUUK (21.03.2013)

Referáty aktuálních témat z oboru.

angličtina

Poslední úprava: IUUK (04.04.2013)

Presentations on current topics in the field.