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