FI:IB015 Úvod do funkc. programování - Informace o předmětu
IB015 Úvod do funkcionálního programování
Fakulta informatikyjaro 2009
- Rozsah
- 2/1. 3 kr. (plus ukončení). Ukončení: zk.
- Vyučující
- prof. RNDr. Jiří Barnat, Ph.D. (přednášející)
Mgr. Matej Kollár (cvičící)
Peter Molnár (cvičící)
Mgr. Adam Šiška (cvičící)
Mgr. Tomáš Zábojník (cvičící) - Garance
- prof. RNDr. Mojmír Křetínský, CSc.
Katedra teorie programování – Fakulta informatiky
Kontaktní osoba: prof. RNDr. Jiří Barnat, Ph.D. - Rozvrh
- Čt 10:00–11:50 D1
- Rozvrh seminárních/paralelních skupin:
IB015/02: každé liché pondělí 16:00–17:50 B117, A. Šiška
IB015/03: každou sudou středu 16:00–17:50 B117, A. Šiška
IB015/04: každou lichou středu 16:00–17:50 B117, A. Šiška
IB015/05: každé sudé úterý 12:00–13:50 B117, M. Kollár
IB015/06: každé liché úterý 12:00–13:50 B117, M. Kollár
IB015/07: každou sudou středu 12:00–13:50 B117, M. Kollár
IB015/08: každou lichou středu 12:00–13:50 B117, M. Kollár
IB015/09: každý sudý čtvrtek 14:00–15:50 B117, T. Zábojník
IB015/10: každý lichý čtvrtek 14:00–15:50 B117, T. Zábojník
IB015/11: každý sudý čtvrtek 12:00–13:50 B130, P. Molnár
IB015/12: každý lichý čtvrtek 12:00–13:50 B130, P. Molnár
IB015/13: každé sudé úterý 18:00–19:50 B130, P. Molnár
IB015/14: každé liché úterý 18:00–19:50 B130, P. Molnár - 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
- Aplikovaná informatika (program FI, B-AP)
- Bioinformatika (program FI, B-AP)
- Informatika a druhý obor (program FI, B-BI)
- Informatika a druhý obor (program FI, B-FY)
- Informatika a druhý obor (program FI, B-GE)
- Informatika a druhý obor (program FI, B-GK)
- Informatika a druhý obor (program FI, B-CH)
- Informatika a druhý obor (program FI, B-IO)
- Informatika a druhý obor (program FI, B-MA)
- Informatika a druhý obor (program FI, B-SO)
- Informatika a druhý obor (program FI, B-TV)
- Informatika (program FI, B-IN)
- 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)
- 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, jež využijí při pozdější tvorbě větších programových celků i v imperativních jazycích. Přednáška je doplněna řadou příkladů, které si lze prakticky vyzkoušet na nepovinných cvičení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!
- Metody hodnocení
- Kurs probíhá formou přednášek a je doplněn povinným cvičením. Je ukončen písemnou zkouškou.
- Navazující předměty
- Informace učitele
- http://www.fi.muni.cz/~xbarnat/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 (jaro 2009, nejnovější)
- Permalink: https://is.muni.cz/predmet/fi/jaro2009/IB015