Формализм Маккарти
McCarthy Formalism Формализм Маккарти Джон Маккарти предложил формализм для описания рекурсивных функций в 1963 году. Формализм использует конструкцию IF-THEN-ELSE и […]
Вики
‘Теория вычислимости’
Вики
Арифметическая иерархия
Арифметическая иерархия Арифметическая иерархия Классифицирует множества на основе сложности формул, их определяющих Изобретена Клини и Мостовски независимо Важна в теории
Вики
Теорема Smn
Теорема Smn Теорема sm mn Теорема sm mn утверждает, что для заданного языка программирования и натуральных чисел m и n