математическая+логика
71Отношение (логика) — У этого термина существуют и другие значения, см. Отношение. Отношение в логике первого порядка двух и более аргументный предикат (многоместный предикат), двух и более предикатное свойство. Знак отношения: R.[уточнить] В терминах отношений… …
72Асинхронная логика — Содержание 1 Принцип самосинхронности 2 Краткая история …
73Предложение (логика) — У этого термина существуют и другие значения, см. Предложение (значения). Предложение (в логике предикатов) это корректно сформированная формула , которая не содержит свободных вхождений переменных (т.е. вхождений, не находящихся в области… …
74Дескрипционная логика — Описательные логики[1] или дескрипционные логики[2][источник не указан 861 день](сокр. ДЛ, англ. description logics, иногда используется неточный перевод: дескриптивные логики)  семейство языков представления знаний …
75Высказывание (логика) — У этого термина существуют и другие значения, см. Высказывание. Высказывание  термин математической логики, обозначающий формализованную структурированную запись мысли с помощью буквенных символов и логических связок, рассматриваемую с точки …
76Комбинационная логика — В теории цифровых устройств комбинационной логикой (комбинационной схемой) называют логику функционирования устройств комбинационного типа. У комбинационных устройств состояние выхода однозначно определяется набором входных сигналов. Это отличает …
77Многозначная логика — раздел математической логики (См. Математическая логика), изучающий математические модели логики высказываний (См. Логика высказываний). Эти модели отражают две основные черты последней множественность значений истинности высказываний и… …
78СИМВОЛИЧЕСКАЯ ЛОГИКА — одно из названий современного этапа в развитии формальной логики. Символы применял в ряде случаев еще Аристотель, а затем и все последующие логики. Однако в современной С.л. был сделан качественно новый шаг: стали использовать языки, содержащие… …
79Символическая логика — направление в математической логике, изучающее формальные системы: «логика по предмету, математика по методу» (П. С. Порецкий), или «логика, изучаемая посредством построения формализованных языков» (А. Чёрч). Термин «символическая логика»… …
80МНОГОЗНАЧНАЯ ЛОГИКА — множество логических систем, в которых область истинностных значений высказываний состоит из более чем двух значений. В этом отношении многозначная логика выступает как обобщение классической двузначной логики, которая ограничила область… …
