Екатерина Михайловна Юрасова

Контакты
Санкт-Петербург, пер. Джамбула, 13, каб. 226

Образование:

  • 1996–2001 — Красноярский государственный университет, квалификация — математик.
  • 2001–2004 — Красноярский государственный университет, квалификация — преподаватель высшей школы.
  • 2004 — защита диссертации на соискание ученой степени кандидата физико‑математических наук, тема: "Допустимые и выводимые правила вывода в нестандартных логиках".

Профессиональный опыт

  • 2013–2014 – учитель математики, МБОУ Гимназия № 13, г. Нижний Новгород.
  • 2009–2011 – доцент кафедры математического обеспечения дискретных устройств и систем, Сибирский федеральный университет, институт фундаментальной подготовки.
  • 2005–2008 – инженер‑программист, Институт вычислительного моделирования СОРАН, старший преподаватель, Красноярский государственный университет (Сибирский федеральный университет).
  • 2001–2005 – старший преподаватель, Красноярский государственный университет.

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

  • математика;
  • информатика;
  • информационные технологии.

Область научных интересов

  • математическая логика.

 

Основные публикации

Всего более 25 опубликованных работ, наиболее значимые из них:

  • Golovanov M.I., Rybakov V.V., Yurasova E.M.// A necessary condition for rules to be admissible in temporal tomorrow‑logic// Bulletin of the sction of Logic. 2003 V. 32 № 4. P. 213–220.
  • Голованова Е.М.(Юрасова) Критерий допустимости правил вывода для некоторого класса логик, не обладающих свойством ветвления //Сиб. мат. журнал. 2003 Т. 44 № 4. C. 726–736.
  • Голованов М.И., Кияткин В.Р., Рыбаков В.В., Юрасова Е.М. Математическая логика. Курс лекций/ Красноярск: СФУ, 2008. — 103 c.