Detail předmětu
Logické systémy
Garant předmětu
Jazyk výuky
česky
Zakončení
zkouška
Rozsah
Zajišťuje ústav
Ústav počítačových systémů (UPSY)