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

Кандидат физико-математических наук,
доцент кафедры информатики математико-механического факультета Санкт-Петербургского государственного университета,
доцент кафедры математических и информационных технологий Санкт-Петербургского академического университета

Email: Alexander точка S точка Gerasimov на ya точка ru ; gas дефис teach на ya точка ru

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

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

Учебное пособие Курс математической логики и теории вычислимости

Аудиторные учебные занятия на математико-механическом факультете СПбГУ в осеннем семестре 2011/12 учебного года

• понедельник
  • Информатика – 1 пара, аудитория 3315, 231 и 232 группы
  • Спецкурс "Введение в автоматическое доказательство теорем" – 3 пара, аудитория 2518, 341–345 группы (также приглашаются все желающие)
  • Спецсеминар "Автоматическое доказательство теорем" – 4 пара, аудитория 2518, 341–345 группы (также приглашаются все желающие)
• пятница
  • Дополнительные главы математической логики и теории алгоритмов – 4 пара, аудитория 2503, 561 группа
  • Дополнительные главы математической логики и теории алгоритмов – 5 пара-"числитель", аудитория 2503, 561 группа

Проведённые учебные занятия

• Теория формальных языков (лекции и практические занятия): весна 2011.
• Математическая логика (лекции и практические занятия): весна 2011, весна 2010, весна 2009.
• Дополнительные главы математической логики и теории алгоритмов (лекции и практические занятия): осень 2010.
• Спецкурс "Введение в автоматическое доказательство теорем": осень 2010, осень 2009, осень 2008.
• Спецсеминар "Автоматическое доказательство теорем": осень 2010, осень 2009, осень 2008, осень 2007, осень 2006.
• Математическая логика и теория алгоритмов (лекции и практические занятия): весна 2008.
• Математическая логика (практические занятия): весна 2008, весна 2007, весна 2006, весна 2005, весна 2004, весна 2003.
• Структуры и алгоритмы компьютерной обработки данных (практические занятия): весна 2007, весна 2006.
• Программирование: осень 2009, осень 2007, весна 2007, осень 2006, осень 2005, весна 2005, осень 2004, осень 2003, весна 2003, осень 2002.
• Практикум на ЭВМ: осень 2008.

Краткое резюме

с 2011	Доцент кафедры математических и информационных технологий Санкт-Петербургского академического университета
2007	Защита диссертации на соискание учёной степени кандидата физико-математических наук
с 2002	Ассистент, старший преподаватель, доцент кафедры информатики математико-механического факультета Санкт-Петербургского государственного университета
2002	Окончание математико-механического факультета Санкт-Петербургского государственного университета
2002–2006	Инженер-программист в Sun Microsystems, Inc. (Санкт-Петербург)