Umiestnenie: LPP | Výučba | CL Homepage | KAI | FMFI UK v Bratislave

Súvisiace: Download | LPP zima 2007/08 | LPP zima 2008/09 | LPP zima 2009/10 | LPP zima 2010/11

English version

1-AIN-625 Úvod do matematickej logiky pre programátorov ZS 2011/12

Prednášky: utorok 14:50-16:20, m. F1-108
Cvičenia: utorok 16:30-18:00, m. I-H3
Konzultácie: streda 14:00-14:30, m. I-16
Učiteľ: Ján Komara

Novinky

27.12.2011 Pridaný súbor obsahujúci otázky na skúšku.

15.12.2011 Na riadne termíny sa zapisujte cez AIS2. Požiadavka: priebežné semestrálne hodnotenie aspoň 20 bodov (podľa AIS2).

15.12.2011 priebežne aktualizované. Konzultácie počas skúšobného obdobia.

... tu nájdete ostatné správy.

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.

... ďalšia literatúra.

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 - základný vývoj primitívne rekurzívnych funkcií
zobraz modul Ex03b - primitívne rekurzívne predikáty a ohraničená minimalizácia

4. cvičenie (výsledky)

zobraz modul Ex04a - Cantorova párovacia funkcia a aritmetizácia (Gödelizácia)
zobraz modul Ex04b - Catalanova párovacia funkcia

5. cvičenie (výsledky)

zobraz modul Ex05a - spätná rekurzia
zobraz modul Ex05b - rekurzia so substitúciou v parametri

6. cvičenie (výsledky)

zobraz modul Ex06 - vnorená jednoduchá rekurzia

7. cvičenie (výsledky)

zobraz modul Ex07a - rekurzia s mierou
zobraz modul Ex07b - efektívne operácie na primitívne rekurzívnych indexoch

8. cvičenie (výsledky)

zobraz modul Ex08a - Ackermann-Péterovej funkcia
zobraz modul Ex08b - obecne rekurzívne funkcie

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

Testy

test z 22.11.2011 (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

23.11.2011 Test z 22.11 je opravený.

19.10.2011 Pridaný súbor obsahujúci celkové hodnotenie.

6.10.2011 Úlohy z druhej časti 3. cvičenia (modul Ex03b) stačí odovzdať o týždeň neskôr.

* – aktualizované v priebehu posledných 7 dní

Posledná zmena: 2013-02-07T18:28+0100