1-AIN-430: Programovacie paradigmy 2025/2026

Peter Borovanský (I-18)

borovanii.fmph.uniba.sk

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

Výuka:

• prednáška: pondelok, 8:10, M-XII
• cvičenie: štvrtok, 14:50, M-VII (Filip Kerák/Peter Borovanský)
• 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
• 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 cca 10 min. rozcvičiek počas cvičenia (12 x 2), prezenčne na papier
• 45 bodov - povinné domáce úlohy zverejnené deň po cvičení, hodnotené 3 bodmi ale 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 - cca 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
• 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. [ 22. 9. ] Úvod do programovacích paradigiem
2. [ 29. 9. ] Úvod do jazyka Go
3. [ 6. 10. ] Konkurencia v Go
4. [ 13. 10. ] Networking v Go
5. [ 20. 10. ] Blockchain v Go
6. [ 27. 10. ] Funkcionálne programovanie, Haskell - úvod, číselné funkcie, rekurzia, zoznamy
7. [ 3. 11. ] Rekurzia na zoznamoch, List comprehension, stromy, funkcionály
8. [ 10. 11. ] Funkcionály, backtracking
9. [ 17. 11. dekanské voľno ] Funkcionálna lenivosť, generátory v Haskelli
10. [ 24. 11. ] Logické programovanie - úvod
11. [ 1. 12. ] Rekurzia, iterácia, nedeterministické programy (backtracking)
12. MIDTERM
13. [ 8. 12. ] Nedeterministické programy (backtracking)
14. [ 15. 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, a spoločne sa 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 študent rieši samostatne, skupinové riešenia sa neakceptujú a penalizujú
• Vnútorný predpis rektora č. 2/2024 všeobecne upravuje používanie prostriedkov AI
• Intenciou pravidiel je, aby ste používali zdroje z internetu maximálne na drobné technické detaily, napr. ako sa konvertuje číslo do binárneho zápisu. Nemáte sťahovať celé algoritmy, preto vždy, ak väčšinu odovzdaného riešenia tvoria veci z internetu, očakávajte problémy pri opravovaní. Naopak, prospešné je, ak nájdete algoritmus, aj taký, ktorý ste dávno už mali vedieť, napríklad prehľadávanie do hĺbky, pochopíte ho, a potom napíšete vlastný kód