Differences
This shows you the differences between two versions of the page.
Both sides previous revision Previous revision Next revision | Previous revision Next revision Both sides next revision | ||
courses:pfl080 [2007/04/01 22:45] ufal |
courses:pfl080 [2007/11/15 14:52] smrz |
||
---|---|---|---|
Line 1: | Line 1: | ||
~~NOTOC~~ | ~~NOTOC~~ | ||
- | ====== | + | |
+ | ====== PFL080 Haskell nejen pro informatiky ====== | ||
[[pfl080-en|English version]] | [[pfl080-en|English version]] | ||
- | ^ Vyučující | Mgr. Otakar Smrž | | + | ^ Vyučující |
- | ^ Rozsah | + | ^ Rozsah |
- | ^ Platnost | + | ^ Platnost |
+ | ^ Souřadnice | Čt 10: | ||
+ | |||
+ | |||
+ | |||
+ | |||
+ | |||
+ | |||
+ | |||
+ | |||
+ | |||
+ | |||
+ | |||
+ | |||
+ | ===== Osnova ===== | ||
+ | |||
+ | 11.10.2007 | ||
+ | |||
+ | 18.10.2007 | ||
+ | |||
+ | 25.10.2007 | ||
+ | |||
+ | 01.11.2007 | ||
+ | |||
+ | 08.11.2007 | ||
+ | 15.11.2007 | ||
===== Anotace ===== | ===== Anotace ===== | ||
Line 15: | Line 41: | ||
V přednášce se budeme věnovat výrazným rysům jazyka a zaměříme se na jeho aplikace v podobě tzv. doménově specifických jazyků. Ve cvičeních budou studenti diskutovat své referáty z odborné literatury. | V přednášce se budeme věnovat výrazným rysům jazyka a zaměříme se na jeho aplikace v podobě tzv. doménově specifických jazyků. Ve cvičeních budou studenti diskutovat své referáty z odborné literatury. | ||
+ | |||
+ | Předmět je určen pro studenty magisterského nebo doktorandského studia zmiňovaných oborů. Absolvování [[http:// | ||
+ | |||
Line 22: | Line 51: | ||
* Paul Hudak. 2000. //The Haskell School of Expression: Learning Functional Programming through Multimedia// | * Paul Hudak. 2000. //The Haskell School of Expression: Learning Functional Programming through Multimedia// | ||
* Paul Hudak, John Peterson, Joseph Fasel. 2000. // | * Paul Hudak, John Peterson, Joseph Fasel. 2000. // | ||
- | * John Hughes. // | + | * John Hughes. 1984. // |
* Richard A. Frost. 2006. // | * Richard A. Frost. 2006. // | ||
Line 40: | Line 69: | ||
- Související teoretické otázky | - Související teoretické otázky | ||
- Užitečné nástroje pro programátory | - Užitečné nástroje pro programátory | ||
+ | |||
Line 50: | Line 80: | ||
[[http:// | [[http:// | ||
- | [[http://www.mff.cuni.cz/vnitro/ | + | [[http://is.cuni.cz/studium/predmety/index.php?do=predmet& |