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

Súvisiace: Download | LPI zima 2006/07 | LPI zima 2007/08

English version

1-INF-450 Logika pre informatikov ZS 2008/09

Prednášky: utorok 16:30-18:00, m. M-IV
Cvičenia: utorok 18:10-19:40, m. F1-248
Konzultácie: štvrtok 17:20-18:50, m. F1-248
Učiteľ: Ján Komara

Novinky

12.12.2008 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-INF-450 Logika pre informatikov.

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)

... ďalšia literatúra.

Cvičenia

1. cvičenie (výsledky)

zobraz modul Ex01a - začíname s CL
zobraz modul Ex01b - primitívne rekurzívne (p.r.) funkcie
zobraz modul Ex01c - základný vývoj (explicitné definície, p.r. definície)

2. cvičenie (výsledky)

zobraz modul Ex02a - ohraničená minimalizácia, p.r. predikáty
zobraz modul Ex02b - spätná rekurzia

3. cvičenie (výsledky)

zobraz modul Ex03a - Cantorova párovacia funkcia a aritmetizácia (Gödelizácia)
zobraz modul Ex03b - Catalanova párovacia funkcia
zobraz modul Ex03c - 'course of values recursion'

4. cvičenie (výsledky)

zobraz modul Ex04a - spätná rekurzia
zobraz modul Ex04b - rekurzia so substitúciou v parametri, prípad p.r., k = 1, n = 1

5. cvičenie (výsledky)

zobraz modul Ex05a - rekurzia so substitúciou v parametri, prípad p.r., k = 2, n = 1
zobraz modul Ex05b - rekurzia so substitúciou v parametri, obecný prípad

6. cvičenie (výsledky)

zobraz modul Ex06 - 'nested simple recursion'

7. cvičenie (výsledky)

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

8. cvičenie (výsledky)

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

9. cvičenie (výsledky)

zobraz modul Ex09a - Ackermann-Péterovej funkcia
zobraz modul Ex09b - obecne rekurzívne funkcie

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, rekurzívne indexy

13. cvičenie (výsledky)

zobraz modul Ex13 - rekurzívne rozhodnuteľné, polorozhodnuteľné a nerozhodnuteľné problémy

Testy

test z 25.11.2008 (zadanie) (riešenia) (výsledky)
test z 2.12.2008 (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).

Erráta

Tu nájdete erráta ku kurzu. Sú priebežne dopĺňané.

Staršie správy

12.12.2008 V zadaní 12. cvičenia je drobná chyba. Popis a riešenie tohto problému nájdete v sekcii erráta.

3.12.2008 Test z 2.12 je opravený.

26.11.2008 Náhradný termín z testu: utorok 2.12.

26.11.2008 Test z 25.11 je opravený.

20.11.2008 Úlohy z 9. cvičenia stačí odovzdať o týždeň neskôr.

11.11.2008 Test bude v utorok 25.11.

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

3.10.2008 Konzultácie sú vo štvrtok o 17:20-18:50, m. F1-248.

24.9.2008 Pri kompilácií jedného zo súborov pre 1. cvičenie môže vzniknúť chyba. Popis a riešenie tohto problému nájdete v sekcii erráta.

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

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