[ Skip to the content ]

Institute of Formal and Applied Linguistics Wiki

[ Back to the navigation ]

You are here: start » courses » pfl080

Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revision Previous revision
Next revision 		Previous revision
Next revision Both sides next revision
courses:pfl080 [2007/10/19 23:11]
smrz 		courses:pfl080 [2007/12/10 15:35]
smrz
Line 10: Line 10:
 ^ Platnost   | od ZS 2007          | ^ Platnost   | od ZS 2007          |
 ^ Souřadnice | Čt 10:40--13:05 SU1 | ^ Souřadnice | Čt 10:40--13:05 SU1 |
 +
 +
 +
 +
 +
 +
 +
 +
 +
 +
 +
 +
 +
 +
  
  
Line 18: Line 32:
 11.10.2007    [[http://ufal.mff.cuni.cz/~smrz/HaskellDSL/haskell-dsl-01.pdf|Introduction -- Types and Polymorphism -- Laziness]] 11.10.2007    [[http://ufal.mff.cuni.cz/~smrz/HaskellDSL/haskell-dsl-01.pdf|Introduction -- Types and Polymorphism -- Laziness]]
  
-18.10.2007    [[http://ufal.mff.cuni.cz/~smrz/HaskellDSL/haskell-dsl-02.pdf|Why FP Matters -- Higher-Order Functions -- Tree Structures]]+18.10.2007    [[http://ufal.mff.cuni.cz/~smrz/HaskellDSL/haskell-dsl-02.pdf|"Why FP Matters" -- Higher-Order Functions -- Tree Structures]]
  
 +25.10.2007    [[http://ufal.mff.cuni.cz/~smrz/HaskellDSL/haskell-dsl-03.pdf|"Haskell and XML" -- Type Classes -- Pretty-Printing]]
 +
 +01.11.2007    [[http://ufal.mff.cuni.cz/~smrz/HaskellDSL/haskell-dsl-04.pdf|"A Prettier Printer" -- Monads -- Parsing]]
 +
 +08.11.2007    [[http://ufal.mff.cuni.cz/~smrz/HaskellDSL/haskell-dsl-05.pdf|"Monadic Parsing in Haskell" -- Monad Laws -- Input/Output]]
 +
 +15.11.2007    [[http://ufal.mff.cuni.cz/~smrz/HaskellDSL/haskell-dsl-06.pdf|"Cabal" -- "Haddock" -- Functional Dependencies]]
 +
 +22.11.2007    [[http://ufal.mff.cuni.cz/~smrz/HaskellDSL/haskell-dsl-07.pdf|"Fun with FD" -- Curry-Howard Correspondence -- Existential Types]]
 +
 +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 -- Red-Black Trees
  
 ===== Anotace ===== ===== Anotace =====
Line 27: Line 56:
 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ů.
  
  
Line 54: Line 83:
   - 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 64: Line 94:
 [[http://ufal.mff.cuni.cz/~smrz/FunnyThing/impressive-haskell.pdf|"Impressive Haskell" by Otakar Smrž]] [[http://ufal.mff.cuni.cz/~smrz/FunnyThing/impressive-haskell.pdf|"Impressive Haskell" by Otakar Smrž]]
  
-[[http://www.mff.cuni.cz/vnitro/is/sis/predmety/kod.php?kod=PFL080|Studijní informační systém]]+[[http://is.cuni.cz/studium/predmety/index.php?do=predmet&kod=NPFL080|Studijní informační systém]]
  

[ Back to the navigation ] [ Back to the content ]