ИСТИНА

Крупский Владимир Николаевич пользователь

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

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

доцент по кафедре прикладной математики с 27 октября 1990 г.

Соавторы: Артемов С.Н., Плиско В.Е., Constable R., Брюхов Е.Н., Копылов А.П., Ногин А.Ю.

29 статей, 4 книги, 10 докладов на конференциях, 2 тезисов докладов, 6 НИР, 1 членство в программном комитете, 2 диссертации, 7 дипломных работ, 1 курсовая работа, 13 учебных курсов

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

IstinaResearcherID (IRID): 2552954

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

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

  • 
    • 2021 On sharp and single-conclusion justification models
    • Krupski Vladimir N.
    • в журнале Journal of Logic and Computation, издательство Oxford University Press (United Kingdom), том 31, № 1, с. 152-167 DOI
  • 
    • 2020 Cut elimination and complexity bounds for intuitionistic epistemic logic
    • Krupski Vladimir N.
    • в журнале Journal of Logic and Computation, издательство Oxford University Press (United Kingdom), том 30, № 1, с. 281-294 DOI
  • 
    • 2020 The Sharpness Property of Justification Logic
    • Krupskii V.N.
    • в журнале Moscow University Mathematics Bulletin, издательство Allerton Press Inc. (United States), том 75, № 1, с. 49-52 DOI
  • • 2020 О точных логиках свидетельств
    • Крупский В.Н.
    • в журнале Вестник Московского университета. Серия 1: Математика. Механика, издательство Изд-во Моск. ун-та (М.), № 1, с. 71-75
  • • 2017 On the sharpness and the injective property of basic justification models
    • Krupski Vladimir N.
    • в журнале ArXiv e-prints, № 1709.01316v1, с. 1-13
  • • 2015 Sequent calculus for intuitionistic epistemic logic. Eprint arXiv: 1508.07851v1
    • Krupski Vladimir N., Alexey Yatmanov
    • в журнале ArXiv e-prints, № 1508.07851v1, с. 1-15
  • • 2014 Коза на привязи
    • Крупский В.Н., Орлов А.И.
    • в журнале Квантик, № 10, с. 20-24
  • • 2013 Primal implication as encryption
    • Krupski V.
    • в журнале ArXiv e-prints, № 1303.6862
  • 
    • 2011 On symbolic models for Single-Conclusion Logic of Proofs
    • Krupski Vladimir N.
    • в журнале Sbornik Mathematics, издательство London Mathematical Society (United Kingdom), том 202, № 5, с. 683-695 DOI
  • • 2011 О символических моделях для функциональной логики доказательств
    • Крупский В.Н.
    • в журнале Математический сборник, издательство МИАН (Москва), том 202, № 5, с. 63-76 DOI
  • 
    • 2006 Reference Constructions in the Single-conclusion Proof Logic
    • Krupski Vladimir N.
    • в журнале Journal of Logic and Computation, издательство Oxford University Press (United Kingdom), том 16, № 5, с. 645-661
  • 
    • 2006 Referential logic of proofs
    • Krupski Vladmir N.
    • в журнале Theoretical Computer Science, издательство Elsevier BV (Netherlands), том 357, № 1-3, с. 143-166
  • 
    • 2002 Effective simultaneous approximability of reals
    • Krupski Vlaimir N.
    • в журнале Theoretical Computer Science, издательство Elsevier BV (Netherlands), том 284, № 2, с. 397-417
  • 
    • 2002 The single-conclusion proof logic and inference rules specification
    • Krupski Vladimir N.
    • в журнале Annals of Pure and Applied Logic, издательство Elsevier BV (Netherlands), том 113, № 1-3, с. 181-206
  • 
    • 1996 Data storage interpretation of labeled modal logic
    • Artemov S., Krupski V.
    • в журнале Annals of Pure and Applied Logic, издательство Elsevier BV (Netherlands), том 78, № 1-3, с. 57-71 DOI
  • 
    • 1990 Efficient coding of approximations of real numbers
    • Krupskii V.N.
    • в журнале Mathematical notes of the Academy of Sciences of the USSR, том 47, № 2, с. 143-152 DOI
  • • 1990 Об эффективности кодирования приближений действительных чисел
    • Крупский Владимир Николаевич
    • в журнале Математические заметки, издательство МИАН (Москва), том 47, № 2, с. 46-57
  • 
    • 1984 Admissible topological Markov chains with identifications
    • Krupskii V.N.
    • в журнале Mathematical notes of the Academy of Sciences of the USSR, том 35, № 2, с. 139-144 DOI
  • • 1984 Допустимые топологические цепи Маркова с отождествлениями
    • Крупский Владимир Николаевич
    • в журнале Математические заметки, издательство МИАН (Москва), том 35, № 2, с. 263-272
  • 
    • 1982 О совместной аппроксимируемости действительных чисел
    • Крупский Владимир Николаевич
    • в журнале Доклады Академии наук, издательство Наука (М.), том 267, № 1, с. 45-48
  • 
    • 1981 О сложности задания вычислимых аппроксимаций точек метрического пространства
    • Крупский Владимир Николаевич
    • в журнале Вестник Московского университета. Серия 1: Математика. Механика, издательство Изд-во Моск. ун-та (М.), № 5, с. 3-9
  • 
    • 1979 Вполне перечислимые множества в эффективно метрических пространствах
    • Крупский Владимир Николаевич
    • в журнале Вестник Московского университета. Серия 1: Математика. Механика, издательство Изд-во Моск. ун-та (М.), № 5, с. 20-25

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

  • 
    • 2018 On the sharpness and the single-conclusion property of basic justification models
    • Krupski Vladimir N.
    • в сборнике Logical Foundations of Computer Science - International Symposium, LFCS 2018, Deerfield Beach, FL, USA, January 8-11, 2018, Proceedings, серия Lecture Notes in Computer Science, место издания Springer Cham, том 10703, с. 211-220 DOI
    • редактор Артемов Сергей Николаевич
  • 
    • 2016 Sequent Calculus for Intuitionistic Epistemic Logic IEL
    • Krupski Vladimir N., Alexey Yatmanov
    • в сборнике Logical Foundations of Computer Science - International Symposium, LFCS 2016, Deerfield Beach, FL, USA, January 4-7, 2016. Proceedings, серия Lecture Notes in Computer Science, место издания Springer, том 9537, с. 187-201 DOI
    • редактор Артемов Сергей Николаевич
  • 
    • 2014 Primal Implication as Encryption
    • Krupski V.N.
    • в сборнике Computer Science – Theory and Applications, 9th International Computer Science Symposium in Russia, CSR 2014, Moscow, Russia, June 7-11, 2014. Proceedings, серия Lecture Notes in Computer Science, издательство SPRINGER (VAN GODEWIJCKSTRAAT 30, DORDRECHT, NETHERLANDS, 3311GZ), том 8476, с. 232-244 DOI
    • редактор Верещагин Николай Константинович
  • 
    • 2010 Symbolic models for single-conclusion proof logics
    • Krupski Vladimir N.
    • в сборнике Computer Science – Theory and Applications, 5th International Computer Science Symposium in Russia, CSR 2010, Kazan, Russia, June 16-20, 2010. Proceedings, серия Lecture Notes in Computer Science, издательство SPRINGER-VERLAG BERLIN (HEIDELBERGER PLATZ 3, BERLIN, GERMANY,D-14197), том 6072, с. 276-287 DOI
  • 
    • 2003 MetaPRL - A modular logical environment
    • Hickey J., Nogin A., Constable R., Aydemir B., Barzilay E., Bryukhov Ye, Eaton R., Granicz A., Kopylov A., Kreitz C., Krupski V., Lorigo L., Schmitt S., Witty C., Xin Yu
    • в сборнике Theorem Proving in Higher Order Logics, 16th International Conference, TPHOLs 2003, Rom, Italy, September 8-12, 2003, Proceedings, серия Lecture Notes in Computer Science, место издания Springer, том 2758, с. 287-303
  • • 1997 Operational Logic of Proofs with Functionality Condition on Proof Predicate
    • Krupski Vladimir
    • в сборнике Logical Foundations of Computer Science, 4th International Symposium, LFCS'97, Yaroslavl, Russia, July 6-12, 1997, Proceedings, серия Lecture Notes in Computer Science, место издания Springer-Verlag Berlin, том 1234, с. 167-177 DOI
    • редактор Адян Сергей Иванович
  • • 1994 Referential data structures and labeled modal logic
    • Artëmov Sergei, Krupski Vladimir
    • в сборнике Logical Foundations of Computer Science, Third International Symposium, LFCS'94, St. Petersburg, Russia, July 11-14, 1994, Proceedings, серия Lecture Notes in Computer Science, место издания Springer, том 813, с. 23-33 DOI
    • редактор Матиясевич Юрий Владимирович

• Книги

  • • 2017 Теория алгоритмов. Введение в сложность вычислений
    • Крупский В.Н.
    • место издания Издательство Юрайт Москва, ISBN 978-5-534-04817-9, 117 с.
  • • 2013 Математическая логика и теория алгоритмов
    • Крупский В.Н., Плиско В.Е.
    • место издания Издательский центр "Академия" Москва, ISBN 978-5-7695-9559-2, 416 с.
  • • 2009 Теория алгоритмов
    • Крупский В.Н., Плиско В.Е.
    • место издания Академия Москва, ISBN 978-5-7695-5293-9, 208 с.
  • • 2006 Введение в сложность вычислений
    • Крупский Владимир Николаевич
    • место издания Факториал Пресс Москва, ISBN 5-88688-083-6, 128 с.

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

  • • 2019 О точных моделях логики свидетельств (Устный)
    • Автор: Крупский В.Н.
    • Одиннадцатые Смирновские чтения по логике. Международная научная конференция. 19-21 июня 2019 года, Философский факультет, МГУ имени М. В. Ломоносова, Россия, 19-21 июня 2019
  • • 2018 On Some Properties of Basic Justification Models (Устный)
    • Автор: Krupski Vladimir
    • Formal Philosophy: The 1st International Conference, Национальный исследовательский университет Высшая школа экономики, Россия, 1-2 октября 2018
  • • 2017 О моделировании знания в социальных сетях (Устный)
    • Автор: Крупский В.Н.
    • Десятые Смирновские чтения по логике. Международная научная конференция. 15-17 июня 2017 года, Философский факультет, МГУ имени М. В. Ломоносова, Россия, 15-17 июня 2017
  • • 2017 О моделировании уверенности и знания в социальных сетях (Устный)
    • Автор: Крупский В.Н.
    • Конструктивное знание-3: формализация теорий, г. Москва, ИФ РАН, Россия, 12 мая 2017
  • • 2017 О моделировании знания в социальных сетях (Устный)
    • Автор: Крупский В.Н.
    • Ломоносовские чтения - 2017, МГУ имени М.В. Ломоносова, Россия, 17-26 апреля 2017
  • • 2016 On Some Formal Systems for Intuitionistic Epistemic Logic (Устный)
    • Автор: Krupski V.N.
    • International Workshop "The Bounds of Logic Reloaded", Высшая Школа Экономики, Россия, 20-21 октября 2016
  • • 2016 Sequent calculus for intuitionistic epistemic logic IEL (Устный)
    • Авторы: Krupski V.N., Yatmanov A.
    • Symposium on Logical Foundations of Computer Science, LFCS 2016, Флорида, США, 4-7 января 2016
  • • 2014 Primal implication as encryption
    • Автор: Krupski V.
    • The 9th International Computer Science Symposium in Russia, CSR 2014, Моква, 2014
  • • 2014 Основная импликация как шифрование (Устный)
    • Автор: Крупский Владимир Николаевич
    • Конструктивная теория доказательств. Международная конференция, посвященная памяти А.Г.Драгалина, Москва, Россия, 20 февраля 2014
  • • 2013 Primal implication as encryption (Устный)
    • Автор: Krupski V.N.
    • Logic and Computation Day, Математический институт им. В.А.Стеклова РАН, Россия, 7 июня 2013

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

  • • 2019 О точных моделях логики свидетельств
    • Крупский В.Н.
    • в сборнике Одиннадцатые Смирновские чтения по логике. Материалы Международной научной конференции. 19-21 июня 2019 года, серия Смирновские чтения по логике, место издания Современные тетради, Москва, тезисы, с. 30-31
  • • 2017 О моделировании знания в социальных сетях
    • Крупский В.Н.
    • в сборнике Десятые Смирновские чтения по логике. Материалы Международной научной конференции. 15-17 июня 2017 года, серия Смирновские чтения по логике, издательство Изд-во Моск. ун-та (М.), тезисы, с. 30-31
    • редакторы Герасимова Ирина Алексеевна, Григорьев Олег Михайлович, Зайцев Дмитрий Владимирович, Ивлев Юрий Васильевич, Маркин Владимир Ильич, Шалак Владимир Иванович

• НИРы

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

• Участие в программных комитетах конференций

  • • 1-2 октября 2018 Formal Philosophy: The 1st International Conference
    • Член программного комитета
    • Национальный исследовательский университет Высшая школа экономики, Россия

• Руководство диссертациями

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

• Руководство дипломными работами

  • • 2019 Устранение сечения и оценка сложности для интуиционистской логики уверенности
    • Научный руководитель: Крупский В.Н.
    • Автор: Козлова А.М. (Специалист)
  • • 2019 О формализации модальной логики в системе Coq
    • Научный руководитель: Крупский В.Н.
    • Автор: Красненкова А.В., (Магистр)
  • • 2019 Имплементация оснований математики в системе Coq
    • Научный руководитель: Крупский В.Н.
    • Автор: Дунаев Г.А. (Магистр)
  • • 2017 О моделях интуиционистской эпистемической логики
    • Научный руководитель: Крупский В.Н.
    • Автор: Мотолыгин В.С. (Специалист)
  • • 2017 О моделировании традиционной негативной силлогистики средствами современной математической логики
    • Научный руководитель: Крупский В.Н.
    • Автор: Красненкова А.В., (Бакалавр)
  • • 2012 О конструктивных теориях типов и их компьютерных реализациях
    • Научные руководители: Беклемишев Лев Дмитриевич, Крупский Владимир Николаевич
    • Автор: Малокостова Екатерина Андреевна (Специалист)
  • • 2009 Формализация доказательства устранимости правила сечения в исчислении высказываний
    • Научные руководители: Беклемишев Лев Дмитриевич, Крупский Владимир Николаевич
    • Автор: Кашев Александр Викторович (Специалист)

• Руководство курсовыми работами

  • • 2017 Устранение сечения в секвенциальной формулировке интуиционистской логики уверенности
    • Научный руководитель: Крупский В.Н.
    • Автор: Козлова А. (Специалист)

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

  • • 2020 Математическая логика
    • Авторы: Кузнецов Степан Львович, Крупский Владимир Николаевич, Яворская Татьяна Леонидовна, Пентус Мати Рейнович
  • • 2014 Логические проблемы информатики
    • Авторы: Крупский В.Н., Беклемишев Л.Д., Пентус М.Р., Яворская Т.Л.
  • • 2013 Практикум по математической логике. COQ.
    • Авторы: Крупский В.Н., Кузнецов С.Л.
  • • 2012 Программирование
    • Автор: Крупский В.Н.
  • • 2012 Информатика и основы программирования
    • Автор: Крупский В.Н.
  • • 2011 Основы программирования
    • Автор: Крупский В.Н.
  • • 2009 Вычислимость и неклассические логики
    • Авторы: Плиско В.Е., Крупский В.Н., Ногина Е.Ю., Коновалов А.Ю.

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

  • • 1 сентября 2022 - 30 мая 2023 Вычислимость и неклассические логики
    • МГУ имени М.В. Ломоносова, Механико-математический факультет
    • обязательная, по выбору (спецкурс), семинары, 70 часов
  • • 1 сентября 2022 - 30 мая 2023 Логические проблемы информатики
    • МГУ имени М.В. Ломоносова, Механико-математический факультет
    • обязательная, по выбору (спецкурс), семинары, 70 часов
  • • 1 сентября 2022 - 30 декабря 2022 Информатика и основы программирования
    • МГУ имени М.В. Ломоносова, Филологический факультет, Кафедра теоретической и прикладной лингвистики
    • обязательная, базовой части, лекции, 36 часов
  • • 1 сентября 2022 - 30 декабря 2022 Введение в математическую логику и теорию алгоритмов
    • МГУ имени М.В. Ломоносова, Механико-математический факультет
    • обязательная, базовой части, семинары, 72 часов
  • • 1 сентября 2021 - 30 мая 2022 Программирование
    • МГУ имени М.В. Ломоносова, Филологический факультет, Кафедра теоретической и прикладной лингвистики
    • обязательная, базовой части, лекции, 140 часов
  • • 1 сентября 2021 - 30 мая 2022 Вычислимость и неклассические логики
    • МГУ имени М.В. Ломоносова, Механико-математический факультет
    • обязательная, по выбору (спецкурс), семинары, 70 часов
  • • 1 сентября 2021 - 30 мая 2022 Логические проблемы информатики
    • МГУ имени М.В. Ломоносова, Механико-математический факультет
    • обязательная, по выбору (спецкурс), семинары, 70 часов
  • • 1 сентября 2021 - 30 декабря 2021 Введение в математическую логику и теорию алгоритмов
    • МГУ имени М.В. Ломоносова, Механико-математический факультет
    • обязательная, базовой части, семинары, 72 часов
  • • 8 февраля 2021 - 30 мая 2021 Информатика и основы программирования
    • МГУ имени М.В. Ломоносова, Филологический факультет, Кафедра теоретической и прикладной лингвистики
    • обязательная, базовой части, лекции, 34 часов
  • • 3 сентября 2020 - 30 мая 2021 Логические проблемы информатики
    • МГУ имени М.В. Ломоносова, Механико-математический факультет, Отделение математики, Кафедра математической логики и теории алгоритмов
    • обязательная, по выбору (спецкурс), семинары, 70 часов
  • • 2 сентября 2020 - 30 мая 2021 Вычислимость и неклассические логики
    • МГУ имени М.В. Ломоносова, Механико-математический факультет, Отделение математики, Кафедра математической логики и теории алгоритмов
    • обязательная, по выбору (спецкурс), семинары, 70 часов
  • • 2 сентября 2020 - 30 мая 2021 Программирование
    • МГУ имени М.В. Ломоносова, Филологический факультет, Кафедра теоретической и прикладной лингвистики
    • обязательная, базовой части, лекции, 140 часов
  • • 1 сентября 2020 - 20 декабря 2020 Введение в математическую логику и теорию алгоритмов
    • МГУ имени М.В. Ломоносова, Механико-математический факультет
    • обязательная, базовой части, семинары, 54 часов
  • • 7 февраля 2020 - 31 мая 2020 Информатика и основы программирования
    • МГУ имени М.В. Ломоносова, Филологический факультет, Кафедра теоретической и прикладной лингвистики
    • обязательная, базовой части, лекции, 34 часов
  • • 2 сентября 2019 - 30 мая 2020 Логические проблемы информатики
    • МГУ имени М.В. Ломоносова, Механико-математический факультет, Отделение математики, Кафедра математической логики и теории алгоритмов
    • обязательная, по выбору (спецкурс), семинары, 70 часов
  • • 2 сентября 2019 - 30 мая 2020 Программирование
    • МГУ имени М.В. Ломоносова, Филологический факультет, Кафедра теоретической и прикладной лингвистики
    • обязательная, базовой части, лекции, 140 часов
  • • 1 сентября 2019 - 31 мая 2020 Вычислимость и неклассические логики
    • МГУ имени М.В. Ломоносова, Механико-математический факультет, Отделение математики, Кафедра математической логики и теории алгоритмов
    • обязательная, по выбору (спецкурс), семинары, 70 часов
  • • 1 сентября 2019 - 20 декабря 2019 Введение в математическую логику и теорию алгоритмов
    • МГУ имени М.В. Ломоносова, Механико-математический факультет
    • обязательная, базовой части, семинары, 54 часов
  • • 7 февраля 2019 - 31 мая 2019 Информатика и основы программирования
    • МГУ имени М.В. Ломоносова, Филологический факультет, Кафедра теоретической и прикладной лингвистики
    • обязательная, базовой части, лекции, 34 часов
  • • 3 сентября 2018 - 31 мая 2019 Логические проблемы информатики
    • МГУ имени М.В. Ломоносова, Механико-математический факультет, Отделение математики, Кафедра математической логики и теории алгоритмов
    • обязательная, по выбору (спецкурс), семинары, 70 часов
  • • 3 сентября 2018 - 31 мая 2019 Программирование
    • МГУ имени М.В. Ломоносова, Филологический факультет, Кафедра теоретической и прикладной лингвистики
    • обязательная, базовой части, лекции, 140 часов
  • • 1 сентября 2018 - 31 мая 2019 Вычислимость и неклассические логики
    • МГУ имени М.В. Ломоносова, Механико-математический факультет, Отделение математики, Кафедра математической логики и теории алгоритмов
    • обязательная, по выбору (спецкурс), семинары, 70 часов
  • • 1 сентября 2018 - 20 декабря 2018 Введение в математическую логику и теорию алгоритмов
    • МГУ имени М.В. Ломоносова, Механико-математический факультет
    • обязательная, базовой части, семинары, 36 часов
  • • 7 февраля 2018 - 31 мая 2018 Информатика и основы программирования
    • МГУ имени М.В. Ломоносова, Филологический факультет, Кафедра теоретической и прикладной лингвистики
    • обязательная, базовой части, лекции, 34 часов
  • • 1 сентября 2017 - 31 мая 2018 Программирование
    • МГУ имени М.В. Ломоносова, Филологический факультет, Кафедра теоретической и прикладной лингвистики
    • обязательная, базовой части, лекции, 140 часов
  • • 1 сентября 2017 - 31 мая 2018 Логические проблемы информатики
    • МГУ имени М.В. Ломоносова, Механико-математический факультет, Отделение математики, Кафедра математической логики и теории алгоритмов
    • обязательная, по выбору (спецкурс), семинары, 70 часов
  • • 1 сентября 2017 - 31 мая 2018 Вычислимость и неклассические логики
    • МГУ имени М.В. Ломоносова, Механико-математический факультет, Отделение математики, Кафедра математической логики и теории алгоритмов
    • обязательная, по выбору (спецкурс), семинары, 70 часов
  • • 1 сентября 2017 - 20 декабря 2017 Введение в математическую логику и теорию алгоритмов
    • МГУ имени М.В. Ломоносова, Механико-математический факультет
    • обязательная, базовой части, семинары, 36 часов
  • • 7 февраля 2017 - 31 мая 2017 Информатика и основы программирования
    • МГУ имени М.В. Ломоносова, Филологический факультет, Кафедра теоретической и прикладной лингвистики
    • обязательная, базовой части, лекции, 34 часов
  • • 7 февраля 2017 - 31 мая 2017 Математическая логика (обязательный спецкурс)
    • МГУ имени М.В. Ломоносова, Механико-математический факультет, Отделение математики, Кафедра математической логики и теории алгоритмов
    • обязательная, по выбору (спецкурс), лекции, 28 часов
  • • 1 сентября 2016 - 31 мая 2017 Логические проблемы информатики
    • МГУ имени М.В. Ломоносова, Механико-математический факультет, Отделение математики, Кафедра математической логики и теории алгоритмов
    • обязательная, по выбору (спецкурс), семинары, 70 часов
  • • 1 сентября 2016 - 31 мая 2017 Вычислимость и неклассические логики
    • МГУ имени М.В. Ломоносова, Механико-математический факультет, Отделение математики, Кафедра математической логики и теории алгоритмов
    • обязательная, по выбору (спецкурс), семинары, 70 часов
  • • 1 сентября 2016 - 30 мая 2017 Программирование
    • МГУ имени М.В. Ломоносова, Филологический факультет, Кафедра теоретической и прикладной лингвистики
    • обязательная, базовой части, лекции, 140 часов
  • • 1 сентября 2016 - 20 декабря 2016 Введение в математическую логику и теорию алгоритмов
    • МГУ имени М.В. Ломоносова, Механико-математический факультет
    • обязательная, базовой части, семинары, 36 часов
  • • 8 февраля 2016 - 30 мая 2016 Информатика и основы программирования
    • МГУ имени М.В. Ломоносова, Филологический факультет, Кафедра теоретической и прикладной лингвистики
    • обязательная, базовой части, лекции, 34 часов
  • • 1 сентября 2015 - 31 мая 2016 Вычислимость и неклассические логики
    • МГУ имени М.В. Ломоносова, Механико-математический факультет, Отделение математики, Кафедра математической логики и теории алгоритмов
    • обязательная, по выбору (спецкурс), семинары, 68 часов
  • • 1 сентября 2015 - 31 мая 2016 Логические проблемы информатики
    • МГУ имени М.В. Ломоносова, Механико-математический факультет, Отделение математики, Кафедра математической логики и теории алгоритмов
    • обязательная, по выбору (спецкурс), семинары, 70 часов
  • • 1 сентября 2015 - 30 мая 2016 Программирование
    • МГУ имени М.В. Ломоносова, Филологический факультет, Кафедра теоретической и прикладной лингвистики
    • обязательная, базовой части, лекции, 140 часов
  • • 1 сентября 2015 - 20 декабря 2015 Введение в математическую логику и теорию алгоритмов
    • МГУ имени М.В. Ломоносова, Механико-математический факультет
    • обязательная, базовой части, семинары, 36 часов
  • • 9 февраля 2015 - 30 мая 2015 Информатика и основы программирования
    • МГУ имени М.В. Ломоносова, Филологический факультет, Кафедра теоретической и прикладной лингвистики
    • обязательная, базовой части, лекции, 34 часов
  • • 1 сентября 2014 - 31 мая 2015 Вычислимость и неклассические логики
    • МГУ имени М.В. Ломоносова, Механико-математический факультет, Отделение математики, Кафедра математической логики и теории алгоритмов
    • обязательная, по выбору (спецкурс), семинары, 68 часов
  • • 1 сентября 2014 - 31 мая 2015 Логические проблемы информатики
    • МГУ имени М.В. Ломоносова, Механико-математический факультет, Отделение математики, Кафедра математической логики и теории алгоритмов
    • обязательная, по выбору (спецкурс), семинары, 68 часов
  • • 1 сентября 2014 - 30 мая 2015 Программирование
    • МГУ имени М.В. Ломоносова, Филологический факультет, Кафедра теоретической и прикладной лингвистики
    • обязательная, базовой части, лекции, 140 часов
  • • 1 сентября 2014 - 19 декабря 2014 Введение в математическую логику и теорию алгоритмов
    • МГУ имени М.В. Ломоносова, Механико-математический факультет
    • обязательная, базовой части, семинары, 36 часов
  • • 7 февраля 2014 - 19 мая 2014 Информатика и основы программирования
    • МГУ имени М.В. Ломоносова, Филологический факультет, Кафедра теоретической и прикладной лингвистики
    • обязательная, базовой части, лекции, 34 часов
  • • 1 сентября 2013 - 31 мая 2014 Логические проблемы информатики
    • МГУ имени М.В. Ломоносова, Механико-математический факультет, Отделение математики, Кафедра математической логики и теории алгоритмов
    • обязательная, по выбору (спецкурс), семинары, 68 часов
  • • 1 сентября 2013 - 31 мая 2014 Вычислимость и неклассические логики
    • МГУ имени М.В. Ломоносова, Механико-математический факультет, Отделение математики, Кафедра математической логики и теории алгоритмов
    • обязательная, по выбору (спецкурс), семинары, 68 часов
  • • 1 сентября 2013 - 20 мая 2014 Программирование
    • МГУ имени М.В. Ломоносова, Филологический факультет, Кафедра теоретической и прикладной лингвистики
    • обязательная, базовой части, лекции, 140 часов
  • • 1 сентября 2013 - 19 декабря 2013 Введение в математическую логику и теорию алгоритмов
    • МГУ имени М.В. Ломоносова, Механико-математический факультет
    • обязательная, базовой части, семинары, 36 часов
  • • 7 февраля 2013 - 30 мая 2013 Информатика и основы программирования
    • МГУ имени М.В. Ломоносова, Филологический факультет, Кафедра теоретической и прикладной лингвистики
    • обязательная, базовой части, лекции, 34 часов
  • • 1 сентября 2012 - 31 мая 2013 Программирование
    • МГУ имени М.В. Ломоносова, Филологический факультет, Кафедра теоретической и прикладной лингвистики
    • обязательная, базовой части, лекции, 140 часов
  • • 1 сентября 2012 - 31 мая 2013 Логические проблемы информатики
    • МГУ имени М.В. Ломоносова, Механико-математический факультет, Отделение математики, Кафедра математической логики и теории алгоритмов
    • обязательная, по выбору (спецкурс), семинары, 68 часов
  • • 1 сентября 2012 - 31 мая 2013 Вычислимость и неклассические логики
    • МГУ имени М.В. Ломоносова, Механико-математический факультет, Отделение математики, Кафедра математической логики и теории алгоритмов
    • обязательная, по выбору (спецкурс), семинары, 68 часов
  • • 1 сентября 2012 - 20 декабря 2012 Введение в математическую логику и теорию алгоритмов
    • МГУ имени М.В. Ломоносова, Механико-математический факультет
    • обязательная, базовой части, семинары, 36 часов
  • • 7 февраля 2012 - 30 мая 2012 Информатика и основы программирования
    • МГУ имени М.В. Ломоносова, Филологический факультет, Кафедра теоретической и прикладной лингвистики
    • обязательная, базовой части, лекции, 34 часов
  • • 1 сентября 2011 - 31 мая 2012 Информатика и основы программирования
    • МГУ имени М.В. Ломоносова, Филологический факультет, Кафедра теоретической и прикладной лингвистики
    • обязательная, базовой части, практические занятия, 200 часов
  • • 1 сентября 2011 - 31 мая 2012 Логические проблемы информатики
    • МГУ имени М.В. Ломоносова, Механико-математический факультет, Отделение математики, Кафедра математической логики и теории алгоритмов
    • обязательная, по выбору (спецкурс), семинары, 68 часов
  • • 1 сентября 2011 - 31 мая 2012 Вычислимость и неклассические логики
    • МГУ имени М.В. Ломоносова, Механико-математический факультет, Отделение математики, Кафедра математической логики и теории алгоритмов
    • обязательная, по выбору (спецкурс), семинары, 68 часов