Anotace
Zimní semestr je věnovaný nemonotonním logikám. je zakončený zkouškou a vede ho Michal Peliš. Bližší informace lze nalézt na stránkách vyučujícího.
Letní semestr je věnovaný logickému programování obecně a programovacímu jazyku Prolog, je zakončený zápočtem. Zápočet spočívá ve vypracování zápočtového programu na téma, které si student sám zvolí po konzultaci s vyučujícím.