Differences
This shows you the differences between two versions of the page.
| Both sides previous revision
Previous revision
Next revision
|
Previous revision
|
courses:pfl080 [2007/11/28 13:46] smrz |
courses:pfl080 [2008/01/03 13:40] (current) smrz |
| ^ Platnost | od ZS 2007 | | ^ Platnost | od ZS 2007 | |
| ^ Souřadnice | Čt 10:40--13:05 SU1 | | ^ Souřadnice | Čt 10:40--13:05 SU1 | |
| | |
| | |
| | |
| | |
| |
| |
| |
| 29.11.2007 LECTURE CANCELLED | 29.11.2007 LECTURE CANCELLED |
| | |
| | 06.12.2007 "Proofs are Programs" -- Combinatory Categorial Grammar |
| | |
| | 13.12.2007 "Using Types to Parse Natural Language" -- Finite Maps -- Arrays |
| | |
| | 20.12.2007 "Functional Morphology" -- Functional Queues -- Red-Black Trees |
| | |
| | 03.01.2008 Haskell versus OCaml -- Projects -- Darcs |
| | |
| | 10.10.2008 QuickCheck -- MapReduce et al. -- Concluding Notes |
| |
| ===== Anotace ===== | ===== Anotace ===== |
| 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://is.mff.cuni.cz/sis/predmety/index.php?do=predmet&kod=PRG005|PRG005]] není ani podmínkou, ani překážkou účasti. S některými probíranými tématy se lze setkat i v [[http://is.mff.cuni.cz/sis/predmety/index.php?do=predmet&kod=PRG040|PRG040]], příp. [[http://is.mff.cuni.cz/sis/predmety/index.php?do=predmet&kod=AIL006|AIL006]] a [[http://is.mff.cuni.cz/sis/predmety/index.php?do=predmet&kod=AIL078|AIL078]]. V našem případě bude míra teoretického detailu věcí dohody a složení referátů bude záviset na zájmu studentů. | Předmět je určen pro studenty magisterského nebo doktorandského studia zmiňovaných oborů. Absolvování [[http://is.mff.cuni.cz/sis/predmety/index.php?do=predmet&kod=NPRG005|PRG005]] není ani podmínkou, ani překážkou účasti. S některými probíranými tématy se lze setkat i v [[http://is.mff.cuni.cz/sis/predmety/index.php?do=predmet&kod=NPRG040|PRG040]], příp. [[http://is.mff.cuni.cz/sis/predmety/index.php?do=predmet&kod=NAIL006|AIL006]] a [[http://is.mff.cuni.cz/sis/predmety/index.php?do=predmet&kod=NAIL078|AIL078]]. V našem případě bude míra teoretického detailu věcí dohody a složení referátů bude záviset na zájmu studentů. |
| |
| |