1-AIN-625 Úvod do matematickej logiky pre programátorov ZS 2010/11

Prednášky: utorok 16:30-18:30, m. M-III
Cvičenia: utorok 18:10-19:40, m. I-H3
Konzultácie: streda 14:00-15:00, m. I-16
Učiteľ: Ján Komara

Novinky

O kurze

Tu nájdete všeobecné informácie o kurze 1-AIN-625 Úvod do matematickej logiky pre programátorov.

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)

Cvičenia

• 1. cvičenie (výsledky)
• zobraz modul Ex01a - začíname s CL
• zobraz modul Ex01b - primitívne rekurzívne (p.r.) funkcie
• 2. cvičenie (výsledky)
• zobraz modul Ex02a - základný vývoj p.r. funkcií
• zobraz modul Ex02b - p.r. predikáty, ohraničená minimalizácia
• 3. cvičenie (výsledky)
• zobraz modul Ex03a - Cantorova párovacia funkcia a aritmetizácia (Gödelizácia)
• zobraz modul Ex03b - Catalanova párovacia funkcia
• zobraz modul Ex03c - 'course of values recursion'
• 4. cvičenie (výsledky)
• zobraz modul Ex04a - spätná rekurzia
• zobraz modul Ex04b - rekurzia so substitúciou v parametri, prípad p.r., k = 1, n = 1
• 5. cvičenie (výsledky)
• zobraz modul Ex05a - rekurzia so substitúciou v parametri, prípad p.r., k = 2, n = 1
• zobraz modul Ex05b - rekurzia so substitúciou v parametri, obecný prípad
• 6. cvičenie (výsledky)
• zobraz modul Ex06 - vnorená jednoduchá rekurzia
• 7. cvičenie (výsledky)
• zobraz modul Ex07 - univerzálna funkcia pre primitívne rekurzívne funkcie
• 8. cvičenie (výsledky)
• zobraz modul Ex08 - efektívne operácie na primitívne rekurzívnych indexoch
• 9. cvičenie (výsledky)
• zobraz modul Ex09a - Ackermann-Péterovej funkcia
• zobraz modul Ex09b - obecne rekurzívne funkcie
• 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

Testy

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

Skúška

Hodnotenie

Tu sa nachádza súhrn vašich výsledkov (celkové hodnotenie).

Staršie správy