ЛОГИКА МАТЕМАТИЧЕСКАЯ — раздел формальной логики, исследующий мышление с помощью математических методов и специального аппарата символов.
Первой формальной системой Л. м. явилась булева алгебра, разработанная англ. математиком и логиком Дж. Булем (G. Boole), который применил алгебраическую символику к логическим выводам в операциях с понятиями. Позже булева алгебра получила название «алгебра логики». Последующее усовершенствование алгебры логики осуществляли многие зарубежные и отечественные ученые.
Л. м. имеет теоретическое и практическое значение во многих областях науки и техники. Методы Л. м. широко применяются при проектировании дискретных устройств автоматики и вычислительной техники, при программировании работыэлектронной вычислительной машины (см.), при решении и оптимизации задач технической и мед. диагностики (см.Диагностика машинная). Имеются возможности применения Л. м. к формализации таксономии и теории эволюции, при исследованиях в области физиологии, в частности в. н. д. (см.Нейронная сеть).
Библиография: Гильберт Д. и Аккерман В. Основы теоретической логики, пер. с нем., М., 1947, библиогр.; 3 а к-ревский А. Д. Алгоритмы синтеза дискретных автоматов, М., 1971, библиогр.; Кондаков Н. И. Логический словарь, М., 1971, библиогр.; Поспелов Д. А. Логические методы анализа и синтеза схем, М.—Л., 1964, библиогр.; Чёрч А. Введение в математическую логику, пер. с англ., т. 1, М., 1960.
П. П. Пархоменко.
^
Источник: Большая Медицинская Энциклопедия (БМЭ), под редакцией Петровского Б.В., 3-е изданиеграфическая матрица судьбы