2-AIN-285 Symbolické programovanie a LISP LS 2017/18

Prednášky a cvičenia: pondelok 09:50-12:15, m. I-H6
Konzultácie: po dohode
Učitelia: Ján Komara

O kurze

Tu nájdete základné informácie: 2-AIN-285 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)
• - iteratívna rekurzia
• - funkcionálne programovanie
• - Cantorova párovacia funkcia a aritmetizácia karteziánskeho súčinu
• 3. cvičenie (výsledky)
• - karteziánsky súčin
• - základné operácie na zoznamoch
• - aplikácie zoznamov
• 4. cvičenie (výsledky)
• - symbolické výrazy
• - binárne stromy
• - obecné stromy
• 5. cvičenie (výsledky)
• - univerzálna funkcia pre čiastočne rekurzívne funkcie
• 6. cvičenie (výsledky)
• - rekurzívne nerozhodnuteľné problémy
• 7. cvičenie (výsledky)
• - imperatívne a objektovo-orientované programovanie
• 8. cvičenie (výsledky)
• - metainterpreter programovacieho jazyka LISP
• 9. cvičenie (výsledky)
• - metainterpreter programovacieho jazyka LISP
• - príprava na semestrálny test
• 10. cvičenie (výsledky)
• - nekonečné streamy

Literatúra

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

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.