CST:T2_IB015 Úvod do funkc. programování - Informace o předmětu

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

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

• Aplikovaná informatika (program FI, B-AP)
• Bioinformatika (program FI, B-AP)
• Informatika a druhý obor (program FI, B-EB)
• Informatika a druhý obor (program FI, B-FY)
• Informatika a druhý obor (program FI, B-IO)
• Informatika a druhý obor (program FI, B-MA)
• Informatika a druhý obor (program FI, B-TV)
• Matematická informatika (program FI, B-IN)
• Paralelní a distribuované systémy (program FI, B-IN)
• Počítačová grafika a zpracování obrazu (program FI, B-IN)
• Počítačové sítě a komunikace (program FI, B-IN)
• Počítačové systémy a zpracování dat (program FI, B-IN)
• Programovatelné technické struktury (program FI, B-IN)
• Programovatelné technické struktury (program FI, N-IN)
• Služby - výzkum, řízení a inovace (program FI, N-AP)
• Sociální informatika (program FI, B-AP)
• Umělá inteligence a zpracování přirozeného jazyka (program FI, B-IN)

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