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

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

Евгений Федорович [10(23).10.1907, Гельсингфорс, ныне Хельсинки, — 7.10.1970, Москва], советский военачальник, маршал авиации (1967). Член КПСС с 1939. В Советской Армии с 1926. Окончил Военно-теоретическую школу ВВС (1926), военную школу лётчиков (1928), Высшую военную академию им. К. Е. Ворошилова (1949). В 1926—42 лётчик, командир звена, отряда, эскадрильи, помощник командира авиабригады. Во время Великой Отечественной войны 1941—1945 командовал авиационной дивизией и авиационным корпусом да..

(от греч. Logistike — искусство вычислять, рассуждать) 1) синоним (несколько архаический) термина Математическая логика. 2) Наименование этапа в развитии математической логики, представленного работами Б. Рассела и его школы (см. Логицизм). В античной математике Л. Называли «искусство» вычислений и геометрических измерений, противопоставлявшееся «теоретической» математике. Г. В. Лейбниц употреблял термины logistica и logica mathematica как синонимы для разрабатывавшегося им calculus ratiocinator..

направление в основаниях математики и философии математики, основным тезисом которого является утверждение о «сводимости математики к логике», т. Е. Возможности (и необходимости) определения всех исходных математических понятий (в рамках самой математики не определяемых) в терминах «чистой» логики и доказательства всех математических предложений (в том числе аксиом) опять-таки логическими средствами. Идеи Л. Были выдвинуты ещё Г. В. Лейбницем, но в развёрнутом виде эта доктрина впервые была сфо..

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

(1907—1970) — советский военачальник, маршал авиации (1967). В Советской Армии с 1926. Окончил военно-теоретическую школу военно-воздушных сил (1926), военную авиационную школу лётчиков (1928), Высшую военную академию (1949. Позже Военная академия Генштаба Вооруженных Сил СССР). Участник Великой Отечественной войны. В ходе войны был командиром авиадивизии, командиром авиакорпуса дальнего действия. После войны на ответственных работе в вооруженных силах, начальник факультета и заместитель начал..