[ 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]
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 ]