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

Súvisiace: Download

English version

1-AIN-625 Úvod do matematickej logiky pre programátorov ZS 2007/08

Prednášky: utorok 16:30-18:00, m. M-III
Cvičenia: štvrtok 16:30-18:00, m. I-H6
Konzultácie: pondelok 14:00-15:00, m. I-16
Učiteľ: Ján Komara

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 1-AIN-625 Úvod do matematickej logiky pre programátorov.

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)

Cvičenia

1. cvičenie (výsledky)

zobraz modul Ex01a - začíname s CL
zobraz modul Ex01b - primitívne rekurzívne odvodenia
zobraz modul Ex01c - explicitné definície, primitívne rekurzívne definície

2. cvičenie (výsledky)

zobraz modul Ex02a - ohraničené kvantifikátory, ohraničená minimalizácia
zobraz modul Ex02b - kódovanie dvojíc pomocou mocnín prvočísel (názorný príklad)

3. cvičenie (výsledky)

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

4. cvičenie (výsledky)

zobraz modul Ex04b - 'course of values recursion'
zobraz modul Ex04b - spätná rekurzia

5. cvičenie (výsledky)

zobraz modul Ex05a - rekurzia so substitúciou v parametri, prípad k = 1
zobraz modul Ex05b - rekurzia so substitúciou v parametri, prípad k = 2

6. cvičenie (výsledky)

zobraz modul Ex06 - pomocné funkcie pre 'nested simple recursion'

7. cvičenie (výsledky)

zobraz modul Ex07a - pomocné funkcie pre 'nested simple recursion' (dokončenie)
zobraz modul Ex07b - 'nested simple recursion'

8. cvičenie (výsledky)

zobraz modul Ex08 - rekurzia s mierou

9. cvičenie (výsledky)

zobraz modul Ex09a - Ackermann-Péterovej funkcia
zobraz modul Ex09b - univerzálna funkcia pre primitívne rekurzívne funkcie

10. cvičenie (výsledky)

zobraz modul Ex10 - efektívne operácie na primitívne rekurzívnych indexoch

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

zobraz modul Ex12 - aritmetizácia výpočtového modelu pre čiastočne rekurzívne funkcie

13. cvičenie (výsledky)

zobraz modul Ex13 - Kleeneho veta o normálnej forme

Testy

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

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).

Staršie správy

29.11.2007 Test z 29.11 je opravený.

12.11.2007 Test bude vo štvrtok 29.11 na cvičení.

2.11.2007 Pridaný súbor obsahujúci zadanie 7. cvičenia.

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: 2013-02-07T18:42+0100