Размер шрифта Цветовая схема Изображения

Математический факультет

Тверской государственный университет

Show 111

Рыбаков Михаил Николаевич

Доцент кафедры функционального анализа и геометрии

кандидат физико-математических наук
Образование: ТвГУ
Телефон: +7(4822) 58-53-43 (доб. 114)

Окончил математический факультет Тверского государственного университета.

Диссертационные работы

1. Рыбаков М.Н. Сложность пропозициональных логик с конечным числом переменных // Диссертация на соискание учёной степени кандидата физико-математических наук. Тверь, 2005. 2. Рыбаков М.Н. Сложность пропозициональных логик с конечным числом переменных // Автореферат диссертации на соискание учёной степени кандидата физико-математических наук. Ярославский государственный университет им. П.Г. Демидова. Ярославль, 2005.

Руководство научными проектами

1. «Исследование возможности эффективного описания неклассических логик, допускающих темпоральную интерпретацию», 2013–2015 гг. Поддержан РФФИ.

2. «Логическое следование и дедуктивные системы: синтаксические, семантические и алгоритмические аспекты», 2010–2012 гг. Поддержан РФФИ.

3. «Эффекты ограничения языковых средств неклассических логик», 2007–2009 гг. Поддержан РФФИ.

Участие в других научных проектах

  1. «Фундаментальные аспекты проблемы эффективного описания классов модальных логических систем», 2014–2016 гг. Поддержан РФФИ.
  2. «Эффективное описание дедуктивных систем», 2011–2013 гг. Поддержан РФФИ.
  3. «Теоретико-модельные и алгоритмические свойства неклассических логик», 2011–2013 гг.  Поддержан РФФИ и CNRS (Франция).
  4. «Истолкование одних логик и теорий средствами других», 2008–2010 гг. Поддержан РФФИ.
  5. «Геометрические модальные логики», 2006–2009 гг. Поддержан РФФИ и CNRS (Франция).
  6. «Модальные логики как средства исследования свойств расширений базисной логики Виссера», 2006–2008 гг. Поддержан РФФИ.
  7. «Семантические, дедуктивные и алгоритмические аспекты расширений базисной логики», 2003–2005 гг. Поддержан РФФИ.
  8. «Эффективная аксиоматизируемость логических систем», 2001–2002 гг. Поддержан фондом Минобразования.

Награды

  • Благодарность ректора ТвГУ (2010).
  • Почётная грамота Ректора ТвГУ (2014).

Конференции

  1. Котикова Е.А., Рыбаков М.Н. Пример использования логики как шаг в процессе её постижения // Проблеми викладання логіки та перспективи її розвитку. VІ Міжнародна науково-практична конференція (15–16 травня 2014 року). Матеріали доповідей та виступів. Київський національний університет імені Тараса Шевченка, ВПЦ «Київський університет», 2014. С.102–104.
  2.  Котикова Е.А., Рыбаков М.Н. Предикатная логика ветвящегося времени QCTL: алгоритмические, семантические и дедуктивные аспекты // Открытый Российско-Финский коллоквиум по логике. Санкт-Петербург, 14–16 июня 2012 года. Издательство СПбГУ, СПб, 2012.
  3. Котикова Е.А., Рыбаков М.Н. Сложность проблемы истинности константных модальных формул в модели // Современная логика: проблемы теории, истории и применения в науке. Материалы XI Общероссийской научной конференции 23–26 июня 2008г. Издательство СПбГУ, СПб, 2010. С.281–283.
  4. Рыбаков М.Н. Сложность фрагментов логики IPDL // Шестые Смирновские чтения по логике. М., Современные тетради, 2009. С.34–35.
  5. Рыбаков М.Н. Свойства логик знания при одновременном использовании оператора распределённого знания и оператора всеобщего знания // Современная логика: проблемы теории, истории и применения в науке. Материалы X Общероссийской научной конференции 26–28 июня 2008г. Издательство СПбГУ, СПб, 2008. С.443–444.
  6. Рыбаков М.Н. Неклассические логики: их сложность и сложность их приложений. Философия математики: актуальные проблемы. Материалы Международной научной конференции 15–16 июня 2007. Издание философского факультета МГУ. С. 123–125.
  7. Рыбаков М.Н. К вопросу о полноте по Крипке предикатных логик. Смирновские чтения. Материалы 5-й конференции. 20–22 июня 2007, Москва. М., ИФ РАН, 2007, с. 37–38.
  8. Рыбаков М.Н. Формальная предикатная логика А.Виссера: выразительность фрагментов языка от одной одноместной буквы. Современная логика: проблемы теории, истории и применения в науке. Материалы IX Общероссийской научной конференции. СПб, 22–24 июня 2006 г. СПб., 2006. С. 386–388.
  9. Rybakov M.N. Complexity of the Two-Variable Fragment of Intuitionistic Propositional Logic // Computer Science Applications of Modal Logic. International Conference. September 5–9 2005. Moscow, Poncelet Laboratory of UMI 2615 and IndependentUniversity of Moscow, 2005. P.35–36.
  10. Гусева А.С., Рыбаков М.Н. Интуиционистские формулы от двух переменных и PSPACE-полнота // Современная логика: проблемы теории, истории и применения в науке. Материалы VIII Общероссийской научной конференции. СПб, Издательство Санкт-Петербургского государственного университета, 2004. С.480–482.
  11. Рыбаков М.Н. О сложности проблемы разрешения для базисной и формальной логик с конечным числом переменных в языке // Смирновские чтения. IV Международная конференция. М., Издательство Института философии РАН, 2003. С.49–50.
  12. Рыбаков, М.Н. Чагров А.В. О сложности модальных логик, имеющих доказуемостную интерпретацию, с ограничениями на число переменных // Колмогоров и современная математика. Международная конференция. М., Издательство МГУ, 2003.С.707–708.
  13. Chagrov A.V., Rybakov M.N. Least Number of Variables for PSPACE-Hardness of Provability Problem in Systems of Modal Logic //Advances in Modal Logic. 30 Septembre — 2 Octobre 2002. Institut de Reacherche en Informatique de Toulouse, Universite Paul Sabatier, Toulouse, France, 2002, P.178–188.
  14. Рыбаков М.Н., Чагров А.В. Модальные формулы без переменных и PSPACE-полнота // Современная логика: Проблемы теории, истории и применения в науке. Материалы VII Международной научной конференции. СПб, Издательство Санкт-Петербургского университета, 2002. С.498–500.
  15. Рыбаков М.Н. Рекурсивная сводимость предикатных вариантов стандартных модальных логик к классической логике предикатов // Российской математике — триста лет. Материалы юбилейной научной конференции 24–25 октября 2001 года. Тверь, Издательство Тверского госуниверситета, 2002. С.108–114.
  16. Горбунов И.А., Рыбаков М.Н. Выразительность операторов знания и возможность эффективного описания логик знания // Проблемы управления и моделирования в сложных системах. Труды III Международной конференции. Самара, Самарский научный центр РАН, 2001. С.617–622.
  17. Рыбаков М.Н. Разрешимость некоторых модальных предикатных логик относительно классической логики предикатов // Учёные записки Тверского государственного университета, т.6. Тверь, Издательство Тверского госуниверситета, 2000. С.8–12.
  18. Рыбаков М.Н. Разрешимость интуиционистской логики предикатов относительно классической логики предикатов // Современная логика: проблемы теории, истории и применения в науке. Материалы VI Международной научной конференции. СПб, Издательство Санкт-Петербургского университета, 2000. С.247–250.

Список основных публикаций

  1. Рыбаков М.Н., Чагров А.В., Стандартные переводы неклассических формул и относительная разрешимость логик // Труды научно-исследовательского семинара Логического центра Института философии РАН, вып.XIV. М., Издательство Института философии РАН, 2000. С.81–98.
  2. Рыбаков М.Н. Перечислимость модальных предикатных логик и условия обрыва возрастающих цепей // Логические исследования, вып.8. М., Наука, 2001. С.155–167.
  3. Рыбаков М.Н. Операторы всеобщего и распределённого знания: дополнительные выразительные средства в логиках знания // Информационные процессы, т.1, № 1, 2001. С.89–98.
  4. Рыбаков М.Н., Чагров А.В. Константные формулы в модальных логиках: проблема разрешения // Логические исследования, вып.9. М., Наука, 2002. С.202–220.
  5. Рыбаков М.Н. Об алгоритмической выразительности модального языка с одной лишь одноместной предикатной буквой // Логические исследования, вып.9. М., Наука, 2002. С.179–201.
  6. Рыбаков М.Н. О степени неразрешимости предикатных логик знания // Труды научно-исследовательского семинара Логического центра института философии РАН, вып.XV. М., Издательство Института философии РАН, 2001. С.79–91.
  7. Рыбаков М.Н. Сложность проблемы разрешения базисной и формальной логик // Логические исследования, вып.10. М., Наука, 2003. С.158–166.
  8. Chagrov A.V., Rybakov M.N. How Many Variables One Needs to Prove PSPACE-Hardness of Modal Logics? // Advances in Modal Logic, vol.4, London, King’s College Publications, 2003. P.71–82.
  9. Рыбаков М.Н. Погружение интуиционистской логики в её фрагмент от двух переменных и сложность этого фрагмента // Логические исследования, вып.11. М., Наука, 2004. С.247–261.
  10. Rybakov M.N. Complexity of intuitionistic and Visser’s basic and formal logics in finitely many variables // Advances in Modal Logic, vol.6. College Publications, London, 2006. P.393–411.
  11. Рыбаков М.Н. Сложность константного фрагмента пропозициональной динамической логики // Вестник Тверского государственного университета. Серия: Прикладная математика. Выпуск 5, № 11(39), 2007. Издательство Тверского государственного университета. С.5–17.
  12. Горбунов И.А., Рыбаков М.Н. Континуальные семейства логик // Логические исследования, 14. М: Наука, 2007. С.131–151.
  13. Rybakov M.N. Complexity of finite-variable fragments of EXPTIME-complete logics // Journal of Applied Non-Classical Logics, vol.17, No.3, 2007. Lavoisier. P.359–382.
  14. Rybakov M.N. Complexity of intuitionistic propositional logic and its fragments // Journal of Applied Non-Classical Logics, vol.18, No.2–3, 2008. Lavoisier, 2008. P.267–292.
  15. Kotikova E.A., Rybakov M.N. First-Order Logics of Branching Time: On Expressive Power of Temporal Operators // Logical Investigations, vol.19. Center of Humanitarian Initiatives, Moscow–St.Petersburg, 2013. P.68–99.
  16. Рыбаков М.Н. Неразрешимость логики квазиарных предикатов// Вестник Тверского государственного университета. Серия: Прикладная математика. 2014. № 4. С. 17-32.
  17. Kotikova E.A., Rybakov M.N. Kripke incompleteness of first-order calculi with temporal modalities of CTL and near logics// Логические исследования. 2015. Т. 21. № 1. С. 86-99.
  18. Духовнева А.В., Рыбаков М.Н., Шкатов Д.П. Алгоритмическая выразительность некоторых фрагментов языка логики ветвящегося времени// Программные продукты и системы. 2016. № 4. С. 135-142.
  19. Котикова Е.А., Рыбаков М.Н. Моделирование арифметики в языке первого порядка, обогащенном темпоральными кванторами// Вестник Тверского государственного университета. Серия: Прикладная математика. 2016. № 4. С. 5
  20. Рыбаков М.Н. Образование и творчество// Перспективы развития математического образования в Твери и Тверской области Материалы научно-практической конференции. 2017. С. 79-82.