1-INF-465 Deklaratívne programovanie LS 2005/06

Prednášky: utorok 16:30-18:00, m. F1-328
Cvičenia: utorok 18:10-19:40, m. I-H6
Učiteľ: Ján Komara

Novinky

• 6.7.2006. 5. test (druhý opravný termín): štvrtok 31.8.2006 v H6 o 14:00. Súbor (README)obsahuje pokyny pre tento test.

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

Literatúra

• J. Komara and P. J. Voda. Metamathematics of Computer Programming. 2001. (PostScript) (Adobe Acrobat Document)

Cvičenia

• 1. cvičenie
• zobraz modul Ex01a - vyhodnocovanie výrazov
• zobraz modul Ex01b - explicitné definície
• zobraz modul Ex01c - primitivná rekurzia
• 2. cvičenie
• zobraz modul Ex02a - rekurzia s mierou
• zobraz modul Ex02b - definície predikátov
• zobraz modul Ex02c - celočíselná odmocnina (názorný príklad)
• 3. cvičenie
• zobraz modul Ex03a - rekurzia na notácií a binárna aritmetika
• zobraz modul Ex03b - chvostová rekurzia a iterácia
• 4. cvičenie
• zobraz modul Ex04 - dyadická aritmetika a slovné úlohy
• 5. cvičenie
• zobraz modul Ex05a - zoznamy
• zobraz modul Ex05b - operácie na zoznamoch
• 6. cvičenie
• zobraz modul Ex06a - kombinatorické funkcie na zoznamoch
• zobraz modul Ex06b - triedenie zoznamov
• zobraz modul Ex06c - konečné množiny ako zoznamy
• 7. cvičenie
• zobraz modul Ex07a - binárne stromy
• zobraz modul Ex07b - binárne vyhľadávacie stromy
• 8. cvičenie
• zobraz modul Ex08a - Braunové stromy a flexibilné polia
• zobraz modul Ex08b - haldy a prioritné fronty
• 9. cvičenie
• zobraz modul Ex09 - symbolické výrazy a numerické termy
• 10. cvičenie
• zobraz modul Ex10 - univerzálna funkcia pre primitívne rekurzívne funkcie
• poznámky
• 11. cvičenie
• zobraz modul Ex11 - výroková logika a rozpoznávanie tautológií
• 12. cvičenie
• zobraz modul Ex12 - polia

Testy

• 1. test (zadanie) (riešenia) (výsledky)
• 2. test (zadanie) (riešenia) (výsledky)
• opravný test (README) (zadanie) (riešenia) (výsledky)
• 3. test (zadanie) (riešenia) (výsledky)
  Termíny:
  • utorok 6.6.2006 v H6 o 14:00
  • Tomáš Váňa
  • Ján Kliman
  • Ján Kosa
  • Peter Gazdík
  • Boris Gergel
  • Martin Bies
  • Zuzana Sekerková
  • Matej Juračka
  • Matej Vince
  • Peter Galiovský
  • utorok 20.6.2006 v H6 o 14:00
  • Daniel Šimko
  • Milutín Krištofič
• 4. test (1. opravný termín) (README) (zadanie) (riešenia) (výsledky)
• 5. test (2. opravný termín) (README)

Prémiové úlohy

Termín odovzdania: najneskôr do pondelka 29.5.2006 do 18:00.
Konzultácie: v piatok 19.5.2006 o 18:10 v H6 alebo v utorok 23.5.2006 o 14:00 v H6 (I25).

Hodnotenie

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

Spôsob hodnotenia:

• A = aspoň 90 bodov

• B = aspoň 80 bodov

• C = aspoň 70 bodov

• D = aspoň 60 bodov

• E = aspoň 50 bodov

Toto je len základný rámec, viz. tiež 1. prednáška.

Staršie správy

• 28.6.2006. Test z 28.6.2006 je opravený.
• 13.6.2006. Pridaný súbor (README) obsahujúci pokyny pre 4. test (1. opravný termín).
• 6.6.2006. 3. test zo 6.6.2006 je opravený.
• 24.5.2006. Opravný test z 23.5.2006 je opravený.
• 20.5.2006. 2. test z 16.5.2006 je opravený.
• 19.5.2006. Pridaný súbor obsahujúci úlohy pre opravný test.
• 16.5.2006. Pridané prémiové úlohy.
• 13.5.2006. Náhradný termín pre 2. test: piatok 19.5.2006 o 18:10 v H6.
• 11.5.2006. Rozpis termínov pre skúšobné obdobie:
  • 3. test: utorok 6.6.2006 v H6 o 14:00,
  • 3. test: utorok 20.6.2006 v H6 o 14:00,
  • 4. test (prvý opravný termín): streda 28.6.2006 v H6 o 14:00.
  Na tieto termíny sa musíte prihlásiť najneskôr do 22.5.2006, t.j. do konca výučbovej časti letného semestra.
• 11.5.2006. Nový termín z opravného testu: utorok 23.5.2006 o 14:00 v H6. Pôvodný termín je zrušený.
• 11.5.2006. Náhradný termín z 2. testu: piatok 19.6.2006 o 18:10 v H6.
• 10.5.2006. Pridaný súbor obsahujúci vaše celkové hodnotenie .
• 10.5.2006. 2. test z 9.5.2006 je opravený.
• 2.5.2006. Termín opravného testu: utorok 16.5.2006 o 18:10 v H6.
• 2.5.2006. Prémiové úlohy (prednáška): utorok 16.5.2006 o 16:30 v F328.
• 25.4.2006. Termín 2. testu: utorok 9.5.2006 o 18:10 v H6.
• 6.4.2006. 1. test je opravený.
• 21.3.2006. Termín 1. testu: utorok 4.4.2006 o 18:10 v H6.