1-INF-450 Logika pre informatikov ZS 2013/14

Prednášky: utorok 14:50-16:20, m. I-9
Cvičenia: streda 09:50-11:20, m. F1-248
Konzultácie: pondelok 14:30-15:00, m. I-16
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 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 dátových štruktúr
• zobraz modul Ex05b - Catalanova párovacia funkcia
• zobraz modul Ex05c - 'course-of-values' rekurzia
• 6. cvičenie (výsledky)
• zobraz modul Ex06a - rekurzia so substitúciou v parametri
• zobraz modul Ex06b - vnorená jednoduchá rekurzia
• 7. cvičenie (výsledky)
• zobraz modul Ex07a - rekurzia s mierou
• zobraz modul Ex07b - poza primitívnu rekurziu: Ackermannova funkcia
• 8. cvičenie (výsledky)
• zobraz modul Ex08a - poza primitívnu rekurziu: Ackermannova funkcia
• zobraz modul Ex08b - obecne rekurzívne funkcie
• zobraz modul Ex08c - μ-rekurzívne funkcie
• 9. cvičenie (výsledky)
• zobraz modul Ex09a - deklaratívne programovanie
• zobraz modul Ex09b - efektívne operácie na primitívne rekurzívnych indexoch
• 10. cvičenie je test
• 11. cvičenie (výsledky)
• zobraz modul Ex11 - aritmetizácia výpočtového modelu pre čiastočne rekurzívne funkcie
• 12. cvičenie (výsledky)
• zobraz modul Ex12 - Kleeneho veta o normálnej forme pre čiastočne rekurzívne funkcie
• 13. cvičenie (výsledky)
• zobraz modul Ex13 - rekurzívne rozhodnuteľné, polorozhodnuteľné a nerozhodnuteľné problémy

Testy

• test z 27.11.2013 (zadanie) (riešenia) (výsledky)

Skúška

Tu sa nachádza súbor obsahujúci otázky na skúšku.

Hodnotenie

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

Staršie správy