IB015/T01: Čt 1. 10. až Ne 20. 12. St 16:15–18:40 KOM 116, Nepřihlašuje se. Určeno pro studenty se zdravotním postižením.
IB015/01: Pá 12:00–13:50 B130, M. Jonáš
IB015/02: Čt 16:00–17:50 B130, M. Jonáš
IB015/03: St 12:00–13:50 B130, J. Mrázek
IB015/04: Čt 12:00–13:50 B130, V. Štill
IB015/05: Čt 14:00–15:50 B130, M. Ukrop
IB015/06: Čt 8:00–9:50 B130, M. Ukrop
IB015/07: Pá 10:00–11:50 B130, T. Szaniszlo
IB015/08: St 8:00–9:50 B130, T. Szaniszlo
IB015/09: Čt 18:00–19:50 B130, J. Major
IB015/10: St 18:00–19:50 B130, J. Major
IB015/11: Út 14:00–15:50 B130, V. Štill
IB015/12: Pá 8:00–9:50 B130, M. Škrovina
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.
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. info
LIPOVAČ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. URLinfo
BLACKBURN, Patrick a Johan BOS. Learn Prolog Now! London: College Publications, 2016. Texts in Computing, volume 7. ISBN 1-904987-17-6. URLinfo
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" za domácí úlohy a aktivitu ve cvičení.