1-AIN-430: Programovacie paradigmy 2026/2027

Peter Borovanský (I-18)

borovanii.fmph.uniba.sk

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

Výuka:

• prednáška: Peter Borovanský. Pondelok 10:40, M-X
• cvičenie: Peter Borovanský/Filip Kerák, Streda 9:50, M-XI
• 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
• kto nezíska 15 bodov počas semestra [rozcvičky+midterm], 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. [ 21. 9. ] Úvod do programovacích paradigiem (cv. 28.9.)
2. [ 23. 9. ] Funkcionálne programovanie, Haskell - úvod, číselné funkcie, rekurzia, zoznamy (cv. 30.9.)
3. [ 5. 10. ] Rekurzia na zoznamoch, List comprehension, stromy, funkcionály (cv. 12.10.)
4. [ 7. 10. ] Funkcionály, backtracking (cv. 14.10.)
5. [ 19. 10. ] Funkcionálna lenivosť, generátory v Haskelli (cv. 21.10.)
6. [ 26. 10. ] Úvod do jazyka Go (cv. 28.10.)
7. [ 2.11. dekanské voľno ]
8. [ 4. 11. ] Konkurencia v Go (cv. 11.11.)
9. [ 9. 11. ] Networking v Go (cv. 16.11.)
10. [ 18. 11. ] Blockchain v Go
11. [ 23.11. 11. ] Logické programovanie - úvod (cv. 25.11.)
12. [ 30. 11. ] Rekurzia, iterácia, nedeterministické programy (backtracking) (cv. 2.12.)
13. [ 7. 12. ] Nedeterministické programy (backtracking) (cv. 9.12.)
14. [ 14. 12. ] Záver "zebra" problem alebo kto chová rybičky - záver (cv. 14.12.)

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