4. ročník
Zimní semestr
Diplomový seminář 1
(
Zápočet
)
Teoretická informatika 1
(
Zápočet Zkouška
)
Antonín Sochor -
Klasická matematická logika
Petr Jirků a Jiřina Vejnarová -
Logika
- Neformální výklad základů formální logiky
Logika
- základní kurs logiky, výroková a predikátová logika, aj.
Matematická logika
- výroková a predikátová logika, formální systémy
Počítačová geometrie 2
(
Zápočet Zkouška
)
Výučba počítačovej grafiky
grdemo
- demonstrace několika algoritmů počítačové grafiky
(kreslení úsečky, vyplňování polygonu, ořezávání úseček,
viditelnost polygonu) -
Zápočtová úloha
Aplikace informačních systémů 1
(
Zápočet Nepovinné
)
Letní semestr
Diplomový seminář 2
(
Zápočet
)
Projektový seminář 6
(
Zápočet
)
Kódování 2
(
Zápočet Zkouška
)
Překladače
(
Zápočet Zkouška
)
mikroc
- jednoduchý překladač jazyka MikroC -
Zápočtová úloha
Aplikace informačních systémů 2
(
Kolokvium Nepovinné
)
Znalostní systémy
(
Kolokvium Nepovinné
)
Program a grafy
pro
kolokviální úlohu z konceptuální
analýzy dat (počet konceptů v závislosti na velikosti kontextu)
(C++, Gnuplot data & script > tar.gz; 53,6 kB)