Математическая логика. Алехина М.А. - 7 стр.

UptoLike

ВУЗ: 

ПГУ | Пенза

Составители: 

Рубрика: 

7
(b) Операция минимизации. Частично-рекурсивные функции.
4. Вычислимость частично-рекурсивных функций.
5. Частичная рекурсивность вычислимых функций. Формула Клини.
6. проблемы обоснования математики. 
     (b) Операция минимизации. Частично-рекурсивные функции.
4.   Вычислимость частично-рекурсивных функций.
5.   Частичная рекурсивность вычислимых функций. Формула Клини.
6.   проблемы обоснования математики.




                                   7

Страницы