1-AIN-430: Programovacie paradigmy 2020/2021

Peter Borovanský (I-18)

borovanii.fmph.uniba.sk

http://dai.fmph.uniba.sk/courses/PARA/

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:

1. (21.9.), Úvod do programovacích paradigiem
2. (28.9.), Úvod do jazyka Go
3. (5.10.), Konkurencia v Go
4. (12.10.), Networking v Go
5. (19.10.), Blockchain v Go
6. (26.10.), Funkcionálne programovanie, Haskell - úvod, číselné funkcie, rekurzia, zoznamy
7. (2.11.), Rekurzia na zoznamoch, List comprehension, stromy, funkcionály
8. (9.11.), Funkcionály, backtracking
9. (16.11.), Funkcionálna lenivosť, generátory v Haskelli
10. (23.11.),  Logické programovanie - úvod
11. (30.11.),  Rekurzia, iterácia, nedeterministické programy (backtracking)
12. (30.11., 14:00),  MIDTERM
13. (7.12.),  Programovanie s ohraničeniami (CLP), hľadanie cesty, logické hlavolamy
14. (14.12.),  Záver "zebra" problem alebo kto chová rybičky - záver

Software, manuály, linky, ...

1. Starý kurz: 2018/2019
2. http://golang.org
3. http://www.haskell.org/hugs/
4. http://www.swi-prolog.org/
5. http://eclipseclp.org/

• 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ú