Аншаков Олег Михайлович

Аншаков Олег Михайлович

О.М.Аншаков

 

Доктор физико-математических наук (2001).

Доцент (1992) кафедры математики, логики и интеллектуальных систем в гуманитарной сфере Института лингвистики РГГУ.

Член диссертационного совета РГГУ по техническим наукам - Д 212.198.13.

Член совета Научно-образовательного центра когнитивных программ и технологий РГГУ

 

Биографические сведения:

СГПА (г. Стерлитамак), физико-математический факультет, 1970-1975.

МГПУ (г. Москва), математический факультет, 1979 — 1982. Аспирантура (кафедра математического анализа). Научные руководители: Ф.А.Кабаков и Д.А.Бочвар.

 

Область научных интересов и сфера научной деятельности:

Специалист в области неклассических логик и логических основ искусственного интеллекта, математической логики. Занимается проблемами аксиоматизации многозначных логик и формализации правдоподобных рассуждений.

 

Участие в научных советах, комиссиях, редколлегиях:

Член Российской ассоциации искусственного интеллекта.

 

Научно-педагогическая деятельность:

В РГГУ с 1994 года. Читает курсы лекций «Программирование», «Интеллектуальные системы», «Аксиоматические системы и элементы теории моделей», «Нечеткие множества», «Аксиоматические системы и элементы теории моделей».

 

Автор более 60 работ.

 

Основные публикации:

  • О некоторой конструктивизации пропозициональной логики Д. А. Бочвара // Семиотика и информатика. 1980. Вып. 15. С. 61-73.

  • Логика ВЗ и булевы алгебры // Там же. 1981. Вып. 16. С. 74-79.

  • О многозначных логических исчислениях // Докл. АН СССР. 1982. Т. 264, № 2. С. 267-270.

  • О некоторых конструктивизациях пропозициональных логик Д. А. Бочвара и С. Холдена // Исследования по неклассическим логикам и формальным системам. М., 1983. С. 335-359.

  • Об аксиоматизации конечнозначных логических исчислений // Мат. сб. 1984. С. 71-89. Соавт. Рычков С. В.

  • On axiomatization of many-valued logics assotiated with formalization of Plausible reasoning // Studia Logica. 1989. Vol. 48, № 4. P. 23-47. In coop.: Finn V. K., Skvortsov D. R.

  • О повышении эффективности труда при разработке педагогических программных средств непрофессиональными программистами // Содержание, методы и формы развивающего обучения математике в школе и вузе: Тез. докл. межрегион. науч.-практ. конф. ... Орехово-Зуево, 1995. С. 92-97. Соавт. Ерастова Н. Б.

  • On finite-valued propositional logical calculi // Notre Dame Journal of Formal Logic. 1995. Vol. 36, № 4. P. 606-628. In coop. Rychkov S.

  • J-логики и соответствующие им классы алгебр // Логические исследования. М., 1998. Вып. 5. С. 25-52.

  • Каузальные модели предметных областей // Науч.-техн. информация. Сер. 2, Информ. процессы и системы. 2000. № 3. С.3-17.




Print version