English version
Кандидат физико-математических наук
Email: Alexander
точка S
точка Gerasimov
на ya
точка ru
Научные интересы
- применение логики в информатике
- классическая и многозначные логики
- автоматическое доказательство теорем
- представление нечетких знаний
Кандидатская диссертация
Учебное пособие
"Курс математической логики и теории вычислимости"
Проведённые учебные занятия
-
Дополнительные главы математической логики и теории алгоритмов
(лекции и практические занятия):
осень 2013, осень 2012, осень 2011,
осень 2010.
-
Спецкурс "Введение в автоматическое доказательство теорем":
осень 2013, осень 2012,
осень 2011, осень 2010, осень 2009, осень 2008.
-
Спецсеминар "Автоматическое доказательство теорем":
осень 2013, осень 2012,
осень 2011, осень 2010, осень 2009, осень 2008,
осень 2007, осень 2006.
-
Математическая логика (лекции и практические занятия):
весна 2014, весна 2013, весна 2012, весна 2011, весна 2010,
весна 2009.
-
Спецсеминар "Тестирование программного обеспечения":
весна 2013, весна 2012.
-
Информатика (лекции): осень 2012, осень 2011.
-
Теория формальных языков (лекции и практические занятия):
весна 2011.
-
Математическая логика и теория алгоритмов (лекции и практические занятия):
весна 2008.
-
Математическая логика (практические занятия):
весна 2008, весна 2007, весна 2006, весна 2005, весна 2004, весна 2003.
-
Структуры и алгоритмы компьютерной обработки данных (практические занятия):
весна 2007, весна 2006.
-
Программирование:
осень 2009,
осень 2007,
весна 2007, осень 2006,
осень 2005, весна 2005, осень 2004,
осень 2003, весна 2003, осень 2002.
-
Практикум на ЭВМ: осень 2008.