• no older revision
• Revision 1: 2015-05-09 00:16:29z
• newer 2015-05-09 00:29:42z

Syntax highlighting of Archiv/Státnice - Algoritmicky vyčíslitelné funkce, rekurzivní a rekurzivně spočetné množiny

=Algoritmicky vycíslitelné funkce, jejich vlastnosti, ekvivalence jejich ruzných matematických definic. Cástecne rekurzivní funkce. =