1-INF-450 Logika pre informatikov ZS 2006/07

Prednášky: štvrtok 9:50-11:20, m. M-IV
Cvičenia: štvrtok 18:10-19:40, m. I-H6
Konzultácie: štvrtok 13:00-14:00, m. I-16
Učitelia: Ján Komara , Ján Kľuka

Novinky

• 22.1.2007. Ako prípravu ku kapitole 'Nested Simple Recursion' používajte vaše poznámky z prednášky a zadanie 6. cvičenia.
• 17.12.2006. Termíny na skúšku nájdete tu.

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

O kurze

Tu nájdete základné informácie: 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)

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
• zobraz modul Ex02c - kódovanie konečných postupností (prvočíselný rozklad)
• 3. cvičenie (výsledky)
• zobraz modul Ex03a - Cantorova párovacia funkcia
• zobraz modul Ex03b - 'course of values recursion'
• zobraz modul Ex03c - Catalanova párovacia funkcia
• 4. cvičenie (výsledky)
• zobraz modul Ex04a - spätná rekurzia
• zobraz modul Ex04b - rekurzia so substitúciou v parametri, prípad k = 1
• 5. cvičenie (výsledky)
• zobraz modul Ex05a - rekurzia so substitúciou v parametri, prípad k = 2
• zobraz modul Ex05b - 'postorder traversal'
• 6. cvičenie (výsledky)
• zobraz modul Ex06a - pomocné funkcie pre 'nested simple recursion'
• zobraz modul Ex06b - 'nested simple recursion'
• 7. cvičenie (výsledky)
• zobraz modul Ex07a - rekurzia s mierou
• zobraz modul Ex07b - univerzálna funkcia pre p.r. funkcie
• 8. cvičenie (výsledky)
• zobraz modul Ex08 - efektívne operácie na p.r. indexoch
• 9. cvičenie (výsledky)
• zobraz modul Ex09 - efektívne operácie na p.r. indexoch
• 11. cvičenie (výsledky)
• zobraz modul Ex11 - aritmetizácia výpočtového modelu pre obecne rekurzívne funkcie
• 12. cvičenie (výsledky)
• zobraz modul Ex12 - obecne rekurzívne funkcie

Testy

• test z 30.11.2006 (zadanie) (riešenia) (výsledky)

Skúška

Termíny na skúšku:

• štvrtok 11.1.2007
• utorok 16.1.2007
  • 13:00 - Maroš Bajtoš
  • 15:00 - Matej Vince
• utorok 23.1.2007
  • 09:00 - Ján Kliman
  • 11:00 - Peter Gazdík
  • 15:00 - Zuzana Sekerková
  • 17:00 - Marek Sagan
• utorok 30.1.2007
  • 09:00 - Martin Bies
  • 11:00 - Milutín Krištofič
  • 13:00 - Peter Galiovský
  • 15:00 - Tomáš Váňa
  • 17:00 - Maroš Bajtoš
• utorok 6.2.2007 (1. opravný termín)
• 09:00 - Matej Vince
• 11:00 - Zuzana Sekerková
• 13:00 - Marek Sagan
• 15:00 - Martin Bies
• 17:00 - Milutín Krištofič
• štvrtok 8.2.2007 (1. opravný termín)
  • 11:00 - Tomáš Váňa

Hodnotenie

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

Staršie správy

• 3.12.2006. Test je opravený.

• 12.11.2006. Test bude vo štvrtok 30.11 na cvičení.

• 18.11.2006. Druhú prémiovú úlohu, ktorá sa nachádza v module Ex08, neriešte (fcia Xcantor(e)). Na nasledujúcej prednáške sa jej budeme venovať.

• 26.10.2006. Konzultácia zo 6. cvičenia je v pondelok 6.11.2006 o 15:00-16:00, m. I15

• 20.10.2006. Konzultácie: každý štvrtok o 13:00-14:00, m. I15

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

• 5.10.2006. Pridaná sekcia obsahujúca študijné materiály k prednáškam.

• 5.10.2006. Prémiovu úlohu, ktorá sa nachádza v module Ex03c (Catalanova párovacia funkcia), stačí odovzdať o týždeň neskôr. Požiadal ma o to jeden z vašich spolužiakov.

• 29.9.2006. Prémiové úlohy, ktoré sa nachádzajú v module Ex02c, stačí odovzdať o týždeň neskôr. Na nasledujúcej prednáške sa k týmto úloham ešte raz vrátime.

• 29.9.2006. Od dnešného dňa by mal fungovať prenos súborov do adresárov

  /data/vyuka/inf/cl/1-INF-450-lpi/prenos/ex/ex<ord>/<user>/ Všimnite si, že tieto adresáre sa líšia od tých, ktoré boli uvedené na cvičeniach: /data/vyuka/inf/cl/1-INF-450/prenos/ex/ex<ord>/<user>/ /data/vyuka/inf/cl/M-INBP-004/prenos/ex/ex<ord>/<user>/