17 отношения: Brainfuck, Unlambda, Обработка исключений, Алгоритмическая разрешимость, Нормальный алгоритм, Рекурсивная функция (теория вычислимости), Теория вычислимости, Цикл (программирование), Машина Поста, Машина Тьюринга, Математическая индукция, Императивное программирование, Вычислимая функция, Ветвление (программирование), Гёдель, Курт, Лямбда-исчисление, 0 (число).
Brainfuck
Brainfuck — один из известнейших эзотерических языков программирования, придуман Урбаном Мюллером (Urban Müller) в 1993 году, известен своим минимализмом.
Новый!!: Рекурсивная функция (теория вычислимости) и Brainfuck · Узнать больше »
Unlambda
Unlambda — минимальный функциональный язык программирования, придуманный Дэвидом Мэдором (David Madore).
Новый!!: Рекурсивная функция (теория вычислимости) и Unlambda · Узнать больше »
Обработка исключений
Обрабо́тка исключи́тельных ситуа́ций (exception handling) — механизм языков программирования, предназначенный для описания реакции программы на ошибки времени выполнения и другие возможные проблемы (исключения), которые могут возникнуть при выполнении программы и приводят к невозможности (бессмысленности) дальнейшей отработки программой её базового алгоритма.
Новый!!: Рекурсивная функция (теория вычислимости) и Обработка исключений · Узнать больше »
Алгоритмическая разрешимость
Алгоритмическая разрешимость — свойство формальной теории обладать алгоритмом, определяющим по данной формуле, выводима она из множества аксиом данной теории или нет.
Новый!!: Рекурсивная функция (теория вычислимости) и Алгоритмическая разрешимость · Узнать больше »
Нормальный алгоритм
Норма́льный алгори́тм (алгори́фм) Ма́ркова (НАМ, также марковский алгоритм) — один из стандартных способов формального определения понятия алгоритма (другой известный способ — машина Тьюринга).
Новый!!: Рекурсивная функция (теория вычислимости) и Нормальный алгоритм · Узнать больше »
Рекурсивная функция (теория вычислимости)
Термин рекурсивная функция в теории вычислимости используется для обозначения трёх классов функций.
Новый!!: Рекурсивная функция (теория вычислимости) и Рекурсивная функция (теория вычислимости) · Узнать больше »
Теория вычислимости
Теория вычислимости, также известная как теория рекурсивных функций, — это раздел современной математики, лежащий на стыке математической логики, теории алгоритмов и информатики, возникшей в результате изучения понятий вычислимости и невычислимости.
Новый!!: Рекурсивная функция (теория вычислимости) и Теория вычислимости · Узнать больше »
Цикл (программирование)
Пример цикла While. Цикл — разновидность управляющей конструкции в высокоуровневых языках программирования, предназначенная для организации многократного исполнения набора инструкций.
Новый!!: Рекурсивная функция (теория вычислимости) и Цикл (программирование) · Узнать больше »
Машина Поста
Маши́на По́ста — абстрактная вычислительная машина, предложенная Эмилем Постом в 1936 году, создана независимо от машины Тьюринга, но сообщение о машине Поста опубликовано на несколько месяцев позднее.
Новый!!: Рекурсивная функция (теория вычислимости) и Машина Поста · Узнать больше »
Машина Тьюринга
Художественное представление машины Тьюринга Маши́на Тью́ринга (МТ) — абстрактный исполнитель (абстрактная вычислительная машина).
Новый!!: Рекурсивная функция (теория вычислимости) и Машина Тьюринга · Узнать больше »
Математическая индукция
300px Математическая индукция — метод математического доказательства, который используется, чтобы доказать истинность некоторого утверждения для всех натуральных чисел.
Новый!!: Рекурсивная функция (теория вычислимости) и Математическая индукция · Узнать больше »
Императивное программирование
Императи́вное программи́рование — это парадигма программирования (стиль написания исходного кода компьютерной программы), для которой характерно следующее.
Новый!!: Рекурсивная функция (теория вычислимости) и Императивное программирование · Узнать больше »
Вычислимая функция
Вычислимые функции — это множество функций вида, f\colon N \to N, которые могут быть реализованы на машине Тьюринга.
Новый!!: Рекурсивная функция (теория вычислимости) и Вычислимая функция · Узнать больше »
Ветвление (программирование)
Опера́тор ветвле́ния (усло́вная инстру́кция, усло́вный опера́тор) — оператор, конструкция языка программирования, обеспечивающая выполнение определённой команды (набора команд) только при условии истинности некоторого логического выражения, либо выполнение одной из нескольких команд (наборов команд) в зависимости от значения некоторого выражения.
Новый!!: Рекурсивная функция (теория вычислимости) и Ветвление (программирование) · Узнать больше »
Гёдель, Курт
Курт Фри́дрих Гёдель (Kurt Friedrich Gödel; 28 апреля 1906, Брюнн, Австро-Венгрия — 14 января 1978, Принстон, Нью-Джерси) — австрийский, и философ математики.
Новый!!: Рекурсивная функция (теория вычислимости) и Гёдель, Курт · Узнать больше »
Лямбда-исчисление
Ля́мбда-исчисле́ние (λ-исчисление) — формальная система, разработанная американским математиком Алонзо Чёрчем, для формализации и анализа понятия вычислимости.
Новый!!: Рекурсивная функция (теория вычислимости) и Лямбда-исчисление · Узнать больше »
0 (число)
0 (ноль, нуль от nullus — никакой) — целое число, которое при сложении с любым числом или вычитании из него не меняет последнее, то есть даёт результат, равный этому последнему; умножение любого числа на ноль даёт ноль // Большой Энциклопедический словарь.
Новый!!: Рекурсивная функция (теория вычислимости) и 0 (число) · Узнать больше »
Перенаправления здесь:
Частично рекурсивная функция, Примитивно рекурсивная функция, Общерекурсивная функция.