Финитная Задача

терминальный объект, категории - понятие, формализующее свойства одноточечного множества. Объект Ткатегории наз. Финальным, если для любого объекта Xиз множество Н( Х, Т )состоит из одного морфизма. Ф. О. Наз. Также правым нулем категории Дуальным образом определяется левый нуль, или инициальный объект, категории. В категории множеств Ф. О. Являются одноточечные множества и только они. В любой категории с нулевыми объектами Ф. О. Являются нулевые объекты. Нестандартные примеры Ф. О. Возникаю..

- идущая от Д. Гильберта (D. Hilbert) методологич. Точка зрения на то, какие объекты и способы рассуждений в математике следует считать абсолютно надежными. Основные требования Ф. Таковы. 1) объекты рассуждений - конструктивные объекты, напр. Цифровые записи натуральных чисел, формулы в символич. Языке и их конечные совокупности. 2) применяемые операции однозначно определены и принципиально выполнимы (вычислимы). 3) никогда не рассматривается множество всех предметов хкакой-либо бесконечной сов..

- одна из не-классич. Интерпретаций логич. Формул, предложенная с целью уточнения выдвинутой А. Н. Колмогоровым программы истолкования интуиционистской логики . Высказываний как исчисления задач. А. Н. Колмогоров высказал [1] идею, что наряду с традиционной логикой, к-рая систематизирует схемы доказательств теоретич. Истин, возможна также логика, систематизирующая схемы решения задач. Не уточняя понятия задачи, можно, однако, рассматривать нек-рые конкретные задачи, напр. 1) найти четыре натур..

- функция, определенная в нек-рой области пространства Е n и имеющая принадлежащий к этой области компактный носитель. Точнее, пусть функция f(х)= f(x1,..., х п )определена на области Носителем f наз. Замыкание множества точек х для к-рых f(х)отлично от нуля Таким образом, можно еще сказать, что Ф. Ф. В есть такая определенная на функция, что ее носитель L есть замкнутое ограниченное множество, отстоящее от границы Г области на расстоянии большем, чем где достаточно мало. Обычно рас..