Russian ⇄ thesaurus

А Б В Г Д Е Ж З И Й К Л М Н О П Р С Т У Ф Х Ц Ч Ш Щ Ы Э Я   <<  >>

Terms for subject General (88731 entries)

Логвинович Георгий Владимирович	ученый-гидродинамик, академик АН УССР (1967) С 1945 работал в ЦАГИ, в 1966-71 одновременно был директором Института гидромеханики АН УССР. Преподавал в Московском энергетическом институте (профессор с 1957) Московском физико-техническом институте (с 1975) Развил теорию глиссирования и погружения в жидкость, теорию подводных крыльев. Премия им. Н. Е. Жуковского (1965) Ленинская премия (1978)
Логейон	в древнегреческом театре эпохи эллинизма и Римской империи продолговатая площадка перед сценой, где играли актёры,тогда как хор по-прежнему оставался на орхестре.
Курт Гедель	логик и математик. Родился в Австро-Венгрии, с 1940 в США. Труды по математической логике и теории множеств. Доказал (1931) т. н. теоремы о неполноте (теоремы Геделя) из которых, в частности, следует, что не существует полной формальной теории, где были бы доказуемы все истинные теоремы арифметики.
логика	наука о способах доказательств и опровержений; совокупность научных теорий, в каждой из которых рассматриваются определенные способы доказательств и опровержений. Основателем логики считается Аристотель. Различают индуктивную и дедуктивную логику, а в последней - классическую, интуиционистскую, конструктивную, модальную и др. Все эти теории объединяет стремление к каталогизации таких способов рассуждений, которые от истинных суждений-посылок приводят к истинным суждениям-следствиям; каталогизация осуществляется, как правило, в рамках логических. исчислений. Особую роль в ускорении научно-технического прогресса играют приложения логики в вычислительной математике, теории автоматов, лингвистике, информатике и др. См. также Математическая логика.
логика высказываний	раздел логики, в котором вопрос об истинности или ложности высказываний рассматривается и решается на основе изучения способа построения высказываний из т. н. элементарных (далее не разлагаемых и не анализируемых) высказываний с помощью логических операций конъюнкции ("и") дизъюнкции ("или") отрицания ("не") импликации ("если..., то...") и др. Логику высказываний, задаваемую системой постулатов (аксиом и правил вывода) называют исчислением высказываний.
индуктивная логика	логика индукции, совокупность теорий, в которых изучаются выводы из посылок, необходимых, но недостаточных для логической дедукции, а также математические критерии для степени оправдания следствий из таких посылок
логика классов	логика объёмов понятий, раздел логических теорий, в котором изучаются операции над классами (множествами) и свойства этих операций (законы логики классов)
логика науки	наука, применяющая понятия и технический аппарат современной логики к анализу систем научного знания. Сформировалась в 1-й четв. 20 в. Разрабатывалась представителями неопозитивизма. В 60-х гг. получила творческое развитие в рамках современной философии. Термин "логика науки" употребляется также для обозначения законов развития науки (логика научного развития) правил и процедур научного исследования (логика исследования) учения о психологических и методологических предпосылках научных открытий (логика научных открытий)
логика классов	логика объёмов понятий, раздел логических теорий, в котором изучаются операции над классами (множествами) и свойства этих операций (законы логики классов)
логика предикатов	раздел логических теорий, в котором изучаются общезначимые связи между высказываниями о свойствах и отношениях предметов; в основе логики предикатов лежит формализованный язык, отображающий субъективно-предикатную структуру высказываний. См. также Исчисление предикатов.
интуиционистская логика	логика, удовлетворяющая интуиционистским требованиям к математическим рассуждениям.
финитизм	логико-математическая концепция, согласно которой в метатеории допускаются лишь финитные (интуитивно ясные, бесспорные) средства рассуждений, проводимых в терминах обычного языка. См. также Формализм математический.
Логинов Евгений Фёдорович	военачальник, маршал авиации (1967) Во время Великой Отечественной войны был командиром авиадивизии, командиром авиакорпуса дальнего действия. В 1954-59 заместитель главкома ВВС и генерал-инспектор Главной инспекции Министерства обороны (1954-59) Министр гражданской авиации СССР (1964-70)
Логинов Михаил Николаевич	российский конструктор артиллерийского вооружения. Под его руководством создана 45-мм зенитная морская пушка, 45-мм противотанковая пушка образца 1937 года, 76-мм полуавтоматическая зенитная пушка образца 1938 года, 85-мм зенитная пушка образца 1939 года, серия малокалиберной автоматической полевой и морской зенитной артиллерии, в т. ч. 45, 37 и 25-мм автоматические зенитные пушки и установки. Государственная премия СССР (1941, посмертно)
логицизм	направление в основаниях математики кон. 19 - нач. 20 вв., отвергающее кантовский тезис о синтетическом характере математических истин
логицизм	рассматривает математику как чисто аналитическую науку, все понятия которой можно определить в рамках дедуктивной логики без использования каких-либо положений нелогического характера. Основные представители - Г. Фреге, Б. Рассел, А. Уайтхед. Тезис о "сводимости математики к логике" оказался невыполнимым, вместе с тем логицизм способствовал развитию математической логики.
логическая машина	механическое или электронное устройство для выполнения логарифмических операций: оценки и преобразования формул, доказательства теорем, преобразования информации и пр. Разработаны специализированные логические машины; в качестве логических машин применяются также универсальные ЭВМ (по соответствующим программам)
логическая операция	операция над числами (обычно в двоичной системе счисления) выполняемая по правилам алгебры логики. Основные и наиболее распространённые логические операции, реализуемые в ЭВМ, - дизъюнкция, конъюнкция, отрицание; при составлении программ для ЭВМ более сложные логические операции обычно сводят к трем основным.
логическая ошибка	вызывается нарушением правил или законов логики; признак формальной несостоятельности содержащих ее определений, рассуждений, выводов и доказательств.
логическая семантика	теория, изучающая вопросы интерпретации логарифмических исчислений: отношения между языком исчисления и описываемой им реальностью - моделью теории, условия существования моделей исчислений, их практической применимости и др. В более специальном смысле - дедуктивная теория, описывающая свойства понятия истинности в формализованных языках логики и математики.