FPF:UIAI210 Úvod do logiky - Informace o předmětu

UIAI210 Úvod do logiky

Rozsah

Přednáška 6 HOD/SEM, Cvičení 6 HOD/SEM. 7 kr. Ukončení: zk.

Vyučující

doc. RNDr. Luděk Cienciala, Ph.D. (přednášející)

Garance

Mgr. Marek Menšík, Ph.D.
Ústav informatiky – Filozoficko-přírodovědecká fakulta v Opavě

Omezení zápisu do předmětu

Předmět je nabízen i studentům mimo mateřské obory.

Mateřské obory/plány

• Aplikovaná informatika (program FPF, B1802 AplI)

Cíle předmětu

Obsahem předmětu je výroková logika a predikátová logika prvího řádu.

Další komentáře

Předmět je dovoleno ukončit i mimo zkouškové období.

• Statistika zápisu (léto 2015, nejnovější)
  
• Permalink: https://is.slu.cz/predmet/fpf/leto2015/UIAI210