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

Súvisiace: Download

English version

2-INF-121 Teória vypočítateľnosti ZS 2007/08

Prednášky: utorok 9:50-11:20, m. I
Cvičenia: utorok 11:30-13:00, m. M217
Konzultácie: pondelok 14:00-15:00, m. I16
Učiteľ: Ján Komara, m. I16, tel. 60295 727

Novinky

10.12.2007 priebežne aktualizované. Termíny na skúšku.

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

O kurze

Tu nájdete všeobecné informácie o kurze 2-INF-121 Teória vypočítateľnosti.

Literatúra

J. Komara and P. J. Voda. Lecture Notes in Theory of Computability. 2001. (PostScript) (Adobe Acrobat Document)
P. J. Voda. Theory of Recursive Functions & Computability. 2000. (PostScript)
I. Korec. Úvod do teórie algoritmov. Skriptá MFF UK, 1981

Prednášky

Tu nájdete študijné materiály k prednáškam. Sú priebežne dopĺňané.

Cvičenia

1. cvičenie (výsledky)

zobraz modul Ex01a - začíname s CL
zobraz modul Ex01b - induktívne definované triedy funkcií a niektoré efektívne operácie

2. cvičenie (výsledky)

zobraz modul Ex02a - primitívne rekurzívne funkcie (základný vývoj)
zobraz modul Ex02b - Cantorova párovacia funkcia a aritmetizácia (Gödelizácia)

3. cvičenie (výsledky)

zobraz modul Ex03a - 'course of values recursion'
zobraz modul Ex03b - Ackermann-Péterovej funkcia

4. cvičenie (výsledky)

zobraz modul Ex04 - univerzálna funkcia pre primitívne rekurzívne funkcie

5. cvičenie (výsledky)

zobraz modul Ex05 - μ-rekurzívne funkcie: vyjadrenie primitívnej rekurzie pomocou regulárnej minimalizácie

6. cvičenie (výsledky)

zobraz modul Mtm - Turingove stroje: formalizácia
zobraz modul Ex06a - Turingove stroje: príklady, 1. časť
zobraz modul Ex06b - Turingove stroje: príklady, 2. časť
zobraz modul Ex06c - Turingove stroje: príklady, 3. časť

7. cvičenie (výsledky)

zobraz modul Ex07 - aritmetizácia Turingových strojov, Kleeneho veta o normálnej forme

8. cvičenie (výsledky)

zobraz modul Ex08 - efektívne operácie na indexoch

9. cvičenie (výsledky)

zobraz modul Ex09 - rozhodnuteľné a nerozhodnuteľné problémy

10. cvičenie je test
11. cvičenie (výsledky)

zobraz modul Ex11 - polorozhodnuteľné problémy a čiastočne vypočítateľné predikáty

12. cvičenie (výsledky)

zobraz modul Ex12

Testy

test z 27.11.2007 (zadanie) (riešenia) (výsledky)

Prémiové úlohy

Skúška

Tu nájdete súbor obsahujúci termíny na skúšku. Je priebežne aktualizovaný.

Hodnotenie

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

Spôsob hodnotenia a ukončenia štúdia predmetu je 40/60. Toto je len základný rámec, viz. tiež 1. prednáška.

Staršie správy

29.11.2007 Test z 27.11 je opravený.

12.11.2007 Test bude v utorok 27.11 na cvičení.

12.11.2007 Pomocný modul Mxmrf pre 8.cvičenie obsahuje chybu v definícii predikátu Mrf1. V tomto súbore mxmrf.cl je táto chyba opravená.

11.10.2007 Konzultácie sú v pondelok o 14:00-15:00, m. I16.

3.10.2007 Pridaný súbor obsahujúci vaše celkové hodnotenie .

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

Posledná zmena: 2008-01-24T14:32+0100