====== a4b33flp -- Funkcionální a logické programování ======
( domů | [[courses:a4b33flp:lectures | přednášky]] | [[courses:a4b33flp:tutorials | cvičení]] | [[courses:a4b33flp:assignments | úlohy]] )
===== 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: * V průběhu semestru studenti budou mít za úkol: * Vyřešit semestrální úlohu(-y). * Ve funkcionální části budou zadány 3 úlohy. Pro úspěšné vyřešení jedné úlohy je potřeba získat alespoň 6 „funkcionálních“ bodů z 10. Pokud není úloha vyřešena úspěšně, body z ní se nezapočítávají. 1 funkcionální bod platí za 5/12 normálního bodu tak, aby maximální počet 30 funkcionálních bodů vydal za 12.5 normálních bodů. * V logické části se zadává 1 větší úloha, za kterou lze získat maximálně 12.5 bodů (normálních). * Napsat test. Za test lze získat maximálně 12.5 bodů (normálních) v každé části předmětu. * Pro udělení zápočtu je třeba získat alespoň 12.5 bodů (normálních) z každé části předmětu. Body (normální) získané během semestru se převádí ke zkoušce. ===== Zkouška ===== Podmínky zkoušky: * Student má zápočet (t.j. ze cvičení si přináší alespoň 50% bodů z funkcionální části a alespoň 50% bodů z logické části). * 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ů. * Výsledná známka (viz tabulka) se určuje celkovým bodovým ziskem, přičemž váha ze cvičení je 50% a váha ze zkouškové písemky je také 50%. ^ Bodový zisk | 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]] [[courses:a4b33flp:2012:start|LS 2012]] [[courses:a4b33flp:2013:start|LS 2013]] ===== 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:2015::vyskocil_jiri-80x75.jpg|Jiří Vyskočil}}]] | [[http://agents.felk.cvut.cz/members/#jan_jakubuv|{{http://arg.ciirc.cvut.cz/images/jjakubuv.jpg}}]] || | [[vyskoji1@fel.cvut.cz | Jiří Vyskočil]] | [[jan.jakubuv@agents.felk.cvut.cz|Jan Jakubův]] || ^ Logické programování ^^^ ^ Přednášející ^ Cvičící ^^ | [[http://ida.felk.cvut.cz/ida/members#zelezny|{{courses:a4b33flp:2015::zelezny_filip-80x95.png|Filip Železný}}]] | [[http://ida.felk.cvut.cz/ida/members#cernoch|{{courses:a4b33flp:2015::cernoch_radomir-80x95.jpg|Radomír Černoch}}]] | [[http://ida.felk.cvut.cz/ida/members#sourek|{{courses:a4b33flp:2015::sourek_gustav-80x95.jpg|Gustav Šourek}}]] | | [[zelezny@fel.cvut.cz | Filip Železný]] | [[radomir.cernoch@gmail.com | Radomír Černoch]] | [[souregus@fel.cvut.cz | Gustav Šourek]] |