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