Warning
This page is located in archive.

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

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

Literatura

  • 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

Učitelé

Funkcionální programování
Přednášející Cvičící
Jiří Vyskočil jjakubuv.jpg
Jiří Vyskočil Jan Jakubův
Logické programování
Přednášející Cvičící
Filip Železný Radomír Černoch Gustav Šourek
Filip Železný Radomír Černoch Gustav Šourek
courses/a4b33flp/start.txt · Last modified: 2017/02/20 20:45 by vyskoji1