1-INF-465 Deklaratívne programovanie LS 2014/15

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

Prednášky: pondelok 9:50-11:20, m. A
Cvičenia: utorok 16:30-18:00, m. I-H3
Konzultácie: streda 13:00-13: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. Komara. Declarative Programming. Downloadable lecture notes available through the web page of the course.
• J. Kľuka. Prednášky z Úvodu do deklaratívneho programovania LS 2014/2015. (Adobe Acrobat Document)
• J. Kľuka. Prednášky z Úvodu do deklaratívneho programovania LS 2013/2014. (Adobe Acrobat Document)
• J. Komara and P. J. Voda. Metamathematics of Computer Programming. 2001. (PostScript) (Adobe Acrobat Document)

Cvičenia

• 1. cvičenie

  • 1. cvičenie z predmetu 1-AIN-506 Úvodu do deklaratívneho programovania LS 2014/15

  • 1. cvičenie z predmetu 1-AIN-506 Úvodu do deklaratívneho programovania LS 2013/14

• 2. cvičenie

  • 2. cvičenie z predmetu 1-AIN-506 Úvodu do deklaratívneho programovania LS 2014/15

  • 2. cvičenie z predmetu 1-AIN-506 Úvodu do deklaratívneho programovania LS 2013/14

• 3. cvičenie

  • 3. cvičenie z predmetu 1-AIN-506 Úvodu do deklaratívneho programovania LS 2014/15

  • 3. cvičenie z predmetu 1-AIN-506 Úvodu do deklaratívneho programovania LS 2013/14

• 4. cvičenie

  • Cantorova párovacia funkcia a aritmetizácia karteziánskeho súčinu

  • stiahni zadanie, zobraz zadanie, stiahni študijné materiály

  • 4. cvičenie z predmetu 1-AIN-506 Úvodu do deklaratívneho programovania LS 2014/15

  • 4. cvičenie z predmetu 1-AIN-506 Úvodu do deklaratívneho programovania LS 2013/14

• 5. cvičenie

  • 5. cvičenie z predmetu 1-AIN-506 Úvodu do deklaratívneho programovania LS 2014/15

  • 5. cvičenie z predmetu 1-AIN-506 Úvodu do deklaratívneho programovania LS 2013/14

• 6. cvičenie

  • 6. cvičenie z predmetu 1-AIN-506 Úvodu do deklaratívneho programovania LS 2014/15

  • 6. cvičenie z predmetu 1-AIN-506 Úvodu do deklaratívneho programovania LS 2013/14

• 7. cvičenie

  • 7. cvičenie z predmetu 1-AIN-506 Úvodu do deklaratívneho programovania LS 2014/15

• 8. cvičenie

  • 8. cvičenie z predmetu 1-AIN-506 Úvodu do deklaratívneho programovania LS 2014/15

  • 8. cvičenie a 9. cvičenie (časť A) z predmetu 1-AIN-506 Úvodu do deklaratívneho programovania LS 2013/14

• 9. cvičenie

  • Braunove stromy a flexibilné polia, haldy a prioritné fronty

  • stiahni zadanie, zobraz modul Ex09a, zobraz modul Ex09b

  • 9. cvičenie z predmetu 1-AIN-506 Úvodu do deklaratívneho programovania LS 2014/15

• 10. cvičenie

  • 10. cvičenie z predmetu 1-AIN-506 Úvodu do deklaratívneho programovania LS 2014/15

  • 11. cvičenie z predmetu 1-AIN-506 Úvodu do deklaratívneho programovania LS 2013/14

• 11. cvičenie

  • 11. cvičenie z predmetu 1-AIN-506 Úvodu do deklaratívneho programovania LS 2014/15

• 12. cvičenie

  • 12. cvičenie z predmetu 1-AIN-506 Úvodu do deklaratívneho programovania LS 2014/15

  • 12. cvičenie z predmetu 1-AIN-506 Úvodu do deklaratívneho programovania LS 2013/14

Testy

• 1. test (zadanie) (riešenia) (výsledky)
• 2. test (zadanie) (riešenia) (výsledky)
• opravný semestrálny 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