Zpět výuka

Zpět výuka LS 2003/4

PRM002 Programování II pro neinformatiky

Obsah stránky:

• Obsah a cíle předmětu
• Co bylo na přednášce
• Literatura pro první část přednášky:
  • Základní literatura
  • Doplňková literatura

Obsah a cíle předmětu

Kurs má dvě části:

• První - dominantní - část je věnována principům neprocedurálního programování.
  Neprocedurální programování se obejde bez základních kamenů běžných procedurálních jazyků (Pascal,C,C++,Basic), kterými jsou pojem proměnné (jako jména pro kus paměti) a přiřazovacího příkazu. Programování se tak přibližuje "klasickému matematickému uvažování".
  • Hlavní důraz je věnován programování v jazyce Prolog. Studenti si prakticky osvojí dovednosti v logickém programování. V Prologu se také vytvářejí a ladí zápočtové úlohy.
  • Jako doplňkové téma se proberou základy funkcionálního programování na bázi jazyka LISP.
  
  
• Druhá část je alternativní - přizpůsobím se přáním studentů.
  • Buď se věnujeme principům objektového návrhu programů. Jako základ si vezmeme jazyk Java. Vůbec však nepůjde o technické detaily jazyka,
  • nebo prohloubíme poznatky z neprocedurálního programování
  • případně něco úplně

Zpět začátek

Literatura pro první část přednášky:

Základní literatura:

• Rudolf Kryl: Úvod do programovacího jazyka Prolog
  učební text - ke stažení z WWW stránek přednášejícího aktuální verze 3.02 ve formátu pdf nebo zip
  Text byl původně napsán pro čtenáře s o poznání menší programátorskou erudicí, než má většina z Vás. Proto by mělo jít o "nenáročné čtení před usnutím". Text pokrývá přibližně první polovinu látky z Prologu. Obsahuje řadu jednoduchých programů.
  Budu vděčný za připomínky a opravy chyb - posílejte je na můj mail a v subjectu uveďte číslo verze, ke které se připomínky vztahují.

Zpět začátek

Doplňková literatura (není nutná):

• P.Jirků a kol. : Programování v jazyku Prolog
  SNTL 1991
  Pěkná knížkav češtině. Neobsahuje mnoho těžších příkladů, věnuje se však dost podrobně souvislostem s logikou.
• Bratko I.: PROLOG Programming for Artificial Intelligence
  Addison-Wesley, Reading, Massachussets, 1986 ISBN 0-201-14224-4
  Stále velmi pěkná knížka. První díl obsahuje výklad Prologu (náš přístup k výkladu je do značné míry poplatný přístupu této knihy), druhý obsahuje výklad některých základních partií umělé inteligence pomocí programů v Prologu.
• Harold Abelson, Gerald Jay Sussman, Julie Sussman : Structure and Interpretation of Computer Programs
  Mc Graw-Hill Book Company 1985 ISBN 0-07-000-422-6
  Výklad principů programování na bázi jazyka XSCHEME (dialekt jazyka LISP). Kniha byla používána v základnídním kursu programování na MIT.
  My použijeme tohoto jazyka i příkladů z této knihy k velmi zběžnému seznámení s principy LISPu.
• Ivan Kalaš : Iné programovanie - stretnutie s jazykom Lisp
  Alfa 1992
  Krásná kniha s množství originálních příkladů. Uživaný dialekt LISPu se poněkud liší od toho, se kterým budeme pracovat na přednášce my.

Literatura pro druhou část přednášky:

Zpět výuka