Cтраница 1
Рекурсивное определение содержит прямую и циклическую части. Последняя, однако, не является порочным кругом, так как в силу прямой части определяемое понятие получает некоторое начальное содержание, которое с помощью многократного применения циклической части расширяется. [1]
Рекурсивные определения в вычислительной машине всегда реализуются с помощью стека. [2]
Рекурсивное определение, подобное DEFINE ( X, X), в случае, когда вызывается X, будет приводить к зацикливанию. [3]
Рекурсивные определения в IBM-нотации не используются. [4]
Рекурсивное определение может быть довольно сложным, как показывает следующий пример, в котором строится распознаватель для простого класса арифметических выражений. [5]
Рекурсивные определения не следует путать с индуктивными определениями; такая путаница обусловлена как сходством терминов, так и родством этих процедур по существу: последние - в том случае, когда они служат определением к. [6]
Рекурсивное определение содержит прямую и циклическую части. Последняя, однако, не является порочным кругом, так как в силу прямой части определяемое понятие получает некоторое начальное содержание, которое с помощью многократного применения циклической части расширяется. [7]
Рекурсивное определение может быть формализовано в L с помощью некоторого универсального предиката, соответствующего универсальной функции для рекурсивных функций в формализмах Я и / С. [8]
Рекурсивные определения, выражающие понятия через свои же проявления, при некорректном применении легко приводят к логическим парадоксам, что в области философских идей приводит к ложным выводам вплоть до полного отрицания реальности и познаваемости мира. В исторических источниках она прослеживается вплоть до V века до нашей эры ( Парменид из Элей) и является основой многих идеалистических воззрений. Упрощенно схема рассуждений такова: сознание ( человек) придает смысл Вселенной. Сознание ( человек) есть часть Вселенной. Следовательно, часть определяет целое, что бессмысленно. Из подобных рассуждений делались выводы, приподнесенные в разнообразной упаковке идеалистических суждений и приведшие к многочисленным философским течениям. [9]
Рекурсивное определение дает один из основных способов задания функции в математике. [10]
Это рекурсивное определение очень близко к рекурсивному определению двоичного представления целых чисел. [11]
Эти рекурсивные определения могут быть приведены к определениям, сформулированным с помощью ограниченного минимума; это можно сделать посредством двойной последовательности простых чисел р ( х у), как мы это сделали при доказательстве теоремы 4.7. Числа, существование которых предполагается в определениях этого типа, можно легко оценить сверху с помощью функции fn i. Завершение доказательства предоставляется читателю. [12]
Это рекурсивное определение устанавливает нам совершенно точно структуру записи, которая называется выражением. [13]
Дайте рекурсивное определение функции А [ factlist, factorial ] и покажите, что функция А - - вырожденная мультилинейная, но не. [14]
Дадим рекурсивное определение дерева, эквивалентное вышеприведенному, но более формальное. Оно является рекурсивным, поскольку определение дерева производится в терминах самих деревьев. [15]