====== 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]] |