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

Súvisiace: Download | LPI zima 2006/07 | LPI zima 2007/08 | LPI zima 2008/09 | LPI zima 2009/10 | LPI zima 2010/11 | LPI zima 2011/12 | LPI zima 2012/13 | LPI zima 2013/14

English version

1-INF-450 Logika pre informatikov ZS 2014/15

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

Novinky

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

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

... 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 - 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 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 (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 3.12.2014 (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

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

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

4.12.2014 Test z 3.12 je opravený.

9.11.2014 Úlohy zo 6. cvičenia stačí odovzdať o týždeň neskôr.

27.10.2014 Termín 6. prednášky: utorok 4.11.2014 o 14:00 v m. I-9.

19.10.2014 Náhradný termín pre 5. prednášku: utorok 21.10.2014 o 14:50 v m. I-23.

13.10.2014 Náhradný termín pre 4. prednášku: streda 15.10.2014 o 9:50 v m. F1-248.

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

Posledná zmena: 2015-02-08T11:26+0100