2-INF-264 Teória deklaratívneho programovania ZS 2015/16

Prednášky: pondelok 10:40-12:10, m. I-9
Cvičenia: pondelok 12:20-13:50, m. F1-248
Konzultácie: štvrtok 13:00-13:30, m. I-16
Učiteľ: Ján Komara

Novinky

O kurze

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

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 Ex02 - poza primitívnu rekurziu: univerzálna funkcia pre primitívne rekurzívne funkcie
• 3. cvičenie (výsledky)
• zobraz modul Ex03a - explicitné definície
• zobraz modul Ex03b - primitívne rekurzívne definície
• 4. cvičenie (výsledky)
• zobraz modul Ex04a - primitívne rekurzívne predikáty a ohraničená minimalizácia
• zobraz modul Ex04b - spätná rekurzia
• 5. cvičenie (výsledky)
• zobraz modul Ex05a - Cantorova párovacia funkcia a aritmetizácia karteziánskeho súčinu
• zobraz modul Ex05b - Catalanova párovacia funkcia
• zobraz modul Ex05c - rekurzia so substitúciou v parametri
• 6. cvičenie (výsledky)
• zobraz modul Ex06a - vnorená jednoduchá rekurzia
• zobraz modul Ex06b - rekurzia s mierou
• 7. cvičenie (výsledky)
• zobraz modul Ex07a - poza primitívnu rekurziu: Ackermannova funkcia
• zobraz modul Ex07b - obecne rekurzívne funkcie
• zobraz modul Ex07c - μ-rekurzívne funkcie
• 8. cvičenie (výsledky)
• zobraz modul Ex08a - deklaratívne programovanie
• zobraz modul Ex08b - efektívne operácie na primitívne rekurzívnych indexoch
• 9. cvičenie je test
• 10. cvičenie (výsledky)
• zobraz modul Ex10 - aritmetizácia výpočtového modelu pre čiastočne rekurzívne funkcie
• 11. cvičenie (výsledky)
• zobraz modul Ex11 - Kleeneho veta o normálnej forme pre čiastočne rekurzívne funkcie
• 12. cvičenie (výsledky)
• zobraz modul Ex12 - rekurzívne rozhodnuteľné, polorozhodnuteľné a nerozhodnuteľné problémy

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.

Testy

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

Hodnotenie

Tu sa nachádza súbor obsahujúci celkové hodnotenie.

Staršie správy