Záznamy prednášok (slajdy) pre kurz 1-AIN-625 Úvod do matematickej logiky pre programátorov ZS 2012/13

Prednášky

• 1. prednáška - primitívne rekurzívne funkcie.
• 2. prednáška - poza primitívnu rekurziu: univerzálna funkcia pre primitívne rekurzívne funkcie.
• 3. prednáška - základný vývoj primitívne rekurzívnych funkcií, primitívne rekurzívne predikáty a ohraničená minimalizácia.
• 4. prednáška - primitívne rekurzívne predikáty a ohraničená minimalizácia, spätná rekurzia.
• 5. prednáška - párovacia funkcia, aritmetizácia dátových štruktúr (Gödelizácia), 'course-of-values' rekurzia. (posledná aktualizácia 21.10.2012)
• 6. prednáška - rekurzia so substitúciou v parametri, vnorená jednoduchá rekurzia.
• 7. prednáška - rekurzia s mierou. (posledná aktualizácia 31.10.2012)
• 8. prednáška - Ackermannova funkcia, obecne rekurzívne funkcie, μ-rekurzívne funkcie. (posledná aktualizácia 7.11.2012)
• 9. prednáška - deklaratívne programovanie, efektívne operácie na primitívne rekurzívnych indexoch.
• 10. prednáška - Kleeneho prvá veta o rekurzii (veta o pevnom bode), čiastočne rekurzívne funkcie.
• 11. prednáška - rekurzívne definície, ekvivalentnosť výpočtovej a definičnej sémantiky, čiastočne rekurzívne funkcie, Kleeneho veta o normálnej forme, čiastočne μ-rekurzívne funkcie, Church-Turingova téza.
• 12. prednáška - enumerácia čiastočne rekurzívnych funkcií (rekurzívne indexy, enumeračná čiastočná funkcia), Turingova úplnosť a totálne funkcionálne programovanie, rekurzívne rozhodnuteľné, polorozhodnuteľné a nerozhodnuteľné problémy.