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

28.4 se bude konat během cvičení krátký (30 min) test. Obsahem bude práce se seznamy, přirozenými čísly a řezem.

5.5: Vyhlášena semestrální úloha z Prologu.

20.5: Do úlohy bylo přidáno 8 nových (izomorfních) dvojic grafů. Můžete je použít pro ladění Vašich kódů. Pokud v nich isomorfismus nenajdete v rozumném čase, nebude to překážkou k odevzdání úlohy.

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:

• Pro udělení zápočtu je třeba získat alespoň 50% bodů.
• V průběhu semestru studenti budou mít za úkol:
  • vyřešit 3 úlohy. Pro úspěšné vyřešení jedné úlohy je potřeba získat alespoň 6 bodů z 10. Pokud není úloha vyřešena úspěšně, body z ní se nezapočítávají. Za každou úlohu lze získat maximálně 25% bodů.
  • napsat test. Za test lze získat maximálně 25% bodů.

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