[ Skip to the content ]

Institute of Formal and Applied Linguistics Wiki

• ÚFAL Wiki Home
• ÚFAL Home
• Sitemap
• RSS
• ÚFAL calendar
• Recent changes
• Login
• Hledat:

[ Back to the navigation ]

Differences

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

View differences: Side by SideInline Go

Link to this comparison view

Both sides previous revision Previous revision 2008/01/03 13:40 smrz 2008/01/03 13:32 smrz 2007/12/10 15:35 smrz 2007/12/10 15:34 smrz 2007/11/28 14:15 smrz 2007/11/28 13:46 smrz 2007/11/22 13:25 smrz 2007/11/15 15:00 smrz 2007/11/15 15:00 smrz 2007/11/15 14:52 smrz 2007/11/14 11:49 smrz 2007/11/14 00:14 smrz 2007/11/13 14:24 smrz 2007/11/07 22:24 smrz 2007/11/07 22:20 smrz 2007/11/01 14:23 smrz 2007/10/25 14:56 smrz 2007/10/19 23:12 smrz 2007/10/19 23:11 smrz 2007/10/12 00:03 ufal 2007/10/11 23:48 ufal 2007/09/25 18:34 smrz 2007/05/17 20:58 ufal 2007/04/11 22:04 ufal PFL080 česky2007/04/11 22:02 ufal PFL080 česky2007/04/11 21:45 ufal 2007/04/11 21:30 ufal 2007/04/11 21:14 ufal 2007/04/01 22:45 ufal 2007/03/30 22:35 ufal PFL080 česky2007/03/30 22:30 ufal PFL080 česky2007/03/30 20:10 ufal 2007/03/30 20:08 ufal 2007/03/30 19:32 ufal 2007/03/30 19:31 ufal 2007/03/30 17:22 ufal 2007/03/30 17:20 ufal 2007/03/30 17:04 ufal Go Next revision		Previous revision 2008/01/03 13:40 smrz 2008/01/03 13:32 smrz 2007/12/10 15:35 smrz 2007/12/10 15:34 smrz 2007/11/28 14:15 smrz 2007/11/28 13:46 smrz 2007/11/22 13:25 smrz 2007/11/15 15:00 smrz 2007/11/15 15:00 smrz 2007/11/15 14:52 smrz 2007/11/14 11:49 smrz 2007/11/14 00:14 smrz 2007/11/13 14:24 smrz 2007/11/07 22:24 smrz 2007/11/07 22:20 smrz 2007/11/01 14:23 smrz 2007/10/25 14:56 smrz 2007/10/19 23:12 smrz 2007/10/19 23:11 smrz 2007/10/12 00:03 ufal 2007/10/11 23:48 ufal 2007/09/25 18:34 smrz 2007/05/17 20:58 ufal 2007/04/11 22:04 ufal PFL080 česky2007/04/11 22:02 ufal PFL080 česky2007/04/11 21:45 ufal 2007/04/11 21:30 ufal 2007/04/11 21:14 ufal 2007/04/01 22:45 ufal 2007/03/30 22:35 ufal PFL080 česky2007/03/30 22:30 ufal PFL080 česky2007/03/30 20:10 ufal 2007/03/30 20:08 ufal 2007/03/30 19:32 ufal 2007/03/30 19:31 ufal 2007/03/30 17:22 ufal 2007/03/30 17:20 ufal 2007/03/30 17:04 ufal 2007/03/30 16:52 ufal 2007/03/30 16:51 ufal 2007/03/30 16:45 ufal 2007/03/30 16:30 ufal 2007/03/30 16:30 ufal 2007/03/30 16:14 ufal 2007/03/30 16:14 ufal 2007/03/30 16:14 ufal 2007/03/30 16:04 ufal 2007/03/30 15:49 ufal 2007/03/30 15:35 ufal 2007/03/30 15:31 ufal 2007/03/30 14:58 ufal Go
courses:pfl080 [2007/11/13 14:24] 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 32:		Line 42:
	08.11.2007    [[http://ufal.mff.cuni.cz/~smrz/HaskellDSL/haskell-dsl-05.pdf|"Monadic Parsing in Haskell" -- Monad Laws -- Input/Output]]		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|"Haddock" -- "Cabal" -- Darcs]]	+	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 -- 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 =====
Line 40:		Line 64:
	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 67:		Line 91:
	- 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 77:		Line 102:
	[[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 ]