1-AIN-430: Programovacie paradigmy 2020/2021
Peter Borovanský (I-18)
borovan
ii.fmph.uniba.sk
http://dai.fmph.uniba.sk/courses/PARA/
Kurz je úvodom do troch programovacích paradigiem, konkurentnej, funkcionálnej a logickej, programujeme v jazykoch Go, Haskell, Prolog
Výuka:
- prednáška: Pondelok, 11:30, M-VII
- cvičenie: Utorok, 16:30, M-XII (Peter Borovanský, Martina Bodišová)
- domáce úlohy: termím vždy do ďalšej nedele 23:59 (opravuje Martina Bodišová)
- MS-Teams:univerzitné konto (priezvisko@uniba.sk), prihlasovací kód je rclngbt
- git:
prednášky,
kód,
niektoré študentské riešenia
- konzultácie: kedykolvek po e-dohode s vyučujúcim/cvičiacimi,
kalendár
- Prihlásenie do systému: [L.I.S.T]
Hodnotenie:
-
A (103-...), B (91-102), C (79-90), D (67-78), E (55-66), Fx (0-54)
- 24 bodov - formou 10-15 min. rozcvičiek počas výuky (12 x 2)
- 45 bodov - súčasťou všetkých cvičení sú povinné domáce úlohy hodnotené 3 bodmi, tri z nich sú náročnejšie a sú hodnotené 6 bodmi
- 20 bodov - midterm, 30.11. o 14:00, online
(
2019,
2018,
2017,
2016,
2015,
2014,
...)
- rôzne prémiové úlohy, body z nich sú úplne rovnocenné klasickým bodom z DÚ
- 30 bodov - skúška (pri počítači a s internetom :)
- kto nezíska 30 bodov počas semestra [rozcvičky+domáce úlohy+midterm+prémie], má automaticky Fx
- kto získa 85 bodov počas semestra [rozcvičky+domáce úlohy+midterm+prémie], má automaticky A do indexu, bez skúšky
Sylabus:
-
(21.9.), Úvod do programovacích paradigiem
-
(28.9.), Úvod do jazyka Go
-
(5.10.), Konkurencia v Go
-
(12.10.), Networking v Go
-
(19.10.), Blockchain v Go
-
(26.10.), Funkcionálne programovanie, Haskell - úvod, číselné funkcie, rekurzia, zoznamy
-
(2.11.), Rekurzia na zoznamoch, List comprehension, stromy, funkcionály
-
(9.11.), Funkcionály, backtracking
-
(16.11.), Funkcionálna lenivosť, generátory v Haskelli
-
(23.11.), Logické programovanie - úvod
-
(30.11.), Rekurzia, iterácia, nedeterministické programy (backtracking)
-
(30.11., 14:00), MIDTERM
-
(7.12.), Programovanie s ohraničeniami (CLP), hľadanie cesty, logické hlavolamy
-
(14.12.), Záver "zebra" problem alebo kto chová rybičky - záver
Software, manuály, linky, ...
-
Starý kurz: 2018/2019
-
http://golang.org
-
http://www.haskell.org/hugs/
-
http://www.swi-prolog.org/
-
http://eclipseclp.org/
Pravidlá:
- na cvičení sa rieši
bodovaná rozcvička (na papieri - kým sme prezenčne), potom sa spoločne riešia príklady k téme predchádzajúcej prednášky
- po každom cvičení dostanete povinnú domácu úlohu, ktorú treba odovzdať do určeného termínu (cca nasledujúci víkend), je zverejnená v L.I.S.T.e,
- na konci každej paradigmy (konkurentná, funkcionálna, logická) odovzdáte riešenie bodovanej úlohy (trikrát 6 bodov)
- v priebehu semestra vypíšeme niekoľko prémiových úloh, za ktoré je možné získať body
- všetky úlohy sa riešia samostatne, skupinové riešenia sa neakceptujú