FI:I015 Úvod do funkc. progr. - Informace o předmětu
I015 Úvod do funkcionálního programování
Fakulta informatikypodzim 2001
- Rozsah
- 2/0. 2 kr. (plus ukončení). Doporučované ukončení: zk. Jiná možná ukončení: k, z.
- Vyučující
- RNDr. Libor Škarvada (přednášející)
- Garance
- prof. RNDr. Mojmír Křetínský, CSc.
Katedra teorie programování – Fakulta informatiky
Kontaktní osoba: RNDr. Libor Škarvada - Rozvrh
- Út 16:00–17:50 D2, Út 16:00–17:50 D1
- Předpoklady
- Studenti by měli vystačit s běžnými středoškolskými znalostmi a jistou schopností matematické abstrakce.
- Omezení zápisu do předmětu
- Předmět je nabízen i studentům mimo mateřské obory.
- Mateřské obory/plány
- Informatika (program FI, B-IN)
- Informatika (program FI, M-IN)
- Učitelství výpočetní techniky pro střední školy (program FI, M-IN)
- Učitelství výpočetní techniky pro střední školy (program FI, M-SS)
- Výpočetní technika (program FI, B-IN)
- Cíle předmětu
- Kurs podává úvodní informace o funkcionálním programování. Po jeho absolvování by posluchači měli být schopni psát jednoduché programy v čistě funkcionálním stylu.
- Osnova
- Základní pojmy: term, hodnota, redukce.
- Pořadí vyhodnocování, striktní a líné vyhodnocování.
- Lambda abstrakce.
- Vyšší funkce, částečná aplikace, currifikace.
- Jednoduché typy: základní typy a typové konstruktory, součinové typy.
- Polymorfní typy, otypování.
- Definice nových typových konstruktorů, součtové typy, rekursivní typy; definice podle vzoru.
- Seznamy, výčtový a intensionální zápis seznamů.
- Nekonečné seznamy a stromy.
- Rekursivní funkce, operace na seznamech a stromech, složitost.
- Moduly, abstraktní datové typy.
- Literatura
- THOMPSON, Simon. Haskell :the craft of functional programming. Harlow: Addison-Wesley, 1996, xx, 500 s. ISBN 0-201-40357-9. info
- Metody hodnocení
- Kurs je ukončen závěrečnou písemnou zkouškou.
- Navazující předměty
- Informace učitele
- http://www.fi.muni.cz/usr/skarvada/vyuka/I015/
- Další komentáře
- Předmět je vyučován každoročně.
- Statistika zápisu (nejnovější)
- Permalink: https://is.muni.cz/predmet/fi/podzim2001/I015