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


Карта сайтаВерсия для слабовидящих

Контактная информация

170100, Россия,
Тверь, ул. Желябова, 33

Подробнее...

Главная страница  

Доцент кафедры математического моделирования

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

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

Образование:
ТвГУ

Телефон:
(4822) 58-53-43 (доб. 114)

E-mail:
 

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

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

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

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

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

Сотрудник следующих кафедр

Награды

Конференции

  1. Котикова Е.А., Рыбаков М.Н. Пример использования логики как шаг в процессе её постижения // Проблеми викладання логіки та перспективи її розвитку. VІ Міжнародна науково-практична конференція (15–16 травня 2014 року). Матеріали доповідей та виступів. Київський національний університет імені Тараса Шевченка, ВПЦ «Київський університет», 2014. С.102–104.
  2. 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.
  3. Котикова Е.А., Рыбаков М.Н. Предикатная логика ветвящегося времени QCTL: алгоритмические, семантические и дедуктивные аспекты // Открытый Российско-Финский коллоквиум по логике. Санкт-Петербург, 14–16 июня 2012 года. Издательство СПбГУ, СПб, 2012.
  4. Котикова Е.А., Рыбаков М.Н. Сложность проблемы истинности константных модальных формул в модели // Современная логика: проблемы теории, истории и применения в науке. Материалы XI Общероссийской научной конференции 23–26 июня 2008г. Издательство СПбГУ, СПб, 2010. С.281—283.
  5. Рыбаков М.Н. Сложность фрагмента логики IPDL // Шестые Смирновские чтения по логике. М., Современные тетради, 2009. С.34—35.
  6. Рыбаков М.Н. Свойства логик знания при одновременном использовании оператора распределённого знания и оператора всеобщего знания // Современная логика: проблемы теории, истории и применения в науке. Материалы X Общероссийской научной конференции 26–28 июня 2008г. Издательство СПбГУ, СПб, 2008. С.443—444.
  7. Рыбаков М.Н. Неклассические логики: их сложность и сложность их приложений. Философия математики: актуальные проблемы. Материалы Международной научной конференции 15–16 июня 2007. Издание философского факультета МГУ. С. 123–125.
  8. Рыбаков М.Н. К вопросу о полноте по Крипке предикатных логик. Смирновские чтения. Материалы 5-й конференции. 20–22 июня 2007, Москва. М., ИФ РАН, 2007, с. 37–38.
  9. Рыбаков М.Н. Формальная предикатная логика А.Виссера: выразительность фрагментов языка от одной одноместной буквы. Современная логика: проблемы теории, истории и применения в науке. Материалы IX Общероссийской научной конференции. СПб, 22–24 июня 2006 г. СПб., 2006. С. 386–388.
  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. 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.
  2. 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.
  3. Горбунов И.А., Рыбаков М.Н. Континуальные семейства логик // Логические исследования, 14. М: Наука, 2007. С.131—151.
  4. Рыбаков М.Н. Сложность константного фрагмента пропозициональной динамической логики // Вестник Тверского государственного университета. Серия: Прикладная математика. Выпуск 5, № 11(39), 2007. Издательство Тверского государственного университета. С.5—17.
  5. 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.
  6. 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.
  7. Рыбаков М.Н. Погружение интуиционистской логики в её фрагмент от двух переменных и сложность этого фрагмента // Логические исследования, вып.11. М., Наука, 2004. С.247—261.
  8. Рыбаков М.Н. Сложность проблемы разрешения базисной и формальной логик // Логические исследования, вып.10. М., Наука, 2003. С.158—166.
  9. Рыбаков М.Н. О степени неразрешимости предикатных логик знания // Труды научно-исследовательского семинара Логического центра института философии РАН, вып.XV. М., Издательство Института философии РАН, 2001. С.79—91.
  10. 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.
  11. Рыбаков М.Н., Чагров А.В. Константные формулы в модальных логиках: проблема разрешения // Логические исследования, вып.9. М., Наука, 2002. С.202—220.
  12. Рыбаков М.Н. Об алгоритмической выразительности модального языка с одной лишь одноместной предикатной буквой // Логические исследования, вып.9. М., Наука, 2002. С.179—201.
  13. Рыбаков М.Н. Перечислимость модальных предикатных логик и условия обрыва возрастающих цепей // Логические исследования, вып.8. М., Наука, 2001. С.155—167.
  14. Рыбаков М.Н. Операторы всеобщего и распределённого знания: дополнительные выразительные средства в логиках знания // Информационные процессы, т.1, № 1, 2001. С.89—98.
  15. Рыбаков М.Н., Чагров А.В., Стандартные переводы неклассических формул и относительная разрешимость логик // Труды научно-исследовательского семинара Логического центра Института философии РАН, вып.XIV. М., Издательство Института философии РАН, 2000. С.81—98.

Яндекс.Метрика  

Р Р?йтинг@Mail.ru