1-INF-465 Deklaratívne programovanie LS 2011/12

Výučba prebieha spolu s kurzom 1-AIN-505 Úvod do deklaratívneho programovania LS 2011/12. Tam nájdete ďalšie informácie.

Prednášky: pondelok 12:20-13:50, m. A
Cvičenia: pondelok 16:30-18:00, m. I-H6
Konzultácie: pondelok 14:00-14:30, m. I-16
Učitelia: Ján Kľuka , Ján Komara

Novinky

O kurze

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

Literatúra

• J. Kľuka. Prednášky z Úvodu do deklaratívneho programovania LS 2011/2012. (Adobe Acrobat Document)
• J. Komara and P. J. Voda. Metamathematics of Computer Programming. 2001. (PostScript) (Adobe Acrobat Document)
• Študijné materiály pre kurz 1-AIN-470 Špecifikácia a verifikácia programov LS 2011/12.

Cvičenia

Toto je výber cvičení z predmetu 1-INF-465 Deklaratívne programovanie LS 2010/11.

• 2. cvičenie
• zobraz modul Ex02b - definície predikátov
• 3. cvičenie
• zobraz modul Ex03c - celočíselná odmocnina (názorný príklad)
• 4. cvičenie
• zobraz modul Ex04c - Cantorova párovacia funkcia a aritmetizácia (Gödelizácia)
• 9. cvičenie
• zobraz modul Ex09a - Braunove stromy a flexibilné polia
• zobraz modul Ex09b - haldy a prioritné fronty

Testy

• 1. test (zadanie) (riešenia) (výsledky)
• 2. test (zadanie) (riešenia) (výsledky)
• Opravný semestrálny test (zadanie) (riešenia) (výsledky)
• 3. test (zadanie) (riešenia) (výsledky)

Hodnotenie

Tu sa nachádza súbor obsahujúci 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