[ Skip to the content ]

Institute of Formal and Applied Linguistics Wiki


[ Back to the navigation ]

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
courses:pfl080 [2007/12/10 15:35]
smrz
courses:pfl080 [2008/01/03 13:40] (current)
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 48: Line 50:
 06.12.2007    "Proofs are Programs" -- Combinatory Categorial Grammar 06.12.2007    "Proofs are Programs" -- Combinatory Categorial Grammar
  
-13.12.2007    "Using Types to Parse Natural Language" -- Finite Maps -- Red-Black Trees+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 =====

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