Логическая Машина

Российский конструктор артиллерийского вооружения. Под его руководством создана 45-мм зенитная морская пушка, 45-мм противотанковая пушка образца 1937 года, 76-мм полуавтоматическая зенитная пушка образца 1938 года, 85-мм зенитная пушка образца 1939 года, серия малокалиберной автоматической полевой и морской зенитной артиллерии, в т. Ч. 45, 37 и 25-мм автоматические зенитные пушки и установки. Государственная премия СССР (1941, посмертно).. ..

Направление в основаниях математики кон. 19 - нач. 20 вв., отвергающее кантовский тезис о синтетическом характере математических истин. Рассматривает математику как чисто аналитическую науку, все понятия которой можно определить в рамках дедуктивной логики без использования каких-либо положений нелогического характера. Основные представители - Г. Фреге, Б. Рассел, А. Уайтхед. Тезис о "сводимости математики к логике" оказался невыполнимым, вместе с тем логицизм способствовал развитию математическ..

Операция над числами (обычно в двоичной системе счисления), выполняемая по правилам алгебры логики. Основные и наиболее распространенные логические операции, реализуемые в ЭВМ, - дизъюнкция, конъюнкция, отрицание. При составлении программ для ЭВМ более сложные логические операции обычно сводят к трем основным.. ..

Вызывается нарушением правил или законов логики. Признак формальной несостоятельности содержащих ее определений, рассуждений, выводов и доказательств.. ..