Inovace předmětů Funkcionální a logické programování a Postrelační databáze

funkcionální jazyky, logické jazyky, paralelní zpracování, temporální/časové databáze, deduktivní databáze

Cílem projektu je vybudovat do zmiňovaných předmětů dedikovaný server, který by zejména sloužil pro demonstraci paralelismů ve funkcionálním/logickém programování, pro postrelační databáze se potom jedná o instalaci systémů temporálních a deduktivních umožňující plné nasazení ve cvičení a pro řešení studentských projektů v rámci daného předmětu.