====== Cvičení předmětu FLP ======
( [[courses:a4b33flp:2015::start | domů]] | [[lectures | přednášky]] | cvičení | [[assignments | úlohy]] )
===== Funkcionální programování =====
* [[courses:a4b33flp:internal:2012::scheme_cviceni|Scheme]]
* [[courses:a4b33flp:internal:2012:haskell_cviceni|Haskell]]
===== Logické programování =====
^ No. ^ Date ^ Topic ^
^ [[https://docs.google.com/presentation/d/1S1dom_UUf9yMdt9QEzygmqYtG3RH0jBQydyXsp3gsCk/present | 8.]] ^ // 2.4// | Prolog as a database: Facts, queries, simple recursion and Prolog search strategy. |
^ [[https://docs.google.com/presentation/d/1krK4noKNG2REBjHkA8A73bvrFrQPo9yY3QplvJa5Cv4/present | 9.]] ^ // 9.4// | Unification, Lists, Proof trees for recursive predicates. |
^ [[https://docs.google.com/presentation/d/17LPV3OfQH4ccF9a4lTDiiLn0RI2sKEgb1WLiXcj4dMM/present | 10.]] ^ //16.4// | Cut, Tail-recursion, Efficient programming with cut. |
^ [[https://docs.google.com/presentation/d/1N70qNeD070vEZ3ZBPQQLPBc40yt9rvi8omBYI8VafCk/present | 11.]] ^ //23.4// | Search algorithms. {{..:..:ae4b33flp:evropa.zip|Map of europe}} |
^ [[https://docs.google.com/presentation/d/13SJ3iJN-RUd7o6ub1LpvterftPtoanPtfDm0HWj7fas/present | 12.]] ^ //30.4// | Search algorithms II. |
^ [[https://docs.google.com/presentation/d/1IiiAs0d6H6fSXDnDbCr5uosbMwQ_WX3PD8cVFWTv188/present | 13.]] ^ //14.5// | Constraint logic programming + zápočty |