Logika a informace (jednosemestralni varianta)

Anotace

Kurz věnovaný základům logického programování; je předvedena Hornova logika jako druh deklarativního jazyka a logické programování je potom chápáno jako teorie logických programů.