- конъюнкция уравнений
- мат. conjunction of equations
Большой англо-русский и русско-английский словарь. 2001.
Большой англо-русский и русско-английский словарь. 2001.
АЛГЕБРА ЛОГИКИ — система алгебраич. методов решения логич. задач, а также совокупность задач, решаемых такими методами. А. л. в узком смысле слова алгебраич. (табличное, матричное) построение классич. логики высказываний, в котором рассматриваются… … Философская энциклопедия
ЛОГИКА ВЫСКАЗЫВАНИЙ — раздел логики, в котором изучаются истинностные взаимосвязи между высказываниями. В рамках данного раздела высказывания (пропозиции, предложения) рассматриваются только с т.зр. их истинности или ложности, безотносительно к их внутренней субъектно … Философская энциклопедия
Схема функциональной целостности — (СФЦ) это логически универсальное графическое средство структурного представления исследуемых свойств системных объектов. Описание аппарата схем функциональной целостности было впервые опубликовано Можаевым А.С. в 1982 году [1]. По построению… … Википедия
Математические обозначения — Список используемых в математике специфических символов можно увидеть в статье Таблица математических символов Математические обозначения («язык математики») сложная графическая система обозначений, служащая для изложения абстрактных… … Википедия
БУЛЬ — (Boole) Джордж (род. 2 нояб. 1815, Линкольн – ум. 8 дек. 1864, Корк) англ, математик и логик, создатель т. н. «алгебраической логики» (см. Логистика). Осн. произв.: «The mathematical analysis of logik», 1847; «An analysis of the laws of thought» … Философская энциклопедия