Theorems in theory of computation

Вики

Теорема Smn

Теорема Smn Теорема sm mn Теорема sm mn утверждает, что для заданного языка программирования и натуральных чисел m и n […]

Вики

Теорема UTM

Теорема UTM Теорема UTM в теории вычислимости Теорема утверждает существование универсальной функции, которая может вычислить любую другую вычислимую функцию.  Универсальная

Прокрутить вверх