атомарная формула

atomic expression

Большой англо-русский и русско-английский словарь. 2001.

Смотреть что такое "атомарная формула" в других словарях:

  • формула — сущ., ж., употр. сравн. часто Морфология: (нет) чего? формулы, чему? формуле, (вижу) что? формулу, чем? формулой, о чём? о формуле; мн. что? формулы, (нет) чего? формул, чему? формулам, (вижу) что? формулы, чем? формулами, о чём? о формулах 1.… …   Толковый словарь Дмитриева

  • Атомарная функция — Атомарная функция[1]  финитное решение функционально дифференциального уравнения вида где   линейный дифференциальный оператор с постоянными коэффициентами; коэффициенты , причём . Содержание …   Википедия

  • ЛОГИЧЕСКИЕ ИСЧИСЛЕНИЯ — формализации содержательных логич. теорий; выводимые объекты Л. п. интерпретируются как суждения, составленные из простейших (имеющих, вообще говоря, субъектно предикатную структуру) при помощи пропозициональных связок и кванторов. Чаще всего… …   Математическая энциклопедия

  • ЛОГИКА ПРЕДИКАТОВ — центральный раздел логики, в котором изучается субъектно предикатная структура высказывании и истинностные взаимосвязи между ними. Л.п. представляет собой содержательное расширение логики высказываний. В рамках данного раздела любое высказывание… …   Философская энциклопедия

  • ЛОГИЧЕСКАЯ ИСТИННОСТЬ — (в формальной логике) – истинность предложения (суждения, высказывания), обусловленная его формально логич. структурой и принятыми при его рассмотрении законами логики (в отличие от т.н. фактической истинности, для установления к рой необходим… …   Философская энциклопедия

  • КОМБИНАТОРНАЯ ЛОГИКА — см. Логика комбинаторная. Философская Энциклопедия. В 5 х т. М.: Советская энциклопедия. Под редакцией Ф. В. Константинова. 1960 1970. КОМБИНАТОРНАЯ ЛОГИКА …   Философская энциклопедия

  • Литерал (математическая логика) — У этого термина существуют и другие значения, см. Литерал. В математической логике литералом называют атомарную формулу, без 0 и 1, или её логическое отрицание. Соответственно, разделяют два типа литералов: Положительный литерал непосредственно… …   Википедия

  • Логика предикатов —         раздел математической логики (См. Логика), изучающий логические законы, общие для любой области объектов исследования (содержащей хоть один объект) с заданными на этих объектах предикатами (т. е. свойствами и отношениями). В результате… …   Большая советская энциклопедия

  • ПРЕДИКАТОВ ИСЧИСЛЕНИЕ — формальная аксиоматич. теория; исчисление, предназначенное для описания логических законов, справедливых для любой непустой области объектов с произвольными заданными на этих объектах предикатами (т. в. свойствами и отношениями). Для формулировки …   Математическая энциклопедия

  • СЕКВЕНЦИЙ ИСЧИСЛЕНИЕ — одна из формулировок предикатов исчисления. Благодаря удобной форме вывода С. и. находит широкое применение в доказательств теории, основаниях математики, при автоматич. поиске вывода. С. и. было предложено Г. Генценом в 1934 (см. [1]). Ниже… …   Математическая энциклопедия

  • Теория приближений — Теория приближений  раздел математики, изучающий вопрос о возможности приближенного представления одних математических объектов другими, как правило более простой природы, а также вопросы об оценках вносимой при этом погрешности.… …   Википедия

Книги

Другие книги по запросу «атомарная формула» >>

Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»

We are using cookies for the best presentation of our site. Continuing to use this site, you agree with this.