реализуемость
51НЕПРОТИВОРЕЧИВОСТЬ — отсутствие в системе идей логического противоречия, т.е. некоторого утверждения и его отрицания. Н. постулируется логическим противоречия законом и входит в ядро тех требований, которые предъявляются к рациональному мышлению (см. РАЦИОНАЛЬНОСТЬ ) …
52ФОРМАЛЬНАЯ ЛОГИКА — наука, занимающаяся анализом структуры высказываний и доказательств, обращающая основное внимание на форму в отвлечении от содержания. Определение «формальная» было введено И. Кантом с намерением подчеркнуть ведущую особенность Ф.л. в подходе к… …
53КОНСТРУКТИВНАЯ ЛОГИКА — 1) то же, что и интуиционистская логика; 2) ветвь логики, в которой изучаются финитные (см. Финитизм) рассуждения о конструктивных объектах и процессах (см. Конструктивное направление) и строится соответств. семантика. В К. л. отвергается …
54ИСЧИСЛЕНИЕ ЗАДАЧ — интуиционистское исчисление высказываний, понимаемое в свете интерпретации, к рую предложил в 1932 сов. ученый А. Н. Колмогоров. Эта интерпретация была свободна от гносеологич. установок интуиционизма и вскрывала содержательный материалистич.… …
55ЛОГИЧЕСКАЯ ИСТИННОСТЬ — (в формальной логике) – истинность предложения (суждения, высказывания), обусловленная его формально логич. структурой и принятыми при его рассмотрении законами логики (в отличие от т.н. фактической истинности, для установления к рой необходим… …
56УСТОЙЧИВОСТЬ ДВИЖЕНИЯ — Движение любой механич. системы, напр. машины, гироскопич. устройства, самолёта, снаряда, зависит от действующих сил и т. н. начальных условий, т. е. от положений и скоростей точек системы в момент начала движения. Зная действующие силы и… …
57АВТОМАТОВ МИНИМИЗАЦИЯ — минимизация значений параметров автоматов, приводящая к эквивалентным и в определенном смысле оптимальным автоматам. Задача А. м. возникает при синтезе автоматов, и ее специфика зависит от подхода к их изучению. При макроподходе минимизируют, как …
58ГЕЙТИНГА ФОРМАЛЬНАЯ СИСТЕМА — Гейтипга исчисление, название трех формальных систем конструктивной логики, предложенных А. Рейтингом [1]. Первая из них гейтинговское, или интуиционистское, исчисление высказываний формализация принципов конструктивной логики высказываний;… …
59ДОСТОВЕРНОСТЬ — априорное убеждение в осуществимости нек рого явления, исключающее всякое сомнение. Д. характеризует реализуемость нек рого события, отмечая его наивысшим значением вероятности. В теории вероятностей понятие Д. связано с достоверными событиями и… …
60ИГР ТЕОРИЯ — теория математических моделей принятия оптимальных решений в условиях конфликтов. Формальное определение игры. Под конфликтом понимают явление, применительно к к рому можно говорить, кто и как в этом явлении участвует, какие у него могут быть… …
