1-INF-465 Deklaratívne programovanie LS 2007/08

Prednášky: utorok 16:30-18:00, m. M-II
Cvičenia: utorok 18:10-19:40, m. I-H3
Konzultácie: streda o 18:10-19:40, m. I-H3
Učiteľ: Ján Komara

Novinky

O kurze

Tu nájdete základné informácie: 1-INF-465 Deklaratívne programovanie

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 - primitívna rekurzia
• 2. cvičenie
• zobraz modul Ex02a - rekurzia s mierou
• zobraz modul Ex02b - definície predikátov
• 3. cvičenie
• zobraz modul Ex03a - chvostová rekurzia a iterácia
• zobraz modul Ex03b - celočíselná odmocnina (názorný príklad)
• 4. cvičenie
• zobraz modul Ex04a - rekurzia na notácií a binárna aritmetika
• zobraz modul Ex04b - dyadická aritmetika a slovné úlohy
• zobraz modul Ex04c - párovacia funkcia a kódovanie do prirodzených čísel (aritmetizácia)
• 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 Ex07 - polia
• 8. cvičenie
• zobraz modul Ex08a - binárne stromy
• zobraz modul Ex08b - binárne vyhľadávacie stromy
• 9. cvičenie
• zobraz modul Ex09a - symbolické výrazy a numerické termy
• zobraz modul Ex09b - Braunové stromy a flexibilné polia
• 10. cvičenie
• zobraz modul Ex10a - haldy a prioritné fronty
• zobraz modul Ex10b - obecné stromy
• 11. cvičenie
• zobraz modul Ex11 - výroková logika a rozpoznávanie tautológií
• 12. cvičenie
• zobraz modul Ex12a - začíname s XHTML
• zobraz modul Ex12b - tabulka hodnôt pre unárnu funkciu
• zobraz modul Ex12c - tabulka hodnôt pre binárnu funkciu

Testy

• 1. test (zadanie) (riešenia) (výsledky)
• 2. test (zadanie) (riešenia) (výsledky)
• opravný test (zadanie) (riešenia) (výsledky)
• 3. test (zadanie) (riešenia) (výsledky)
• 4. test (prvý opravný termín) (README) (zadanie) (riešenia) (výsledky)
• 5. test (druhý opravný termín) (README) (zadanie) (riešenia) (výsledky)

Tu nájdete súbor obsahujúci termíny na testy počas skúšobného obdobia. Je priebežne aktualizovaný.

Prémiové úlohy

• 1. prémiová úloha (zadanie) (výsledky)
• zobraz modul Ul01
• 2. prémiová úloha (zadanie) (výsledky)
• zobraz modul Ul02
• 3. prémiová úloha (zadanie) (výsledky)
• zobraz modul Ul03
• 4. prémiová úloha (zadanie) (výsledky)
• zobraz modul Ul04

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, spresnenie na 1. prednáške.

Staršie správy