Přednášky předmětu FLP

Funkcionální programování

Přednášky proběhnou 21.2, 28.2, 7.3, 14.3, 21.3, 28.3 a 4.4.

V Prologovské části kurzu používáme materiály Simply Logical.

No.	Date	Topic
8.	11.4.	Prolog: fakta, pravidla, dotazy, rekurze
9.	18.4.	Funkce a operace se seznamy
10.	25.4.	Prolog a logika: klauzule, Herbrandova báze, interpretace, model, rozhodnutelnost
11.	9.5.	Řez a negace. Mimologické operátory, aritmetika
12a. 12b.	16.5.	Prohledávání v Prologu.
13.	23.5.	Induktivní uvažování v logice

Dvě ukázkové otázky ze zkoušky Prologu: ukazka_test_prolog.pdf