UIAI210 Úvod do logiky

Filozoficko-přírodovědecká fakulta v Opavě
léto 2015
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
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í.
Předmět je zařazen také v obdobích léto 2013, léto 2014, léto 2016, léto 2017, léto 2018, léto 2019, léto 2020, léto 2021, léto 2022, léto 2023.