UINA517 Selected Parts of Logic

Filozoficko-přírodovědecká fakulta v Opavě
zima 2023
Rozsah
2/2/0. 6 kr. Ukončení: zk.
Vyučující
Mgr. Marek Menšík, Ph.D. (přednášející)
RNDr. Radka Poláková, Ph.D. (přednášející)
Mgr. Marek Menšík, Ph.D. (cvičí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
Vyučovací jazyk
Angličtina
Předmět je zařazen také v obdobích zima 2021, zima 2022, zima 2024.