ИСТИНА

Золин Евгений Евгеньевич пользователь ответственный

МГУ имени М.В. Ломоносова, Механико-математический факультет, Отделение математики, Кафедра математической логики и теории алгоритмов, старший научный сотрудник, с 2 февраля 2009

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

МГУ имени М.В. Ломоносова, Механико-математический факультет, Отделение математики, Кафедра математической логики и теории алгоритмов, ответственный по системе

Соавторы: Кикоть С.П., Шапировский И.Б., Sattler U., Horrocks I., Hull D., Stevens R., Бовыкин А.И., Захарьящев М.В., Казаков Е.Л., Царьков Д.В.

23 статьи, 14 докладов на конференциях, 3 тезисов докладов, 10 НИР, 1 диссертация, 11 учебных курсов

Количество цитирований статей в журналах по данным Web of Science: 24, Scopus: 78
РИНЦ:

IstinaResearcherID (IRID): 2545755

ResearcherID: M-9205-2018

Scopus Author ID: 23399170500

ORCID: 0000-0002-3530-5707

Деятельность

---

• Статьи в журналах

  • • 2020 The infinitary operator of almost necessary
    • Zolin Evgeny
    • в журнале Notre Dame Journal of Formal Logic, с. 1-23
  • 
    • 2017 Undecidability of the transitive graded modal logic with converse
    • Zolin Evgeny
    • в журнале Journal of Logic and Computation, издательство Oxford University Press (United Kingdom), том 27, № 5, с. 1399-1420 DOI
  • 
    • 2015 Local Goldblatt-Thomason Theorem
    • Zolin Evgeny
    • в журнале Logic Journal of the IGPL, издательство Oxford University Press (United Kingdom), том 23, № 6, с. 861-880 DOI
  • 
    • 2014 Undecidability of the Problem of Recognizing Axiomatizations of Superintuitionistic Propositional Calculi
    • Zolin Evgeny
    • в журнале Studia Logica, издательство Springer Nature (Switzerland), том 102, № 5, с. 1021-1039 DOI
  • 
    • 2013 Modal Definability of First-Order Formulas with Free Variables and Query Answering
    • Kikot Stanislav, Zolin Evgeny
    • в журнале Journal of Applied Logic, издательство Elsevier BV (Netherlands), том 11, № 2, с. 190-216 DOI
  • 
    • 2002 Sequential Reflexive Logics with Noncontingency Operator
    • Zolin E.E.
    • в журнале Mathematical Notes, издательство Pleiades Publishing, Ltd (Road Town, United Kingdom), том 72, № 5-6, с. 784-798 DOI
  • • 2002 Секвенциальные рефлексивные логики с оператором разрешимости
    • Золин Евгений Евгеньевич
    • в журнале Математические заметки, издательство МИАН (Москва), том 72, № 6, с. 853-868 DOI
  • • 2001 Linear Modalities in Minimal Logic
    • Zolin E.E.
    • в журнале Moscow University Mathematics Bulletin, издательство Allerton Press Inc. (United States), том 56, № 4, с. 28-30
  • • 2001 Sequent Logic of Arithmetic Decidability
    • Zolin E.E.
    • в журнале Moscow University Mathematics Bulletin, издательство Allerton Press Inc. (United States), том 56, № 6, с. 22-27
  • 
    • 2001 Линейные модальности в минимальной логике
    • Золин Евгений Евгеньевич
    • в журнале Вестник Московского университета. Серия 1: Математика. Механика, издательство Изд-во Моск. ун-та (М.), № 4, с. 47-50
  • • 2001 Относительная интерпретируемость модальных логик
    • Золин Евгений Евгеньевич
    • в журнале Фундаментальная и прикладная математика, издательство Интуит (М.), том 7, № 1, с. 47-69
  • 
    • 2001 Секвенциальная логика арифметической разрешимости
    • Золин Евгений Евгеньевич
    • в журнале Вестник Московского университета. Серия 1: Математика. Механика, издательство Изд-во Моск. ун-та (М.), № 6, с. 43-48
  • • 2000 Embeddings of Propositional Monomodal Logics
    • Zolin Evgeni E.
    • в журнале Logic Journal of the IGPL, издательство Oxford University Press (United Kingdom), том 8, № 6, с. 861-882 DOI
  • • 1999 Completeness and Definability in the Logic of Noncontingency
    • Zolin Evgeni E.
    • в журнале Notre Dame Journal of Formal Logic, том 40, № 4, с. 533-547 DOI
  • 
    • 1997 Интерполяционное свойство Крейга в логиках доказательств с оператором сильной доказуемости
    • Золин Евгений Евгеньевич
    • в журнале Вестник Московского университета. Серия 1: Математика. Механика, издательство Изд-во Моск. ун-та (М.), № 4, с. 53-55

• Статьи в сборниках

  • 
    • 2020 Modal logics with transitive closure: Completeness, decidability, filtration
    • Kikot Stanislav, Shapirovsky Ilya, Zolin Evgeny
    • в сборнике Advances in Modal Logic, серия Advances in Modal Logic, место издания College Publications London, том 13, с. 369-388
  • 
    • 2014 Filtration Safe Operations on Frames
    • Kikot Stanislav, Shapirovsky Ilya, Zolin Evgeny
    • в сборнике Advances in Modal Logic, серия Advances in Modal Logic, место издания College Publication London, том 10, с. 333-352
  • 
    • 2013 Query Answering via Modal Definability with FaCT++: First Blood
    • Kikot Stanislav, Tsarkov Dmitry, Zakharyaschev Michael, Zolin Evgeny
    • в сборнике Proceedings of the 26th International Workshop on Description Logics (DL 2013), серия CEUR Workshop Proceedings (CEUR-WS.org), место издания CEUR-WS.org, том 1014, с. 328-340
  • 
    • 2007 How Many Legs Do I Have? Non-Simple Roles in Number Restrictions Revisited
    • Kazakov Yevgeny, Sattler Ulrike, Zolin Evgeny
    • в сборнике Logic for Programming, Artificial Intelligence, and Reasoning, 14th International Conference, LPAR 2007, Yerevan, Armenia, October 15-19, 2007, Proceedings, серия Lecture Notes in Artificial Intelligence, издательство Springer Berlin (Heidelberg, Germany), том 4790, с. 303-317 DOI
    • редактор Воронков Андрей Анатольевич
  • 
    • 2007 Modal Logic Applied to Query Answering and the Case for Variable Modalities
    • Zolin Evgeny
    • в сборнике Proceedings of the 20th International Workshop on Description Logics (DL 2007), место издания Bozen-Bolzano University Press Bozen-Bolzano, том 250, с. 515-522
  • 
    • 2006 Deciding Semantic Matching of Stateless Services
    • Hull Duncan, Zolin Evgeny, Bovykin Andrey, Horrocks Ian, Sattler Ulrike, Stevens Robert
    • в сборнике Proceedings, The Twenty-First National Conference on Artificial Intelligence and the Eighteenth Innovative Applications of Artificial Intelligence Conference, July 16-20, 2006, Boston, Massachusetts, USA, место издания AAAI Press, с. 1319-1324
  • 
    • 2005 Query Answering Based on Modal Correspondence Theory
    • Zolin Evgeny
    • в сборнике Proc. of the 4th Methods for Modalities Workshop (M4M-4), с. 21-37
  • • 2001 Infinitary Definability of Necessity in Terms of Contingency
    • Zolin Evgeny
    • в сборнике Proceedings of ESSLLI Student Session, Finland, Helsinki, 13-24 August, 2001, с. 310-319

• Доклады на конференциях

  • • 2020 Модальные логики с оператором транзитивного замыкания (Устный)
    • Авторы: Золин Евгений Евгеньевич, Кикоть Станислав, Шапировский Илья
    • Ломоносовские чтения 2020. Секция математики, МГУ имени М.В. Ломоносова, Россия, 21-28 октября 2020
  • • 2020 Modal logics with transitive closure: Completeness, decidability, filtration (Устный)
    • Авторы: Kikot Stanislav, Shapirovsky Ilya, Zolin Evgeny
    • Advances in Modal Logic (AiML 2020), Helsinki, Финляндия, 24-28 августа 2020
  • • 2019 Compactness and saturatedness in definability theorems (Устный)
    • Автор: Zolin Evgeny
    • Trends in Logic 19: Current Issues in Philosophical Logic, Национальный исследовательский университет Высшая школа экономики (НИУ ВШЭ), Москва, Россия, 2-4 октября 2019
  • • 2019 Соответствие на счетных структурах и запросы к теориям (Устный)
    • Автор: Золин Евгений Евгеньевич
    • Одиннадцатые Смирновские чтения по логике. Международная научная конференция. 19-21 июня 2019 года, Философский факультет, МГУ имени М. В. Ломоносова, Россия, 19-21 июня 2019
  • • 2019 Критерии аксиоматизируемости в модальной логике (Устный)
    • Автор: Золин Евгений Евгеньевич
    • «Ломоносовские чтения - 2019». Секция «Математика», Москва, МГУ, Россия, 15-25 апреля 2019
  • • 2018 Duality in abstract definability theory (Устный)
    • Автор: Zolin Evgeny
    • Formal Philosophy: The 1st International Conference, Национальный исследовательский университет Высшая школа экономики, Россия, 1-2 октября 2018
  • • 2017 Axiomatic classes of models in modal logics (Устный)
    • Автор: Zolin Evgeny
    • Wormshop 2017 (The 4th Workshop on Proof Theory, Modal Logic and Reflection Principles), Steklov Mathematical Institute, Moscow, Russia, Россия, 17-20 октября 2017
  • • 2017 Объединения модально определимых классов моделей (Устный)
    • Автор: Золин Евгений Евгеньевич
    • Десятые Смирновские чтения по логике. Международная научная конференция. 15-17 июня 2017 года, Философский факультет, МГУ имени М. В. Ломоносова, Россия, 15-17 июня 2017
  • • 2016 Модальные логики операций на шкалах Крипке (Устный)
    • Автор: Золин Евгений Евгеньевич
    • Ломоносовские чтения - 2016, МГУ им. М.В. Ломоносова, Россия, 18-27 апреля 2016
  • • 2014 Вычислительная сложность градуированных модальных логик (Устный)
    • Автор: Золин Евгений Евгеньевич
    • Ломоносовские чтения - 2015. Секция математики, МГУ им. М.В. Ломоносова, Механико-математический факультет, Россия, 17 декабря 2014 - 20 января 2015
  • • 2014 Локальный аналог теоремы Гольдблатта-Томасона в модальной логике (Устный)
    • Автор: Золин Евгений Евгеньевич
    • Ломоносовские чтения - 2014. Секция математики, МГУ им. М.В. Ломоносова, Механико-математический факультет, Россия, 14-23 апреля 2014
  • • 2012 Модальная транзитивная логика с градуированными прямыми и обратными модальностями (Устный)
    • Автор: Золин Евгений Евгеньевич
    • Московские чтения по конструктивной логике и представлению знаний, МЦНМО, Москва, Россия, 30-31 мая 2012
  • • 2012 Graded dependent modal logics (Устный)
    • Автор: Zolin Evgeny
    • Logical Models of Reasoning and Computation (LRMC 2012), Математический институт им. В.А.Стеклова РАН, Россия, 1-3 февраля 2012
  • • 2011 Проблема глобальной выполнимости в полимодальных градуированных логиках (Устный)
    • Автор: Золин Евгений Евгеньевич
    • Ломоносовские чтения - 2011. Секция математики, Москва, МГУ, механико-математический факультет, Россия, 7-15 апреля 2011

• Тезисы докладов

  • 
    • 2019 Соответствие на счетных структурах и запросы к теориям
    • Золин Евгений Евгеньевич
    • в сборнике Одиннадцатые Смирновские чтения по логике. Материалы Международной научной конференции. 19-21 июня 2019 года, серия Смирновские чтения по логике, место издания Современные тетради, Москва, тезисы, с. 24-26
  • 
    • 2017 Объединения модально определимых классов моделей
    • Золин Евгений Евгеньевич
    • в сборнике Десятые Смирновские чтения по логике. Материалы Международной научной конференции. 15-17 июня 2017 года, серия Смирновские чтения по логике, издательство Изд-во Моск. ун-та (М.), тезисы, с. 19-21
    • редакторы Герасимова Ирина Алексеевна, Григорьев Олег Михайлович, Зайцев Дмитрий Владимирович, Ивлев Юрий Васильевич, Маркин Владимир Ильич, Шалак Владимир Иванович
  • 
    • 2015 On Completeness of Logics Enriched with Transitive Closure Modality
    • Shapirovsky Ilya, Zolin Evgeny
    • в сборнике 7th International Conference on Topology, Algebra and Categories in Logic (TACL 2015), серия TACL, тезисы, с. 1-3

• НИРы

  • • 1 января 2021 - 31 декабря 2025 Алгоритмические и семантические вопросы математической логики. 2021-2025
    • Кафедра математической логики и теории алгоритмов
    • Руководитель: Семенов А.Л. Ответственные исполнители: Золин Е.Е., Оноприенко А.А., Пентус М.Р. Участники НИР: Беклемишев Л.Д., Белов А.Я., Верещагин Н.К., Крупский В.Н., Кузнецов С.Л., Любецкий В.А., Плиско В.Е., Сорокин А.А., Шехтман В.Б., Яворская Т.Л.
  • • 1 января 2020 - 31 декабря 2022 Неклассические семантики и исчисления
    • Кафедра математической логики и теории алгоритмов
    • Руководитель: Пентус М.Р. Ответственные исполнители: Золин Е.Е., Плиско В.Е. Участники НИР: Боков Г.В., Гершгорин Р.А., Коновалов А.Ю., Крупский В.Н., Пшеницын Т.Г.
  • • 1 января 2016 - 31 декабря 2020 Алгоритмические и семантические вопросы математической логики. 2016-2020
    • Кафедра математической логики и теории алгоритмов
    • Руководители: Семенов А.Л., Успенский В.А. Ответственные исполнители: Золин Е.Е., Пентус М.Р. Участники НИР: Адян С.И., Беклемишев Л.Д., Верещагин Н.К., Крупский В.Н., Кузнецов С.Л., Любецкий В.А., Плиско В.Е., Семенов А.Л., Сорокин А.А., Шехтман В.Б., Яворская Т.Л.
  • • 1 января 2016 - 31 декабря 2018 Теоретико-модельные и алгоритмические проблемы в модальных и алгебраических логиках
    • Негосударственное образовательное учреждение Московский Центр непрерывного математического образования
    • Руководитель: Шехтман В.Б. Участники НИР: Владимиров А.Г., Золин Е.Е., Кудинов А.В., Осипов И.И., Пентус М.Р., Савельев Д.И., Скворцов Д.П., Чижов А.С., Шапировский И.Б.
  • • 1 января 2014 - 31 декабря 2016 Модальные и лингвистические аспекты математической логики
    • Кафедра математической логики и теории алгоритмов
    • Руководитель: Успенский В.А. Участники НИР: Золин Е.Е., Коновалов А.Ю., Крупский В.Н., Кузнецов С.Л., Пентус М.Р., Плиско В.Е., Чистякова Р.А., Шехтман В.Б., Яворская Т.Л.
  • • 1 января 2014 - 31 декабря 2015 Исследование моделей неклассических логик
    • Негосударственное образовательное учреждение Московский Центр непрерывного математического образования
    • Руководитель: Шапировский И.Б. Участники НИР: Золин Е.Е., Кикоть С.П., Кудинов А.В., Осипов И.И., Рыбаков М.Н., Савельев Д.И., Скворцов Д.П., Смелянский Д.М., Чагров А.В.
  • • 1 января 2011 - 31 декабря 2015 Алгоритмические и семантические вопросы математической логики
    • Кафедра математической логики и теории алгоритмов
    • Руководитель: Успенский В.А. Участники НИР: Беклемишев Л.Д., Верещагин Н.К., Золин Е.Е., Кузнецов С.Л., Плиско В.Е., Сорокин А.А., Шехтман В.Б.
  • • 1 января 2011 - 31 декабря 2015 Исследование логических проблем информатики
    • Кафедра математической логики и теории алгоритмов
    • Руководитель: Успенский В.А. Участники НИР: Золин Е.Е., Крупский В.Н., Пентус М.Р., Яворская Т.Л.
  • • 1 января 2011 - 31 декабря 2013 Исследование разрешимых фрагментов модальных и алгебраических логик
    • Негосударственное образовательное учреждение Московский Центр непрерывного математического образования
    • Руководитель: Шехтман В.Б. Участники НИР: Золин Е.Е., Измайлов М.М., Кикоть С.П., Кудинов А.В., Осипов И.И., Пентус М.Р., Сорокин А.А., Чижов А.С., Шапировский И.Б.
  • • 1 января 2011 - 31 декабря 2013 Математические проблемы логической семантики неклассических дедуктивных систем
    • Кафедра математической логики и теории алгоритмов
    • Руководитель: Успенский В.А. Участники НИР: Золин Е.Е., Крупский В.Н., Кузнецов С.Л., Пентус М.Р., Плиско В.Е., Чистякова Р.А., Шамканов Д.С., Шехтман В.Б., Яворская Т.Л.

• Диссертация

  • • 2002 Модальные логики с оператором разрешимости
    • Кандидатская диссертация по специальности 01.01.06 - Математическая логика, алгебра и теория чисел (физ.-мат. науки)
    • Автор: Золин Евгений Евгеньевич, к.ф.-м.н., МГУ имени М.В. Ломоносова
    • Научные руководители: Артемов Сергей Николаевич, д.ф.-м.н., проф., МГУ имени М.В. Ломоносова, Успенский Владимир Андреевич, д.ф.-м.н., проф.
    • Защищена в совете Д 501.001.84 при МГУ имени М.В. Ломоносова, Механико-математический факультет
    • Ведущая организация: Новосибирский государственный университет
    • Оппоненты: Чагров Александр Васильевич, Хаханян Валерий Христофорович

• Авторство учебных курсов

  • • 2018 Дополнительные главы математической логики
    • Автор: золин е.
    • курс на иностранном языке
  • • 2016 Модальная логика
    • Автор: Золин Евгений Евгеньевич
  • • 2016 Дополнительные главы классической логики (Advanced Course in Classical Logic)
    • Автор: Золин Евгений Евгеньевич
    • курс на иностранном языке
  • • 2015 Модели неклассических логик
    • Авторы: Золин Е.Е., Шапировский И.Б.
  • • 2014 Что такое число?
    • Авторы: Семёнов Алексей Львович, Успенский Владимир Андреевич, Яворская Татьяна Леонидовна, Золин Евгений Евгеньевич
  • • 2014 Модальная логика и ее приложения
    • Авторы: Золин Е.Е., Шапировский И.Б.
  • • 2009 Дескрипционная логика
    • Автор: Золин Е.Е.

• Преподавание учебных курсов

  • • 8 февраля 2021 - 31 мая 2021 Дополнительные главы классической логики (Advanced Course in Classical Logic)
    • МГУ имени М.В. Ломоносова, Механико-математический факультет
    • обязательная, по выбору (спецкурс), лекции, 34 часов
  • • 1 сентября 2020 - 31 мая 2021 Модальная логика
    • МГУ имени М.В. Ломоносова, Механико-математический факультет
    • обязательная, по выбору (спецкурс), лекции, 70 часов
  • • 1 сентября 2020 - 20 декабря 2020 Введение в математическую логику и теорию алгоритмов
    • МГУ имени М.В. Ломоносова, Механико-математический факультет
    • обязательная, базовой части, семинары, 36 часов
  • • 8 февраля 2020 - 19 мая 2020 Дополнительные главы классической логики (Advanced Course in Classical Logic)
    • МГУ имени М.В. Ломоносова, Механико-математический факультет
    • обязательная, по выбору (спецкурс), лекции, 34 часов
  • • 1 сентября 2019 - 31 мая 2020 Модальная логика
    • МГУ имени М.В. Ломоносова, Механико-математический факультет
    • обязательная, по выбору (спецкурс), лекции, 70 часов
  • • 1 сентября 2019 - 20 декабря 2019 Просеминар по математической логике и информатике
    • МГУ имени М.В. Ломоносова, Механико-математический факультет
    • обязательная, вариативной части, семинары, 4 часов
  • • 1 сентября 2019 - 20 декабря 2019 Введение в математическую логику и теорию алгоритмов
    • МГУ имени М.В. Ломоносова, Механико-математический факультет
    • обязательная, базовой части, семинары, 36 часов
  • • 8 февраля 2019 - 19 мая 2019 Дополнительные главы классической логики (Advanced Course in Classical Logic)
    • МГУ имени М.В. Ломоносова, Механико-математический факультет
    • обязательная, по выбору (спецкурс), лекции, 34 часов
  • • 1 февраля 2019 - 31 мая 2019 Просеминар по математической логике и информатике
    • МГУ имени М.В. Ломоносова, Механико-математический факультет, Отделение математики, Кафедра математической логики и теории алгоритмов
    • обязательная, вариативной части, семинары, 4 часов
  • • 1 сентября 2018 - 19 мая 2019 Модальная логика
    • МГУ имени М.В. Ломоносова, Механико-математический факультет
    • обязательная, по выбору (спецкурс), лекции, 70 часов
  • • 1 сентября 2018 - 20 декабря 2018 Введение в математическую логику и теорию алгоритмов
    • МГУ имени М.В. Ломоносова, Механико-математический факультет
    • обязательная, базовой части, семинары, 36 часов
  • • 8 февраля 2018 - 19 мая 2018 Дополнительные главы классической логики (Advanced Course in Classical Logic)
    • МГУ имени М.В. Ломоносова, Механико-математический факультет
    • обязательная, по выбору (спецкурс), лекции, 34 часов
  • • 1 сентября 2017 - 19 мая 2018 Дескрипционная логика
    • МГУ имени М.В. Ломоносова, Механико-математический факультет, Отделение математики, Кафедра математической логики и теории алгоритмов
    • обязательная, по выбору (спецкурс), лекции, 70 часов
  • • 1 сентября 2017 - 20 декабря 2017 Введение в математическую логику и теорию алгоритмов
    • МГУ имени М.В. Ломоносова, Механико-математический факультет
    • обязательная, базовой части, семинары, 36 часов
  • • 8 февраля 2017 - 19 мая 2017 Дополнительные главы классической логики (Advanced Course in Classical Logic)
    • МГУ имени М.В. Ломоносова, Механико-математический факультет
    • обязательная, по выбору (спецкурс), лекции, 32 часов
  • • 2 сентября 2016 - 19 мая 2017 Модальная логика
    • МГУ имени М.В. Ломоносова, Механико-математический факультет
    • обязательная, по выбору (спецкурс), лекции, 68 часов
  • • 1 сентября 2016 - 20 декабря 2016 Введение в математическую логику и теорию алгоритмов
    • МГУ имени М.В. Ломоносова, Механико-математический факультет
    • обязательная, базовой части, семинары, 36 часов
  • • 11 февраля 2016 - 26 мая 2016 Аксиоматический метод
    • МГУ имени М.В. Ломоносова, Филологический факультет, Кафедра теоретической и прикладной лингвистики
    • обязательная, базовой части, лекции, 34 часов
  • • 8 февраля 2016 - 27 мая 2016 Дополнительные главы классической логики (Advanced Course in Classical Logic)
    • МГУ имени М.В. Ломоносова, Механико-математический факультет
    • обязательная, по выбору (спецкурс), лекции, 32 часов
  • • 25 сентября 2015 - 20 мая 2016 Модели неклассических логик
    • МГУ имени М.В. Ломоносова, Механико-математический факультет
    • обязательная, по выбору (спецкурс), лекции, 68 часов
  • • 10 февраля 2015 - 19 мая 2015 Аксиоматический метод
    • МГУ имени М.В. Ломоносова, Филологический факультет, Кафедра теоретической и прикладной лингвистики
    • обязательная, базовой части, лекции, 34 часов
  • • 19 сентября 2014 - 15 мая 2015 Модальная логика и ее приложения
    • МГУ имени М.В. Ломоносова, Механико-математический факультет
    • обязательная, по выбору (спецкурс), лекции, 68 часов
  • • 11 февраля 2014 - 13 мая 2014 Аксиоматический метод
    • МГУ имени М.В. Ломоносова, Филологический факультет, Кафедра теоретической и прикладной лингвистики
    • обязательная, базовой части, лекции, 34 часов
  • • 1 сентября 2011 - 19 мая 2012 Дескрипционная логика
    • МГУ имени М.В. Ломоносова, Механико-математический факультет, Отделение математики, Кафедра математической логики и теории алгоритмов
    • обязательная, по выбору (спецкурс), лекции, 68 часов
  • • 1 сентября 2010 - 19 мая 2011 Дескрипционная логика
    • МГУ имени М.В. Ломоносова, Механико-математический факультет, Отделение математики, Кафедра математической логики и теории алгоритмов
    • обязательная, по выбору (спецкурс), лекции, 68 часов
  • • 1 сентября 2009 - 19 мая 2010 Дескрипционная логика
    • МГУ имени М.В. Ломоносова, Механико-математический факультет, Отделение математики, Кафедра математической логики и теории алгоритмов
    • обязательная, по выбору (спецкурс), лекции, 68 часов

---