====== Přednášky předmětu FLP ======
( [[courses:a4b33flp:2015::start | domů]] | přednášky | [[courses:a4b33flp:2015:tutorials | cvičení]] | [[courses:a4b33flp:2015:assignments | úlohy]] )
===== Funkcionální programování =====
* [[courses:a4b33flp:2015:scheme|Scheme]]
* [[courses:a4b33flp:2015:haskell|Haskell]]
===== Logické programování =====
V Prologovské části kurzu používáme materiály {{https://www.cs.bris.ac.uk/~flach/SimplyLogical.html| Simply Logical}}.
^ No. ^ Date ^ Topic ^
^ {{http://www.cs.bris.ac.uk/~flach/SL/slides/SLchapter1.pdf|8.}} ^ //12.4.// | Prolog: fakta, pravidla, dotazy, rekurze|
^ {{http://www.cs.bris.ac.uk/~flach/SL/slides/SLchapter1.pdf|9.}} ^ //19.4.// | Funkce a operace se seznamy |
^ {{http://www.cs.bris.ac.uk/~flach/SL/slides/SLchapter2.pdf|10.}} ^ //26.4.// |Prolog a logika: klauzule, Herbrandova báze, interpretace, model, rozhodnutelnost |
^ {{http://www.cs.bris.ac.uk/~flach/SL/slides/SLchapter3.pdf|11.}} ^ //3.5.// | Řez a negace. Mimologické operátory, aritmetika |
^ {{http://www.cs.bris.ac.uk/~flach/SL/slides/SLchapter5.pdf|12a.}} {{http://www.cs.bris.ac.uk/~flach/SL/slides/SLchapter6.pdf|12b.}} ^ // 10.5.// | Prohledávání v Prologu. |
^ {{http://www.cs.bris.ac.uk/~flach/SL/slides/SLchapter9.pdf|13.}} ^ //17.5.// | Induktivní uvažování v logice |
^ {{http://www.cs.bris.ac.uk/~flach/SL/slides/SLchapter9.pdf|14.}} ^ //24.5.// | tba |
Dvě ukázkové otázky ze zkoušky Prologu: {{courses:a4b33flp:2015:ukazka_test_prolog.pdf|}}