1-AIN-616 Symbolické programovanie a LISP LS 2015/16

Prednášky: utorok 9:50-11:20, m. M-VII
Cvičenia: utorok 11:30-13:10, m. I-H6
Konzultácie: štvrtok 13:00-13:30, m. I-16
Učitelia: Ján Komara

Novinky

O kurze

Tu nájdete základné informácie: 1-AIN-616 Symbolické programovanie a LISP

Prednášky

Tu nájdete záznamy prednášok (slajdy). Sú priebežne dopĺňané.

Cvičenia

• 1. cvičenie (výsledky)
• - vyhodnocovanie výrazov
• - explicitné definície
• - rekurzívne definície
• 2. cvičenie (výsledky)
• - chvostová rekurzia a iterácia
• - celočíselná odmocnina (názorný príklad)
• - Cantorova párovacia funkcia a aritmetizácia karteziánskeho súčinu
• - funkcionálne programovanie: programy ako argumenty
• 3. cvičenie (výsledky)
• - funkcionálne programovanie: operátor abstrakcie
• - karteziánsky súčin
• - základné operácie na zoznamoch
• - aplikácie zoznamov
• - stromy ako zovšeobecnené zoznamy
• 4. cvičenie (výsledky)
• - symbolické výrazy
• - aplikácie zoznamov
• - obecné stromy
• - výroková logika
• 5. cvičenie (výsledky)
• - univerzálna funkcia pre primitívne rekurzívne funkcie
• - výroková logika
• 6. cvičenie (výsledky)
• - univerzálna funkcia pre čiastočne rekurzívne funkcie
• - efektívne operácie na primitívne rekurzívnych indexoch
• 7. cvičenie (výsledky)
• - metainterpreter programovacieho jazyka LISP
• - rekurzívne nerozhodnuteľné problémy
• 8. cvičenie (výsledky)
• - metainterpreter programovacieho jazyka LISP
• 9. cvičenie (výsledky)
• - imperatívne programovanie
• - metainterpreter programovacieho jazyka LISP
• 10. cvičenie (výsledky)
• - konečné streamy
• - nekonečné streamy
• 11. cvičenie (výsledky)
• - nekonečné streamy
• - metainterpreter programovacieho jazyka LISP
• 12. cvičenie (výsledky)
• - príprava na test
• 13. cvičenie (výsledky)
• - primitívne rekurzívne indexy

Literatúra

• Hal Abelson and Jerry Sussman and Julie Sussman. Structure and Interpretation of Computer Programs. MIT Press, second edition, 1996.

Testy

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