Předmět Neimperativní programování (IB015)
Na serveru studentino.cz naleznete nejrůznější studijní materiály: zápisky z přednášek nebo cvičení, vzorové testy, seminární práce, domácí úkoly a další z předmětu IB015 - Neimperativní programování, Fakulta informatiky, Masarykova univerzita (MU).
Top 10 materiálů tohoto předmětu
Materiály tohoto předmětu
Materiál | Typ | Datum | Počet stažení |
---|
Další informace
Cíl
Kurz seznamuje posluchače s funkcionálním a logickým programovacím paradigmatem. Programovací jazyky vynucující deklarativní způsob popisu algoritmu mají přivést studenty ke správným návykům, jichž využijí při pozdější tvorbě větších programových celků a to i v imperativních jazycích.
Osnova
Funkcionální výpočetní paradigma a Haskell Programování a funkce; Seznamy, Typy, Rekurze Funkce vyšších řádů, Lambda funkce Akumulační funkce, Definice typů, Vstup/Výstup Redukční strategie, Nekonečné seznamy Vztah rekurze a indukce, Rekurzivní datové typy Časová složitost výpočtu, Typové třídy, Moduly Ukázky funkcionálně řešených problémůLogické výpočetní paradigma a Prolog Neimperativní programování v Prologu Seznamy, Aritmetika, Tail rekurze v Prologu Řezy, vstup-výstup, všechna řešení Programování s omezujícími podmínkami
Literatura
THOMPSON, Simon. Haskell :the craft of functional programming. Harlow: Addison-Wesley, 1996. xx, 500 s. ISBN 0-201-40357-9. infoLIPOVAČA, Miran. Learn You a Haskell for Great Good!: A Beginner's Guide. First Edition. San Francisco, CA, USA: No Starch Press, 2011. 400 s. ISBN 978-1-59327-283-8. URL infoBLACKBURN, Patrick a Johan BOS. Learn Prolog Now! London: College Publications, 2016. Texts in Computing, volume 7. ISBN 1-904987-17-6. URL info
Požadavky
Studenti by měli vystačit s běžnými středoškolskými znalostmi a jistouschopností matematické abstrakce.
Garant
prof. RNDr. Mojmír Křetínský, CSc.
Vyučující
doc. RNDr. Jiří Barnat, Ph.D.Mgr. Martin JonášBc. Juraj MajorJan MrázekMgr. Tomáš SzaniszloMartin ŠkrovinaBc. Vladimír ŠtillBc. Martin UkropMgr. Lukáš Másilko