Корекурсия
Повторная экскурсия Основы рекурсии и коиндукции Рекурсия – это метод определения функции через саму функцию. Коиндукция – это метод определения […]
Вики
Рекурсия
Вики
Непредикативность
Непредсказуемость Определение и примеры предикативных и непредикативных определений Предикативные определения описывают свойства, которые могут быть проверены на истинность. Непредикативные определения
Вики
Комбинатор с фиксированной точкой
Комбинатор с фиксированной запятой Определение и свойства комбинатора с фиксированной точкой Комбинатор с фиксированной точкой – это функция, возвращающая фиксированную
Вики
Непредикативность
Непредсказуемость Определение и примеры предикативных и непредикативных определений Предикативные определения описывают свойства, которые могут быть проверены на истинность. Непредикативные определения
Вики
Рекурсивный язык
Рекурсивный язык Определение рекурсивного языка Рекурсивный язык – это язык, который может быть описан рекурсивной функцией. Рекурсивные языки включают контекстно-зависимые
Вики
Бесконечный регресс
Бесконечный регресс Определение и критика бесконечного регресса Бесконечный регресс – это идея о том, что объяснение чего-либо требует объяснения самого
Вики
Бесконечный цикл
Бесконечный цикл Определение и примеры бесконечных циклов Бесконечный цикл – это цикл, который выполняется бесконечно, не достигая конечного условия. Примеры
Вики
Комбинатор с фиксированной точкой
Комбинатор с фиксированной запятой Определение и свойства комбинатора с фиксированной точкой Комбинатор с фиксированной точкой – это комбинатор, который возвращает
Вики
Анонимная рекурсия
Анонимная рекурсия Определение и использование анонимной рекурсии Анонимная рекурсия – это рекурсия без явного вызова функции по имени. Рекурсия может
Вики
Непредикативность
Непредсказуемость Определение и примеры предикативных и непредикативных определений Предикативные определения описывают свойства, которые могут быть проверены на истинность. Непредикативные определения
Вики
Обход дерева
Обход дерева Основы обхода дерева Обход дерева – это процесс последовательного посещения всех его узлов. Существуют различные типы обходов: предварительный,
Вики
Сгиб (функция высшего порядка)
Сгиб (функция более высокого порядка) Определение и применение функции fold Функция fold объединяет элементы списка, используя бинарную операцию f. Начальное
Вики
Хвостовой вызов
Последующий вызов Определение и использование хвостовой рекурсии Хвостовая рекурсия – это рекурсия, в которой последний вызов функции является рекурсивным вызовом.
Вики
Рекурсивный язык
Рекурсивный язык Определение рекурсивного языка Рекурсивный язык – это язык, который может быть описан рекурсивной машиной Тьюринга. Рекурсивные языки включают
Вики
Непредикативность
Непредсказуемость В математике, логике и философии математики недоказуемое определение – это определение, ссылающееся на себя. Определение является непредикативным, если оно
Вики
Кибернетика второго порядка
Кибернетика второго порядка Кибернетика второго порядка – направление в кибернетике, рассматривающее информацию как созданную человеком и взаимодействующую с окружающей средой.
Вики
Рекурсия (информатика)
Рекурсия (информатика) Рекурсия – это метод определения функции, которая вызывает саму себя. Рекурсивные функции могут быть реализованы итеративно путем замены
Вики
Рекурсивное определение
Рекурсивное определение Рекурсивное определение используется в математике и информатике для определения элементов в наборе в терминах других элементов. Примеры рекурсивно
Вики
Трансфинитная индукция
Трансфинитная индукция Трансфинитная индукция используется для доказательства утверждений о бесконечных множествах. Трансфинитная индукция основана на идее индукции по порядковым номерам.
Вики
Черепахи вниз
Черепахи на всем пути вниз Метафора “черепахи на всем пути вниз” используется для описания бесконечного регресса и онтологической экстравагантности. Регресс