Předmět dodá základní znalosti v oblasti programování aplikací umělé intelegence a poskytne úvod do alternativních programovacích jazyků. Symbolické a funkcionální programování bude vyučováno v programovacím jazyce Scheme (varianta Lispu) a Haskell. Logické programování bude vyučováno v programovacím jazyce Prolog, doplněné o krátký úvod do logického programováni s omezujícími podmínkami.
max 2 omluvené absence (v každé části jedna)
za každou část semestru (Scheme, Prolog) lze získat max 20 bodů, tj. 40 bodů celkem
Scheme
práce na cvičení, max. 5 bodů
semestrální práce je rozdělena na 3 bloky po 5 bodech
pozdní odevzdání bude bodově penalizováno
poslední blok semestrální práce musí být odevzdán
Prolog
test 8 bodů
3 domácí úlohy po 4 bodech
pozdní odevzdání bude bodově penalizováno
všechny části musí být odevzdány
v každé části musí student získat alespoň 10 bodů, tj. 50%
Za předmět je možno získat max. 100 bodů. 40 bodů za cvičení a 60 za zkouškovou písemku. Ze zkouškové písemky je nutné získat alespoň 50%, tj. 30 bodů.
Brian Harvey and Matthew Wright: Simply Scheme: Introducing Computer Science,
MIT Press, 1999
Bryan O'Sullivan, Don Stewart, and John Goerzen: Real World Haskell, Paperback: 700 pages, O'Reilly, November 2008, English, ISBN-10: 0596514980, ISBN-13: 978-0596514983
V. Mařík, O. Štěpánková, J. Lažanský a kol.: Umělá Inteligence (2). Academia, Praha, 1997
I. Bratko: PROLOG Programming for Artificial Intelligence, Addison-Wesley, 3nd Edition, 2001.