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

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

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

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

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

П. П. Пархоменко.