|  | 

Б

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

(р. 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.

1 Звезда2 Звезды3 Звезды4 Звезды5 Звезд (1 оценок, среднее: 5,00 из 5)

станюкович биография

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



Ещё биографии:

  1. Серебрянников Олег Федорович (04.08.1930-12.07.1991) — спец. в обл. символической логики и ме-тодол. науки; д-р филос. наук, проф. Род. и умер в Ленинграде. В 1954 окончил филос. ф-т ЛГУ, работал в библиотеке ун-та и......

  2. Зайцев Дмитрий Владимирович (р. 21.02.1962) — спец. по логике; канд. филос. наук. Род. в Москве. Окончил филос. ф-т МГУ (1988), асп. филос. ф-та (1991). Канд. дисс. — «Релевантная логика и социология: семантические проблемы»......

  3. Гливенко Валерий Иванович [21 дек. 1896 (2 янв. 1897) — 15 февр. 1940] — сов. математик. В трудах по основаниям математики и математич. логике одним из первых рассматривал вопросы обоснования математики. Г. доказал,......

  4. Амирханов Хабибулла Ибрагимович [р. 15(28) апр. 1907] — сов. физик, акад. АН Азерб. ССР (с 1949). Засл. деят. н. и т. Азерб. ССР (1946). Чл. КПСС с 1941. Деп. Верх. Совета СССР 5-го......

  5. Блинов Аркадий Леонидович (р. 09.09.1947) — спец. по логике и эпистемологии; канд. филос. наук. Род. в Ташкенте. Окончил гуманит. ф-т Новосибирского гос. ун-та по спец. «Математическая лингвистика». Работал в Ин-те истории, филол. и......

  6. Бирюкова Любовь Гавриловна (р. 26.09.1940) — спец. в обл. истории логики и филос. математики; канд. филос. наук, доц. Род. в г. Ногинск Моск. обл. Окончила механико-матем. ф-т МГУ (1963), асп. по кафедре математики......

  7. Ивлев Юрий Васильевич (р. 21.12.1936) — философ и логик; д-р филос. наук, проф. Род. в с. Верхне-Спас-ское Тамбовской обл. Окончил филос. ф-т МГУ (1965), асп. того же ф-та (1971). С 1956 по 1965......

  8. Меськов Валерий Сергеевич (р. 16.10.1947) — спец. по логике и методол. науки; д-р филос. наук, проф. Окончил филос. ф-т МГУ (1970), асп. того же ф-та (1973). Работал там же на кафедре логики асс.,......

  9. Ледников Евгений Евгеньевич (р. 21.07.1938) — спец. по логике и филос. науки; д-р филос. наук, проф. Окончил ист.-филос. ф-т Киевского гос. ун-та (1961), асп. ИФ АН УССР (1966). С 1966 работал в том......

  10. Валиев Камиль Ахметович Действительный член РАН (1984), директор Физико-технологического института РАН; родился 15 января 1931 г. в д. Верхний Шендер Таканышского района Татарской АССР; окончил физико-математический факультет Казанского государственного университета (КазГУ), аспирантуру КазГУ;......

  11. Амирханов Хабибула Ибрагимович (р. 22.IV.1907) — советский физик, акад. АН Азерб. ССР (1949), чл.-кор. АН СССР (1970). Р. в с. Карадах (ныне Дагестанской АССР). Окончил Азерб. ун-т (1930). В 1932-50 работал в Ин-те......

  12. Попов Сергей Иванович (07.11.1923-25.03.2001) — спец. по истории филос., логике, аксиологии; д-р филос. наук, проф. Участник Великой Отеч. войны. Окончил филос. ф-т (1952) и асп. МГУ (1955). Канд. дисс. — «Критика кантианской концепции......

  13. Касьян Андрей Афанасьевич (р. 13.09.1946) — спец. по филос. науки и филос. образования; д-р филос. наук, проф. Род. в г. Бийск Алтайского края. Окончил матем. ф-т Горьк. пед. ин-та (1969), филос. асп. МГПИ......

  14. Васюков Владимир Леонидович (р. 02.11.1948) — спец. по логике; д-р филос. наук, вед. н. с. Род. в г. Рига (Латвия). Окончил физ. ф-т Львовского гос. ун-та (1972). С 1980 по 1990 — н.......

  15. Ершов Юрий Леонидович (род. 1.5.1940) — советский математик, чл.-кор. АН СССР (1970). Род. в Новосибирске. Окончил Новосибирский ун-т (1963). Д-р физико-матем. наук (1966), проф. (1967). С 1963 работает в Ин-те математики СО АН......

  16. Порецкий Платон Сергеевич (15.10.1846-22.8.1907) — русский астроном и математик. Род. в Елизаветграде (ныне Кировоград). Окончил Харьков. ун-т (1870) и был оставлен профессорским стипендиатом на кафедре астрономии. В 1876 избран астрономом-наблюдателем Казанского ун-та. В......

  17. Маркин Владимир Ильич (р. 09.05.1958) — спец. по логике; д-р филос. наук, проф. Род. в Севастополе. Окончил филос. ф-т МГУ (1980), асп. того же ф-та по кафедре логики (1983). С 1984 работает на......

  18. Юшкевич Адольф Павлович (род. 15.7.1906) — советский математик и историк математики. Род. в Одессе. Окончил Моск. ун-т (1929). Д-р физических наук (1940), проф. (1940). В 1930-52 работал в МВТУ, с 1945 работает в......

  19. Бахтизин Рамиль Назифович Заведующий научно-исследовательской лабораторией «Гидродинамика многофазных сред и проблемы трубопроводного транспорта» АН РБ и УГНТУ; родился 30 марта 1955 г. в г. Уфе; окончил математико-механический факультет Ленинградского государственного университета в 1977......

  20. Брюшинкин Владимир Никифорович (род. 26.12.1953) — спец. по логике, филос. логики, истории филос., методол. построения интеллектуальных систем, переводчик англо — и немецкоязычной логической и филос. литературы; д-р филос. наук, проф. Род. в Красноярске.......

  21. Соколов Валерий Анатольевич Проректор по учебной работе, заведующий кафедрой теоретической математики Ярославского государственного университета с 1988 г.; родился 4 августа 1944 г. в г. Иваново; окончил механико-математический факультет Новосибирского государственного университета в 1967......

  22. Гасанов Тамирлан Ибрагимович Президент АО «Аквариус Системз Интерфейс», председатель Совета директоров группы «Аквариус»; родился 27 июля 1952 г. в г. Нахичевани Азербайджанской ССР; окончил Всесоюзный юридический заочный институт в 1980 г.; трудовую деятельность......

  23. Бродский Иосиф Нусимович (19.11.1924-07.12.1994) — спец. по логике; д-р филос. наук, проф. Род. в Харькове. Окончил филос. ф-т ЛГУ (1948). В том же году был принят в асп. по кафедре логики. Канд. дисс.......

  24. Рахимов Камиль Юсуфович Род. 25 авг. 1900 в Севастополе, ум. 25 февр. 1978 в Уфе. Композитор. В 1929 окончил Уфимское муз. училище по кл. валторны. В 1919-1921 музыкант в Красной Армии. В 1929-1930......

  25. Бурова Ирина Николаевна (р.26.11.1925) — спец. в обл. теории познания и филос. проблем матем.; д-р филос. наук, проф. Род. в Ярославле. Окончила филос. ф-т МГУ (1952) и асп. ИФ АН СССР (ныне РАН,......

  26. Байдавлетов Рафаэль Ибрагимович Премьер-министр Республики Башкортостан; родился 16 августа 1943 г. в д. Бриш Белорецкого района БАССР; окончил Ивановский энергетический институт, инженер-электрик; 1960-1962 — учащийся технического училища № 6; 1962 г. — электромонтер......

  27. Ахмедзянов Галим Ибрагимович Народный депутат, член Совета Национальностей Верховного Совета РФ (1990-1993), был членом Комитета Верховного Совета по вопросам обороны и безопасности, принимал участие в работе фракций и групп «Коммунисты за демократию», «Радикальные......

  28. Поваров Геллий Николаевич (р. 02.02.1928) — математик и кибернетик; известен также трудами по истории и филос. науки; канд. техн. наук, проф. Окончил в 1950 мех.-матем. ф-т Моск. ун-та. Работал в АН в Ин-те......

  29. Петров Василий Викторович (р. 01.11.1949) — спец. в обл. филос. языка, логики, филос. науки; д-р филос. наук, проф. Род. в Саратове. Окончил технол. ф-т Тюменского индустриального ин-та (1971), асп. кафедры филос. Новосибирского гос.......

  30. Щипкова Антонина Владимировна (р. 20.07.1950) — спец. в обл. логики и методол. познания; канд. филос. наук, доц. Род. в г. Шуя Ивановской обл. Окончила филос. ф-т МГУ (1973), асп. там же (1976). С......



Биография Бахтияров Камиль Ибрагимович
Copyright © Краткие биографии 2022. All Rights Reserved.