T2_IB015 Úvod do funkcionálního programování

Celouniverzitní studia
jaro 2013
Rozsah
0/4. 0 kr. Ukončení: -.
Vyučující
RNDr. Libor Škarvada (přednášející)
Mgr. Eva Mráková, Ph.D. (cvičící)
Mgr. et Mgr. Tomáš Sklenák (pomocník)
Garance
prof. RNDr. Mojmír Křetínský, CSc.
Katedra teorie programování – Fakulta informatiky
Kontaktní osoba: Mgr. Lukáš Másilko
Dodavatelské pracoviště: Středisko pro pomoc studentům se specifickými nároky
Rozvrh seminárních/paralelních skupin
T2_IB015/T01: Út 19. 2. až Pá 17. 5. Út 12:00–13:55 Učebna S5 (31), St 12:00–13:55 Učebna S8 (17), E. Mráková
Předpoklady
SOUHLAS
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.
Předmět si smí zapsat nejvýše 10 stud.
Momentální stav registrace a zápisu: zapsáno: 0/10, pouze zareg.: 0/10, pouze zareg. s předností (mateřské obory): 0/10
Jiné omezení: Předmět je určen pouze studentům se specifickými nároky. Slouží k evidenci individuální výuky.
Mateřské obory/plány
předmět má 17 mateřských oborů, zobrazit
Cíle předmětu
Kurs seznamuje posluchače s funkcionálním programovacím paradigmatem. Prostředí vynucující čistý zápis programů bez vedlejších efektů má mimo jiné přivést studenty k návykům, jichž využijí při pozdější tvorbě větších programových celků i v imperativních jazycích.
Osnova
  • Základní pojmy: term, hodnota, redukce.
  • Lambda abstrakce.
  • Vyšší funkce, částečná aplikace, curryifikace.
  • 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ů.
  • Pořadí vyhodnocování, striktní a líné vyhodnocování.
  • Nekonečné datové struktury.
  • Rekursivní funkce, operace na seznamech a stromech, složitost.
Literatura
  • THOMPSON, Simon. Haskell :the craft of functional programming. Harlow: Addison-Wesley, 1996, xx, 500 s. ISBN 0-201-40357-9. info
Výukové metody
Kurs probíhá formou cvičení.
Metody hodnocení
Předmět se neukončuje. Slouží pouze k evidenci individuální výuky. Zkouška kurzu IB015 je písemná a má dvě části -- v polovině semestru a na jeho konci. Průběžná zkouška má váhu 24 %, závěrečná 76 %. Do závěrečného hodnocení se navíc mohou promítnout i "prémiové body" ze cvičení.
Další komentáře
Studijní materiály
Poznámka k ukončení předmětu: Předmět se neukončuje.
Předmět je vyučován každý semestr.
Předmět je určen pouze studentům se specifickými nároky. Slouží k evidenci individuální výuky.
  • Statistika zápisu (nejnovější)
  • Permalink: https://is.muni.cz/predmet/cus/jaro2013/T2_IB015