Конструктивные объекты
объекты, рассмотрение которых и оперирование с которыми не связаны с принятием более сильных абстракций бесконечности, чем абстракция потенциальной осуществимости, состоящая в отвлечении от практических границ наших возможностей при построении каких-либо (конкретных или абстрактных) объектов в пространстве, времени и материале. Если, например, в качестве К. О. Рассматриваются слова, образованные из букв некоторого алфавита, то эта абстракция допускает рассмотрение слов любой (лишь бы конечной!) длины. В применении к натуральным числам — рассмотрение сколь угодно больших (но опять-таки конечных) чисел и т. П. Будучи одним из основных (исходных) понятий современной математики, логики и теории алгоритмов, общее понятие К.
О. Не определяется, а лишь поясняется (например, подобно тому, как это сделано выше). В то же время в конкретных конструктивных (логико-) математических теориях ограничиваются рассмотрением К. О. Некоторого «стандартного» вида, определяемых, как правило, индуктивно (см. Определение), так что общее определение понятия К. О. Оказывается в таких случаях излишним. Такими «стандартными» К. О. В теории нормальных алгорифмов А. А. Маркова служат слова из букв некоторого фиксированного алфавита, в других модификациях — теория алгоритмов (см., например, Рекурсивные функции) или в формализованной арифметике — натуральные числа и т. Д. См. Также ст. Конструктивная математика и лит. При ней. Ю. А. Гастев..
Дополнительный поиск Конструктивные объекты
На нашем сайте Вы найдете значение "Конструктивные объекты" в словаре Большая Советская энциклопедия, подробное описание, примеры использования, словосочетания с выражением Конструктивные объекты, различные варианты толкований, скрытый смысл.
Первая буква "К". Общая длина 22 символа