Статистика - Статей: 872588, Изданий: 948

Искать в "Биографический энциклопедический словарь..."

Бахтияров





Бахтияров, Камиль Ибрагимович

(р. 21.06.1934) - спец. по логике; канд. техн. наук, д-р филос. наук, проф. Род. в Москве. Окончил Моск. инж.-строительный ин-т (1957) и механико-матем. ф-т МГУ (1965). С 1971 преп., затем доц. кафедр высшей математики Военно-инж. академии и Военной академии хим. защиты. Проф. кафедры высшей математики Моск. ин-та инж. с.-х. производства. Докт. дисс. - "Многоаспектный подход в логике" (1989). Основным направлением иссл. Б. является разработка метода арифметиза-ции логики, позволяющего дать решение проблемы Лейбница - сведения умозаключений к вычислению. Новым является введение логических векторов для представления булевых конституент, компоненты к-рых записываются в троичной системе счисления. Метод арифметизации был реализован в компьютерных программах: БУЛЬ - для минимизации булевых нормальных форм, КЭРРОЛЛ - для решения аристотелевых силлогизмов и СОРИТ - для решения соритов с многими терминами.

Соч.: Об одном подходе к формализации парадоксальных ситуаций // ФИ. 1976. № 1; Многоаспектный подход в логике и теории познания // Там же. 1988. № 8; Умозаключения на персональных компьютерах. М., 1989; Компьютеризация логики // ФИ. 1990. Т.9; Многомерность Истины. Там же. 1991. № 4; Истинность и достоверность // Там же. 1991. № 2; Arithmetization of classical and поп-classical logic // Proceedings of conference on the fundamentals of Artificial Intelligence. Paris, 1991.



Еще в энциклопедиях


В интернет-магазине DirectMedia