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

Súvisiace: Download | DP leto 2005/06 | DP leto 2006/07 | DP leto 2007/08

1-INF-465 Deklaratívne programovanie LS 2008/09

Prednášky: pondelok 12:20-13:50, m. F1-328
Cvičenia: pondelok 18:10-19:40, m. I-H3
Konzultácie: štvrtok o 18:10-19:40, m. I-H3
Učiteľ: Ján Komara

Novinky

23.4.2009 priebežne aktualizované. Testy počas skúšobného obdobia.

23.4.2009 priebežne aktualizované. Konzultácie počas skúšobného obdobia.

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

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 - klauzálny jazyk
zobraz modul Ex03b - chvostová rekurzia a iterácia
zobraz modul Ex03c - 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 - Cantorova párovacia funkcia a aritmetizácia (Gödelizácia)

5. cvičenie

zobraz modul Ex05a - Catalanova párovacia funkcia
zobraz modul Ex05b - zoznamy
zobraz modul Ex05c - 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 - Braunove stromy a flexibilné polia
zobraz modul Ex09b - haldy a prioritné fronty

10. cvičenie

zobraz modul Ex10a - obecné stromy
zobraz modul Ex10b - symbolické výrazy a numerické termy

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)

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

4.6.2009 Test zo 4.6.2009 je opravený.

14.5.2009 Test z 14.5.2009 je opravený.

10.5.2009 Prémiová úloha 4 je opravená.

28.4.2009 Tu nájdete zadanie prémiovej úlohy 4.

28.4.2009 2. test z 27.4.2009 je opravený.

26.4.2009 Prémiová úloha 3 je opravená.

21.4.2009 Tu nájdete zadanie prémiovej úlohy 3.

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

19.4.2009 Prémiové úlohy 1,2 sú opravené.

8.4.2009 Tu nájdete zadania prémiových úloh 1,2.

6.4.2009 Termín 2. testu: pondelok 27.4.2009 o 18:10 v I-H3.

24.3.2009 1. test z 23.3.2009 je opravený.

11.3.2009 Termín 1. testu: pondelok 23.3.2009 o 18:10 v H3.

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

Posledná zmena: 2013-02-07T18:52+0100