ЛОГИКА МАТЕМАТИЧЕСКАЯ

ЛОГИКА МАТЕМАТИЧЕСКАЯ — раздел формальной логики, исследующий мышление с помощью математических методов и специального аппарата символов.

Первой формальной системой Л. м. явилась булева алгебра, разработанная англ. математиком и логиком Дж. Булем (G. Boole), который применил алгебраическую символику к логическим выводам в операциях с понятиями. Позже булева алгебра получила название «алгебра логики». Последующее усовершенствование алгебры логики осуществляли многие зарубежные и отечественные ученые.

Л. м. имеет теоретическое и практическое значение во многих областях науки и техники. Методы Л. м. широко применяются при проектировании дискретных устройств автоматики и вычислительной техники, при программировании работы электронной вычислительной машины (см.), при решении и оптимизации задач технической и мед. диагностики (см. Диагностика машинная). Имеются возможности применения Л. м. к формализации таксономии и теории эволюции, при исследованиях в области физиологии, в частности в. н. д. (см. Нейронная сеть).


Библиография: Гильберт Д. и Аккерман В. Основы теоретической логики, пер. с нем., М., 1947, библиогр.; 3 а к-ревский А. Д. Алгоритмы синтеза дискретных автоматов, М., 1971, библиогр.; Кондаков Н. И. Логический словарь, М., 1971, библиогр.; Поспелов Д. А. Логические методы анализа и синтеза схем, М.—Л., 1964, библиогр.; Чёрч А. Введение в математическую логику, пер. с англ., т. 1, М., 1960.



Популярные статьи

Источник: Большая Медицинская Энциклопедия (БМЭ), под редакцией Петровского Б.В., 3-е издание