====== Přednášky předmětu FLP ======
( [[courses:a4b33flp::start | domů]] | přednášky | [[courses:a4b33flp:2015:tutorials | cvičení]] | [[courses:a4b33flp:assignments | úlohy]] )
===== Funkcionální programování =====
Přednášky proběhnou 21.2, 28.2, 7.3, 14.3, 21.3, 28.3 a 4.4.
* [[courses:a4b33flp:scheme|Scheme]]
* [[courses:a4b33flp: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. ^ Topic ^
^ {{http://www.cs.bris.ac.uk/~flach/SL/slides/SLchapter1.pdf|8.}} | Prolog: fakta, pravidla, dotazy, rekurze|
^ {{http://www.cs.bris.ac.uk/~flach/SL/slides/SLchapter1.pdf|9.}} | Funkce a operace se seznamy |
^ {{http://www.cs.bris.ac.uk/~flach/SL/slides/SLchapter2.pdf|10.}} | Prolog a logika: klauzule, Herbrandova báze, interpretace, model, rozhodnutelnost |
^ {{http://www.cs.bris.ac.uk/~flach/SL/slides/SLchapter3.pdf|11.}} | Ř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.}} | Prohledávání v Prologu. |
^ {{http://www.cs.bris.ac.uk/~flach/SL/slides/SLchapter9.pdf|13.}} | Induktivní uvažování v logice (v LS 2017 nepřednášeno, nebude zkoušeno |
Dvě ukázkové otázky ze zkoušky Prologu: {{courses:a4b33flp:2015:ukazka_test_prolog.pdf|}}