-
1 атомарная формула
-
2 атомарная формула
Computers: atomic formula -
3 формула
formula
– атомарная формула
– валовая формула
– выводить формула
– доказуемая формула
– замкнутая формула
– интерполяционная формула
– исходная формула
– колесная формула
– начальная формула
– опытная формула
– основная формула
– поправочная формула
– предваренная формула
– пятичленная формула
– расчетная формула
– рекуррентная формула
– рекурсивная формула
– сравнимая формула
– точная формула
– формула валовая
– формула Гаусса
– формула Грима
– формула де-Бройля
– формула мощности
– формула обращения
– формула оценки
– формула Планка
– формула Поллачек-Хинчина
– формула размерности
– формула Релея-Джинса
– формула сложения
– формула строения
– формула суммирования
– формула трапеций
– формула удвоения
– формула Френеля
– цепная формула
– элементарная формула
интерполяционная формула Ньютона — Newton's interpolation formula
формула бинома Ньютона — binomial formula
формула корней квадратного уравнеи — quadratic formula
формула обратного перехода — reverse formula
формула обратного преобразования — inversion formula
формула объема призматоида — prismoidal formula
формула половинного угла — half-angle formula
формула простых процентов — simple interest formula
формула Эйнштейна для фотоэффекта — Einstein photoelectric equation
См. также в других словарях:
формула — сущ., ж., употр. сравн. часто Морфология: (нет) чего? формулы, чему? формуле, (вижу) что? формулу, чем? формулой, о чём? о формуле; мн. что? формулы, (нет) чего? формул, чему? формулам, (вижу) что? формулы, чем? формулами, о чём? о формулах 1.… … Толковый словарь Дмитриева
Атомарная функция — Атомарная функция[1] финитное решение функционально дифференциального уравнения вида где линейный дифференциальный оператор с постоянными коэффициентами; коэффициенты , причём . Содержание … Википедия
ЛОГИЧЕСКИЕ ИСЧИСЛЕНИЯ — формализации содержательных логич. теорий; выводимые объекты Л. п. интерпретируются как суждения, составленные из простейших (имеющих, вообще говоря, субъектно предикатную структуру) при помощи пропозициональных связок и кванторов. Чаще всего… … Математическая энциклопедия
ЛОГИКА ПРЕДИКАТОВ — центральный раздел логики, в котором изучается субъектно предикатная структура высказывании и истинностные взаимосвязи между ними. Л.п. представляет собой содержательное расширение логики высказываний. В рамках данного раздела любое высказывание… … Философская энциклопедия
ЛОГИЧЕСКАЯ ИСТИННОСТЬ — (в формальной логике) – истинность предложения (суждения, высказывания), обусловленная его формально логич. структурой и принятыми при его рассмотрении законами логики (в отличие от т.н. фактической истинности, для установления к рой необходим… … Философская энциклопедия
КОМБИНАТОРНАЯ ЛОГИКА — см. Логика комбинаторная. Философская Энциклопедия. В 5 х т. М.: Советская энциклопедия. Под редакцией Ф. В. Константинова. 1960 1970. КОМБИНАТОРНАЯ ЛОГИКА … Философская энциклопедия
Литерал (математическая логика) — У этого термина существуют и другие значения, см. Литерал. В математической логике литералом называют атомарную формулу, без 0 и 1, или её логическое отрицание. Соответственно, разделяют два типа литералов: Положительный литерал непосредственно… … Википедия
Логика предикатов — раздел математической логики (См. Логика), изучающий логические законы, общие для любой области объектов исследования (содержащей хоть один объект) с заданными на этих объектах предикатами (т. е. свойствами и отношениями). В результате… … Большая советская энциклопедия
ПРЕДИКАТОВ ИСЧИСЛЕНИЕ — формальная аксиоматич. теория; исчисление, предназначенное для описания логических законов, справедливых для любой непустой области объектов с произвольными заданными на этих объектах предикатами (т. в. свойствами и отношениями). Для формулировки … Математическая энциклопедия
СЕКВЕНЦИЙ ИСЧИСЛЕНИЕ — одна из формулировок предикатов исчисления. Благодаря удобной форме вывода С. и. находит широкое применение в доказательств теории, основаниях математики, при автоматич. поиске вывода. С. и. было предложено Г. Генценом в 1934 (см. [1]). Ниже… … Математическая энциклопедия
Теория приближений — Теория приближений раздел математики, изучающий вопрос о возможности приближенного представления одних математических объектов другими, как правило более простой природы, а также вопросы об оценках вносимой при этом погрешности.… … Википедия