Герасимов Александр Сергеевич

English version


Кандидат физико-математических наук

Email: Alexander точка S точка Gerasimov на ya точка ru

Научные интересы

  • классическая и многозначные логики
  • теория доказательств
  • автоматическое доказательство теорем



Некоторые проведённые учебные курсы

  • Математическая логика (лекции и практические занятия): весна 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.