Umiestnenie: LISP leto 2017/18 | LISP | Výučba | CL Homepage | KAI | FMFI UK v Bratislave

English version

Záznamy prednášok (slajdy) pre kurz 2-AIN-285 Symbolické programovanie a LISP LS 2017/18

Prednášky

5. prednáška - univerzálna funkcia pre čiastočne rekurzívne funkcie.
6. prednáška - rekurzívne nerozhodnuteľné problémy.

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

Posledná zmena: 2018-04-08T20:28+0200