Ганов Валерий Александрович

подразделение факультет математики и информационных технологий
должность профессор кафедры алгебры и математической логики
ученая степень доктор физико-математических наук
ученое звание доцент
офис г. Барнаул, пр. Ленина, 61, каб. 408Л
телефон (3852) 367-067
дата рождения 2.11.1944

Преподаваемые дисциплины

  • Высшая математика (на химическом, биологическом, экономическом и заочных факультетах);
  • Математическая логика (на математическом факультете),
  • Высшая алгебра (на математическом факультете),
  • Математика (в физико-математических классах при АлтГУ).
  • Теория алгоритмов,
  • Обобщенные вычисления с оракулами.
Электронные курсы на Едином образовательном портале АлтГУ.

Образование

  • 1968 — окончил механико-математический факультет Новосибирского государственного университета.
  • 1975 — 5 июня защитил кандидатскую диссертацию «Обобщенно-конструктивный анализ».
  • 2003 — защитил докторскую диссертатцию.

Профессиональная деятельность

с 1970 г. работает в Институте математике СО РАН под рукодством Н.В. Белякина.

с 1974 по настоящее время работает в АлтГУ на кафедре алгебры и математической логики.

Принимал участие в работе свыше 10 научных конференций и семинаров в 6 городах Советского Союза.

Осуществлял руководство более 30 студентами по специализации «Теория алгоритмов и математическая логика», включая научное руководство курсовыми и дипломными работами.

Публикации

18 научных работ в области математической логики (раздел «общая теория рекурсии»),
2 научных пособия,
14 тезисов сообщений на всесоюзных, всероссийских и международных научных конференциях.
  • Ганов В.А. Обобщенно-конструктивный анализ // Сибирский математический журнал. — 1973. — Т. 14. — № 5.
  • Ганов В.А. Обобщенные вычисления и дескриптивная теория множеств // Сибирский математический журнал. — 1974. — Т. 15. — № 6.
  • Ганов В.А. Вычислимые функционалы и арифметика ординальных типов // Сибирский математический журнал. — 1986. — Т. 27. — № 4.
  • Ганов В.А. Об одном расширении теории SCT Нудельмана // Вычислительные системы. — Новосибирск, 1995. — Вып. 152.
  • Ганов В.А. О границах применимости принципа рефлексии // Алгебра и логика. — 1986. — Т. 37. — № 2.
  • Белякин Н.В., Ганов В.А. Обобщенный принцип рефлексии // Вычислительные системы. — Новосибирск, 1998. — Вып. 162.
  • Белякин Н.В., Ганов В.А. Интенсиональность, рефлексия, большие кардиналы // Сибирский математический журнал. — 2002. — Т. 43. — № 6.
  • Ганов В. А., Белякин Н.В. Общая теория вычислений с оракулами: учебное пособие. — Новосибирск, 1989.
  • Ганов В. А. Методическая разработка по математической логике: учебное пособие. — Барнаул, 1978.
  • Ганов В. А. Обобщенная вычислимость и джампоперация. — Барнаул, 1980.

Дополнительная информация

Принимал активное участие в общественной жизни университета, математического факультета и кафедры алгебры и математической логики: руководил наглядной агитацией и праздничной комиссией МФ; изготавливал научные и информационные стенды; был куратором студенческой группы, председателем профбюро МФ, парторгом кафедры; выступал в составе сборной университета по шахматам.