российский
государственный
гуманитарный университет

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

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

Кафедра/Центр

Кафедра математики, логики и интеллектуальных систем в гуманитарной сфере

Должность

Профессор

Ученая степень

Профессор, доктор физико-математических наук (2001)

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

В РГГУ с 1994 года.

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

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

Публикации

  • О некоторой конструктивизации пропозициональной логики Д. А. Бочвара // Семиотика и информатика. 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.


Обновлено: 18.02.2019 11:43:49
Версия для печати