1-AIN-430: Programovacie paradigmy 2023/2024

Peter Borovanský (I-18)

borovanii.fmph.uniba.sk

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

Výuka:

• prednáška: pondelok, 12:20, M-III
• cvičenie: štvrtok, 9:50, M-III (Peter Borovanský, Filip Kerák)
• domáce úlohy: termím vždy do ďalšej nedele 23:59
• 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 min. rozcvičiek počas cvičenia (12 x 2), prezenčne na papier, online do LISTu
• 45 bodov - povinné domáce úlohy zverejnené po cvičení, hodnotené 3 bodmi a tri z nich sú náročnejšie (na konci každého para bloku), tie sú hodnotené 6 bodmi (9x3+3x6)
• 20 bodov - midterm - koniec novembra, po funkcionálnom bloku, termín upresníme,
• 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

1. [ 18. 9. ] Úvod do programovacích paradigiem
2. [ 25. 9. ] Úvod do jazyka Go
3. [ 2. 10. ] Konkurencia v Go
4. [ 9. 10. ] Networking v Go
5. [ 16. 10. ] Blockchain v Go
6. [ 23. 10. ] Funkcionálne programovanie, Haskell - úvod, číselné funkcie, rekurzia, zoznamy
7. [ 30. 11. ] Rekurzia na zoznamoch, List comprehension, stromy, funkcionály
8. [ 6. 11. ] Funkcionály, backtracking
9. [ 13. 11. ] Funkcionálna lenivosť, generátory v Haskelli
10. [ 20. 11. ] Logické programovanie - úvod
11. [ 27. 11. ] Rekurzia, iterácia, nedeterministické programy (backtracking)
12. (7.12.),  MIDTERM
13. [ 4. 12. ] Nedeterministické programy (backtracking)
14. (11.12.),  Záver "zebra" problem alebo kto chová rybičky - záver

Software, manuály, linky, ...

1. http://golang.org
2. https://www.haskell.org/downloads/
3. Haskell Platform
4. Chocolatey
5. http://www.swi-prolog.org/
6. 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ú