====== a4b33flp -- Funkcionální a logické programování ======
( domů | [[courses:a4b33flp:2012:2012:lectures | přednášky]] | [[courses:a4b33flp:2012:2012:tutorials | cvičení]] | [[courses:a4b33flp:2012:2012:assignments | úlohy]] )
===== Novinky =====
===== 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ů.
* Zkouška je písemná a skládá ze dvou částí:
* funkcionální (SCHEME,HASKELL)
* logické (PROLOG)
* K úspěšnému složení zkoušky je nutné získat z každé části alespoň 50% bodů.
* Maximální možný bodový zisk z obou částí je 50 bodů.
* Výsledná známka (viz tabulka) se určuje ze součtu bodů ze cvičení a ze zkouškové písemky.
^ Součet Bodů | 100-90 | 89-80 | 79-70 | 69-60 | 59-50 | 49-0 |
^ Známka | **A** | **B** | **C** | **D** | **E** | **F** |
===== 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]]
* Archiv předmětu: [[courses:a4b33flp:2011:start|LS 2011]]
===== 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]]
* //Bryan O'Sullivan, Don Stewart, and John Goerzen:// **Real World Haskell**, Paperback: 700 pages, O'Reilly, November 2008, English, ISBN-10: 0596514980, ISBN-13: 978-0596514983 now [[http://book.realworldhaskell.org/read/|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é =====
^ Funkcionální programování ^^^
^ Přednášející ^ Cvičící ^^
| [[http://cyber.felk.cvut.cz/people/page.php?id=331&detailed=y|{{courses:a4b33flp:2012:vyskocil_jiri-80x75.jpg|Jiří Vyskočil}}]] | [[http://agents.felk.cvut.cz/members/#viliam_lisy|{{courses:a4b33flp:2012:lisy_viliam-80x95.jpg}}]] | [[http://gerstner.felk.cvut.cz/gerstner/website/php/people-card.php?id=438|{{courses:a4b33flp:2012:kollar_ivor-80x95.gif|Kollár Ivor}}]] |
| [[vyskoji1@fel.cvut.cz | Jiří Vyskočil]] | [[viliam.lisy@agents.felk.cvut.cz|Viliam Lisý]] | [[kollaivo@fel.cvut.cz|Kollár Ivor]] |
^ Logické programování ^^^
^ Přednášející ^ Cvičící ^^
| [[http://gerstner.felk.cvut.cz/gerstner/website/php/people-card.php?id=90&detailed=y|{{courses:a4b33flp:2012:stepankova_olga-80x95.jpg|Olga Štěpánková}}]] | [[http://gerstner.felk.cvut.cz/gerstner/website/php/people-card.php?id=235|{{courses:a4b33flp:2012:havel_ivan-80x80.jpg|Ivan Havel}}]] | [[http://ida.felk.cvut.cz/ida/members#cernoch|{{courses:a4b33flp:2012:cernoch_radomir-80x95.jpg|Radomír Černoch}}]] |
| [[step@labe.felk.cvut.cz | Olga Štěpánková]] | [[havel@labe.felk.cvut.cz | Ivan Havel]] | [[radomir.cernoch@gmail.com | Radomír Černoch]] |