FI:IB015 Úvod do funkc. programování - Informace o předmětu
IB015 Úvod do funkcionálního programování
Fakulta informatikypodzim 2011
- Rozsah
- 2/1. 3 kr. (plus ukončení). Ukončení: zk.
- Vyučující
- RNDr. Libor Škarvada (přednášející)
Bc. Petr Boroš (cvičící)
doc. RNDr. Aleš Horák, Ph.D. (cvičící)
Mgr. Marek Klučár (cvičící)
Mgr. Bc. Jiří Mařík (cvičící)
Mgr. Eva Mráková, Ph.D. (cvičící)
Bc. Stanislav Novák (cvičící)
RNDr. David Sehnal, Ph.D. (cvičící)
Mgr. Tomáš Szaniszlo (cvičící)
doc. RNDr. David Šafránek, Ph.D. (cvičící)
RNDr. Vladimír Štill, Ph.D. (cvičící)
Mgr. Andrej Tokarčík (cvičící)
RNDr. Martin Ukrop, Ph.D. (cvičící)
Mgr. Lukáš Másilko (pomocník)
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: RNDr. Libor Škarvada - Rozvrh
- Po 16:00–17:50 D2, Po 16:00–17:50 D1
- Rozvrh seminárních/paralelních skupin:
IB015/02: každé liché úterý 12:00–13:50 B130, A. Horák
IB015/03: každou sudou středu 10:00–11:50 B130, E. Mráková
IB015/04: každou lichou středu 10:00–11:50 B130, E. Mráková
IB015/05: každý sudý čtvrtek 10:00–11:50 B130, D. Šafránek
IB015/06: každý lichý čtvrtek 10:00–11:50 B130, D. Šafránek
IB015/07: každý sudý čtvrtek 16:00–17:50 B130, A. Tokarčík
IB015/08: každý lichý čtvrtek 16:00–17:50 B130, A. Tokarčík
IB015/09: každé sudé úterý 14:00–15:50 B130, S. Novák
IB015/10: každé liché úterý 14:00–15:50 B130, S. Novák
IB015/11: každé sudé úterý 18:00–19:50 B130, T. Szaniszlo
IB015/12: každé liché úterý 18:00–19:50 B130, T. Szaniszlo
IB015/13: každý sudý čtvrtek 8:00–9:50 B130, J. Mařík
IB015/14: každý lichý čtvrtek 8:00–9:50 B130, J. Mařík
IB015/15: každý sudý pátek 8:00–9:50 B130, P. Boroš
IB015/16: každý lichý pátek 8:00–9:50 B130, P. Boroš
IB015/17: každý sudý pátek 10:00–11:50 B130, V. Štill
IB015/18: každý lichý pátek 10:00–11:50 B130, V. Štill
IB015/19: každou sudou středu 8:00–9:50 B130, M. Ukrop
IB015/20: každou lichou středu 8:00–9:50 B130, M. Ukrop
IB015/21: každý sudý pátek 14:00–15:50 B130, D. Sehnal
IB015/22: každý lichý pátek 14:00–15:50 B130, D. Sehnal
IB015/23: Rozvrh nebyl do ISu vložen. E. Mráková - 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
- 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
- Záložky
- https://is.muni.cz/ln/tag/FI:IB015!
- Výukové metody
- Kurs probíhá formou přednášek a je doplněn nepovinným cvičením.
- Metody hodnocení
- Zkouška 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í.
- Navazující předměty
- Informace učitele
- http://www.fi.muni.cz/~libor/vyuka/IB015/
- Další komentáře
- Studijní materiály
Předmět je vyučován každý semestr. - Nachází se v prerekvizitách jiných předmětů
- Statistika zápisu (podzim 2011, nejnovější)
- Permalink: https://is.muni.cz/predmet/fi/podzim2011/IB015