Большая биографическая энциклопедия - бахтияров камиль ибрагимович
Бахтияров камиль ибрагимович
(р. 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.
Большая биографическая энциклопедия
2009
Вопрос-ответ:
Похожие слова
Самые популярные термины
1 | 2003 | |
2 | 1529 | |
3 | 1404 | |
4 | 1283 | |
5 | 1274 | |
6 | 1262 | |
7 | 1218 | |
8 | 1155 | |
9 | 1091 | |
10 | 1088 | |
11 | 1054 | |
12 | 1009 | |
13 | 1003 | |
14 | 939 | |
15 | 925 | |
16 | 920 | |
17 | 905 | |
18 | 900 | |
19 | 880 | |
20 | 854 |