a4b33flp -- Funkcionální a logické programování

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.

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.

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%.

• Odkazy na diskusní fórum, UploadSystem a rozvrh
• Archiv předmětu: LS 2011 LS 2012 LS 2013

• Brian Harvey and Matthew Wright: Simply Scheme: Introducing Computer Science, MIT Press, 1999, now 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 available online

• Peter Flach: Simply logical, John Wiley 1994, xvi + 240 pages, now available online