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

English version

Záznamy prednášok (slajdy) pre kurz 1-AIN-616 Symbolické programovanie a LISP LS 2015/16

Prednášky

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

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

Posledná zmena: 2016-04-04T21:22+0200