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 | LPP zima 2011/12

English version

1-AIN-625 Úvod do matematickej logiky pre programátorov ZS 2012/13

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

Novinky

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

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

13.12.2012 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 - 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 (Gödelizácia)
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 Ex07 - rekurzia s mierou

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 je prednáška
12. cvičenie je prednáška

Testy

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

26.11.2012 Test z 20.11 je opravený.

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

1.10.2012 Pridaný súbor obsahujúci celkové hodnotenie

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

Posledná zmena: 2013-02-07T20:38+0100