Privátní stránky kursu FLP

Trvalou a neměnnou podmínkou absolvování zkoušky je, že práce bude vyhotovena modrou nesmazatelnou propiskou/perem, které se nepropíjí skrze papír a je středního odstínu, případně tmavšího, avšak ne tak tmavého, aby jej šlo zaměnit za černou. Je možné si činit poznámky tužkou, na ty však nebude brán při hodnocení zřetel.

• Výukové texty a přednášky jsou v MOODLE/Teacher
• Studijní literatura neobsažená výše:
  • Hudak, P., Peterson, J., Fasel, J.H.: A Gentle Introduction to Haskel 98, Yale University, Los Alamos National Laboratory, 1999 (lokálně)
  • Haskell in Depth
  • Lu, J., Mead, J.J.: Prolog, A Tutorial Introduction, Bucknell University (lokálně)
  • Gavanelli, M., Rossi, F.: Constraint Logic Programming, in "A 25 Year Perspective on Logic Programming - Achievements of the Italian Association for Logic Programming, GULP", A. Dovier and E. Pontelli eds., Springer-Verlag, LNCS 6125, pp.64-86, 2010. (lokálně)
  • Simonis, H.: Constraint Logic Programming, KIFS95, COSYTEC SA, France, 2008. (lokálně)
  • Shapiro, D.: COMPILING EVALUABLE FUNCTIONS IN THE GÖDEL PROGRAMMING LANGUAGE, MsC Thesis, Portland State University, 1996 (lokálně)
• Doporučená literatura:
  • Prolog tutorial (lokálně)
  • PROLOG PROGRAMMING
  • Constraint Logic Programming (lokálně)

• Pár rad, i když to někomu může připadat úsměvné:
  • Dávat kolegovi/kolegům k nahlédnutí vlastní řešení projektu může vést k tomu, že jsou pak dvě téměř shodná řešení a dva týmy/lidé, co tvrdí že jsou autoři a nikde nic neopsali...

    Bohužel to ale vede ke ztrátě zápočtu všech zúčastněných (viz kartu předmětu) a podání podnětu k disciplinární komisi.

  • Předmět není o tom, že budete demonstrovat umění algoritmizovat problém, ale o tom, že tu algoritmizaci správně zapíšete v daném programovacím jazyku-zvládáte dané paradigma. Tedy o tom, že si prostě odsedíte u editoru a interpretu Haskellu či Prologu své potřebné penzum a zadek. :-)
  • Demonstrace zvládnutí jazyka spočívá i v tom, že zápis je syntakticky správný - velká/malá písmena, závorky, apod. Pokud píšete tak, že zvládáte jen hůlkové písmo, tak buďto pište kapitálkami, nebo na kousku kódu demonstrujte svoji znalost syntaxe stran velkých/malých písmen.
  • Pokud vás napadá, co sem ještě napsat, tak sem s tím, tedy garantovi (já to sem napíši).