[ 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 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 2007/03/30 14:15 ufal 2007/03/30 14:07 ufal 2007/03/30 14:07 ufal 2007/03/30 13:48 ufal 2007/03/30 13:46 ufal vytvořeno Go Next revision		Previous revision 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 2007/03/30 14:15 ufal 2007/03/30 14:07 ufal 2007/03/30 14:07 ufal 2007/03/30 13:48 ufal 2007/03/30 13:46 ufal vytvořeno Go Next revision Both sides next revision
courses:pfl080 [2007/03/30 14:07] ufal		courses:pfl080 [2007/03/30 15:35] ufal
Line 3:		Line 3:
	====== [návrh] PFL080 Haskell nejen pro informatiky ======		====== [návrh] PFL080 Haskell nejen pro informatiky ======
-	^ Vyučující | Mgr. Otakar Smrž	+	[[pfl080-en|English version]]
-	^ Rozsah    | 2/1 Z+Zk	+
-	^ Platnost  | od ZS 2007	+
		+	^ Vyučující | Mgr. Otakar Smrž |
		+	^ Rozsah    | 2/1 Z+Zk         |
		+	^ Platnost  | od ZS 2007       |
		+
		+
		+	===== Anotace =====
		+
		+	Haskell je čistě funkcionální programovací jazyk. Jeho studium vybízí k hledání souvislostí mezi různými oblastmi informatiky, logiky i lingvistiky. Zároveň je to ale moderní prostředek pro přesný, přitom stručný a srozumitelný popis řešení obecných problémů.
		+
		+	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.
		+
		+	===== Literatura =====
		+
		+	===== Sylabus =====
		+
		+	===== Odkazy =====
	[[http://www.cis.upenn.edu/~bcpierce/courses/advprog/index.html|Advanced programming by B. C. Pierce]] -- volná inspirace pro tento předmět		[[http://www.cis.upenn.edu/~bcpierce/courses/advprog/index.html|Advanced programming by B. C. Pierce]] -- volná inspirace pro tento předmět

---

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