====== Archiv FLP 2011: Funkcionální a logické programování ======

Odkazovník:
  * [[courses:a4b33flp:2015::start|Aktuální ročník předmětu]]
  * Prolog [[prolog_prednasky|přednášky]], [[prolog_cviceni|cvičení]], [[prolog_ukoly|úkoly]]

===== Anotace =====
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. 


===== Podmínky zápočtu =====

Organizace cvičení, které je hodnoceno zvlášť z každé z obou přednášených částí. Pro každou část platí tatáž pravidla:
  * Maximální počet bodů je 25, pro udělení zápočtu je třeba získat alespoň 13 bodu.
  * V průběhu semestru studenti budou mít za úkol 
    * vyřešit 3 úlohy po 6 bodech 
    * napsat test, ze kterého mohou získat 7 bodů

===== Zkouška =====

Podmínky zkoušky:
  * Student má zápočet a za cvičení si přináší max 50 bodů.
  * Student získá minimálně 25 bodů za zkouškovou písemku, pro niž je plny počet bodů 50.
  * Známka se určuje ze součtu bodů ze cvičení a ze zkouškové písemky.

===== Odkazy =====
  * Odkazy na [[https://cw.felk.cvut.cz/forum|diskusní fórum]], [[http://cw.felk.cvut.cz/upload/|UploadSystem]] a [[http://www.feld.cvut.cz/cz/education/rozvrhy-ng/public/cz/predmety/12/58/p12582804.html|rozvrh]]

===== Literatura ======
  * //Brian Harvey and Matthew Wright:// **Simply Scheme: Introducing Computer Science**, MIT Press, 1999, now [[http://www.cs.berkeley.edu/~bh/ss-toc2.html | available online]]
  * //Peter Flach:// **Simply logical**, John Wiley 1994, xvi + 240 pages, now [[http://www.cs.bris.ac.uk/~flach/SimplyLogical.html | available online]]


===== Učitelé =====

\\
|  Přednášející  |
|  [[http://cyber.felk.cvut.cz/people/page.php?id=331&detailed=y|{{http://arg.mff.cuni.cz/images/jvyskocil.jpg|Jiří Vyskočil}}]]  |
|  Jiří Vyskočil  |


----------
\\

|  Cvičící  |
|  [[http://agents.felk.cvut.cz/members/#viliam_lisy|{{http://agents.felk.cvut.cz/photos/lisy.jpg?90x120}}]]  | 
|  Viliam Lisý  |