2-AIN-266 Deklaratívne programovanie LS 2021/22

Prednášky: pondelok 10.40 2h, M-II online
Cvičenia: pondelok 12.20 2h, I-H6 online
Konzultácie: po dohode
Učiteľ: Ján Komara

Novinky

O kurze

Tu nájdete všeobecné informácie o kurze.

Literatúra

• J. Komara. Recursive Functions. Downloadable lecture notes available through the web page of the course.
• J. Komara and P. J. Voda. Lecture Notes in Theory of Computability. 2001. (PostScript) (Adobe Acrobat Document)
• J. Komara and P. J. Voda. Metamathematics of Computer Programming. 2001. (PostScript) (Adobe Acrobat Document)
• I. Korec. Úvod do teórie algoritmov. Skriptá MFF UK, 1981.

Prednášky

Tu nájdete záznamy prednášok (slajdy). Sú priebežne dopĺňané.

Cvičenia

• 1. cvičenie (výsledky)
• zobraz modul Ex01a - začíname s CL
• zobraz modul Ex01b - primitívne rekurzívne funkcie
• 2. cvičenie (výsledky)
• zobraz modul Ex02a - explicitné definície
• zobraz modul Ex02b - primitívne rekurzívne definície
• zobraz modul Ex02c - primitívne rekurzívne predikáty a ohraničená minimalizácia
• 3. cvičenie (výsledky)
• zobraz modul Ex03a - Cantorova párovacia funkcia a aritmetizácia dátových štruktúr
• zobraz modul Ex03b - Catalanova párovacia funkcia
• zobraz modul Ex03c - 'course-of-values' rekurzia
• 4. cvičenie (výsledky)
• zobraz modul Ex04a - spätná rekurzia
• zobraz modul Ex04b - rekurzia so substitúciou v parametri
• zobraz modul Ex04c - vnorená jednoduchá rekurzia
• 5. cvičenie (výsledky)
• zobraz modul Ex05a - rekurzia s mierou
• zobraz modul Ex05b - deklaratívne programovanie
• 6. cvičenie (výsledky)
• zobraz modul Ex06a - poza primitívnu rekurziu: Ackermannova funkcia
• zobraz modul Ex06b - poza primitívnu rekurziu: univerzálna funkcia pre primitívne rekurzívne funkcie
• 7. cvičenie (výsledky)
• zobraz modul Ex07a - obecne rekurzívne funkcie
• zobraz modul Ex07b - μ-rekurzívne funkcie
• zobraz modul Ex07c - efektívne operácie na primitívne rekurzívnych indexoch
• 8. cvičenie je test
• 9. cvičenie (výsledky)
• zobraz modul Ex09 - aritmetizácia výpočtového modelu pre čiastočne rekurzívne funkcie
• 10. cvičenie (výsledky)
• zobraz modul Ex10 - Kleeneho veta o normálnej forme pre čiastočne rekurzívne funkcie
• 11. cvičenie (výsledky)
• zobraz modul Ex11 - rekurzívne rozhodnuteľné, polorozhodnuteľné a nerozhodnuteľné problémy

Testy

• 1. test (zadanie) (riešenia) (výsledky)

Hodnotenie

Spôsob hodnotenia:

• A = aspoň 90 bodov

• B = aspoň 80 bodov

• C = aspoň 70 bodov

• D = aspoň 60 bodov

• E = aspoň 50 bodov

Toto je len základný rámec, spresnenie na 1. prednáške.

Staršie správy