Логинов Михаил Николаевич

72

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

Значения в других словарях
Логика Предикатов

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

Логинов Евгений Федорович

ЛОГИНОВ Евгений Федорович (1907-70) - военачальник, маршал авиации (1967). Во время Великой Отечественной войны был командиром авиадивизии, командиром авиакорпуса дальнего действия. В 1954-59 заместитель главкома ВВС и генерал-инспектор Главной инспекции Министерства обороны (1954-59). Министр гражданской авиации СССР (1964-70).. ..

Логицизм

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

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

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

Дополнительный поиск Логинов Михаил Николаевич Логинов Михаил Николаевич

Добавить комментарий
Комментарии
Комментариев пока нет

На нашем сайте Вы найдете значение "Логинов Михаил Николаевич" в словаре Большой энциклопедический словарь, подробное описание, примеры использования, словосочетания с выражением Логинов Михаил Николаевич, различные варианты толкований, скрытый смысл.

Первая буква "Л". Общая длина 25 символа