Статьи в журналах
Статьи в сборниках
Тезисы докладов
Книги
Доклады на научных конференциях
НИР и НИОКР
Участие в программных комитетах конференций
Руководство диссертациями
Руководство дипломными работами
Руководство курсовыми работами
Авторство учебных курсов
Преподавание учебных курсов
–
Статьи в журналах
-
- 2023 Normalization of Terms in Sharp Models of Logic of Proofs LP
- Krupski V.N.
- в журнале Moscow University Mathematics Bulletin, издательство Allerton Press Inc. (United States), том 78, № 6, с. 309-312 DOI
-
- 2023 Нормализация термов в точных моделях логики доказательств LP
- Крупский В.Н.
- в журнале Вестник Московского университета. Серия 1: Математика. Механика, издательство Изд-во Моск. ун-та (М.), № 6, с. 52-55 DOI
-
- 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 The Sharpness Property of Justification Logic
- Krupskii V.N.
- в журнале Moscow University Mathematics Bulletin, издательство Allerton Press Inc. (United States), том 75, № 1, с. 49-52 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 О точных логиках свидетельств
- Крупский В.Н.
- в журнале Вестник Московского университета. Серия 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
- редактор Матиясевич Юрий Владимирович
Тезисы докладов
-
- 2019 О точных моделях логики свидетельств
- Крупский В.Н.
- в сборнике Одиннадцатые Смирновские чтения по логике. Материалы Международной научной конференции. 19-21 июня 2019 года, серия Смирновские чтения по логике, место издания Современные тетради, Москва, тезисы, с. 30-31
-
- 2017 О моделировании знания в социальных сетях
- Крупский В.Н.
- в сборнике Десятые Смирновские чтения по логике. Материалы Международной научной конференции. 15-17 июня 2017 года, серия Смирновские чтения по логике, издательство Изд-во Моск. ун-та (М.), тезисы, с. 30-31
- редакторы Герасимова Ирина Алексеевна, Григорьев Олег Михайлович, Зайцев Дмитрий Владимирович, Ивлев Юрий Васильевич, Маркин Владимир Ильич, Шалак Владимир Иванович
Книги
- 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 года, Философский факультет, МГУ имени М. В. Ломоносова, Russia, 19-21 июня 2019
-
- 2018 On Some Properties of Basic Justification Models (Устный)
- Автор: Krupski Vladimir
- Formal Philosophy: The 1st International Conference, Национальный исследовательский университет Высшая школа экономики, Russia, 1-2 октября 2018
-
- 2017 О моделировании знания в социальных сетях (Устный)
- Автор: Крупский В.Н.
- Десятые Смирновские чтения по логике. Международная научная конференция. 15-17 июня 2017 года, Философский факультет, МГУ имени М. В. Ломоносова, Russia, 15-17 июня 2017
-
- 2017 О моделировании уверенности и знания в социальных сетях (Устный)
- Автор: Крупский В.Н.
- Конструктивное знание-3: формализация теорий, г. Москва, ИФ РАН, Russia, 12 мая 2017
-
- 2017 О моделировании знания в социальных сетях (Устный)
- Автор: Крупский В.Н.
- Ломоносовские чтения - 2017, МГУ имени М.В. Ломоносова, Russia, 17-26 апреля 2017
-
- 2016 On Some Formal Systems for Intuitionistic Epistemic Logic (Устный)
- Автор: Krupski V.N.
- International Workshop "The Bounds of Logic Reloaded", Высшая Школа Экономики, Russia, 20-21 октября 2016
-
- 2016 Sequent calculus for intuitionistic epistemic logic IEL (Устный)
- Авторы: Yatmanov A., Krupski V.N.
- Symposium on Logical Foundations of Computer Science, LFCS 2016, Флорида, United States, 4-7 января 2016
-
- 2014 Основная импликация как шифрование (Устный)
- Автор: Крупский Владимир Николаевич
- Конструктивная теория доказательств. Международная конференция, посвященная памяти А.Г.Драгалина, Москва, Russia, 20 февраля 2014
-
- 2013 Primal implication as encryption (Устный)
- Автор: Krupski V.N.
- Logic and Computation Day, Математический институт им. В.А.Стеклова РАН, Russia, 7 июня 2013
НИР и НИОКР
-
- 1 января 2021 - 31 декабря 2025 Алгоритмические и семантические вопросы математической логики. 2021-2025
- Кафедра математической логики и теории алгоритмов
- Руководитель: Семенов А.Л. Ответственные исполнители: Золин Е.Е., Пентус М.Р., Оноприенко А.А. Участники НИР: Яворская Т.Л., Белов А.Я., Кузнецов С.Л., Шехтман В.Б., Плиско В.Е., Крупский В.Н., Сорокин А.А., Любецкий В.А., Беклемишев Л.Д., Верещагин Н.К.
-
- 1 января 2020 - 31 декабря 2022 Неклассические семантики и исчисления
- Кафедра математической логики и теории алгоритмов
- Руководитель: Пентус М.Р. Ответственные исполнители: Золин Е.Е., Плиско В.Е. Участники НИР: Боков Г.В., Гершгорин Р.А., Коновалов А.Ю., Крупский В.Н., Пшеницын Т.Г.
-
- 1 января 2016 - 31 декабря 2020 Алгоритмические и семантические вопросы математической логики. 2016-2020
- Кафедра математической логики и теории алгоритмов
- Руководители: Успенский В.А., Семенов А.Л. Ответственные исполнители: Золин Е.Е., Пентус М.Р. Участники НИР: Яворская Т.Л., Кузнецов С.Л., Адян С.И., Семенов А.Л., Шехтман В.Б., Плиско В.Е., Крупский В.Н., Сорокин А.А., Любецкий В.А., Беклемишев Л.Д., Верещагин Н.К.
-
- 1 января 2014 - 31 декабря 2016 Модальные и лингвистические аспекты математической логики
- Кафедра математической логики и теории алгоритмов
- Руководитель: Успенский В.А. Участники НИР: Яворская Т.Л., Пентус М.Р., Коновалов А.Ю., Кузнецов С.Л., Шехтман В.Б., Плиско В.Е., Крупский В.Н., Золин Е.Е., Чистякова Р.А.
-
- 1 января 2011 - 31 декабря 2013 Математические проблемы логической семантики неклассических дедуктивных систем
- Кафедра математической логики и теории алгоритмов
- Руководитель: Успенский В.А. Участники НИР: Яворская Т.Л., Пентус М.Р., Шехтман В.Б., Кузнецов С.Л., Шамканов Д.С., Плиско В.Е., Крупский В.Н., Золин Е.Е., Чистякова Р.А.
-
- 1 января 2011 - 31 декабря 2015 Исследование логических проблем информатики
- Кафедра математической логики и теории алгоритмов
- Руководитель: Успенский В.А. Участники НИР: Яворская Т.Л., Крупский В.Н., Золин Е.Е., Пентус М.Р.
Участие в программных комитетах конференций
-
- 1-2 октября 2018 Formal Philosophy: The 1st International Conference
- Член программного комитета
- Национальный исследовательский университет Высшая школа экономики, Russia
Руководство диссертациями
-
- 2012 Интерполяционные свойства логик доказуемости и нормализация термов рефлексивной комбинаторной логики
- Кандидатская диссертация по специальности 01.01.06 - Математическая логика, алгебра и теория чисел (физ.-мат. науки)
- Автор: Шамканов Данияр Салкарбекович
- Научные руководители: Беклемишев Лев Дмитриевич, д.ф.-м.н., акад. РАН, МГУ имени М.В. Ломоносова, Крупский Владимир Николаевич, к.ф.-м.н., доц., МГУ имени М.В. Ломоносова
- Защищена в совете Д 501.001.84 при МГУ имени М.В. Ломоносова, Механико-математический факультет
- Организация, в которой выполнялась работа: Математический институт им. В.А.Стеклова РАН
- Ведущая организация: Институт математики им. С.Л.Соболева Сибирского отделения РАН
- Оппоненты: Оревков Владимир Павлович, Шапировский Илья Борисович
-
- 2005 О решениях функциональных уравнений в некоторых разрешимых теориях
- Кандидатская диссертация по специальности 01.01.06 - Математическая логика, алгебра и теория чисел (физ.-мат. науки)
- Автор: Шлепаков С.П.
- Научные руководители: Успенский В.А., д.ф.-м.н., проф., Крупский В.Н., к.ф.-м.н., доц., МГУ имени М.В. Ломоносова
- Защищена в совете Д 501.001.84 при МГУ имени М.В. Ломоносова, Механико-математический факультет
Руководство дипломными работами
-
- 2019 Имплементация оснований математики в системе Coq
- Научный руководитель: Крупский В.Н.
- Автор: Дунаев Г.А. (Магистр)
-
- 2019 О формализации модальной логики в системе Coq
- Научный руководитель: Крупский В.Н.
- Автор: Красненкова А.В., (Магистр)
-
- 2019 Устранение сечения и оценка сложности для интуиционистской логики уверенности
- Научный руководитель: Крупский В.Н.
- Автор: Козлова А.М. (Специалист)
-
- 2017 О моделировании традиционной негативной силлогистики средствами современной математической логики
- Научный руководитель: Крупский В.Н.
- Автор: Красненкова А.В., (Бакалавр)
-
- 2017 О моделях интуиционистской эпистемической логики
- Научный руководитель: Крупский В.Н.
- Автор: Мотолыгин В.С. (Специалист)
-
- 2012 О конструктивных теориях типов и их компьютерных реализациях
- Научные руководители: Беклемишев Лев Дмитриевич, Крупский Владимир Николаевич
- Автор: Малокостова Екатерина Андреевна (Специалист)
-
- 2009 Формализация доказательства устранимости правила сечения в исчислении высказываний
- Научные руководители: Беклемишев Лев Дмитриевич, Крупский Владимир Николаевич
- Автор: Кашев Александр Викторович (Специалист)
Руководство курсовыми работами
-
- 2017 Устранение сечения в секвенциальной формулировке интуиционистской логики уверенности
- Научный руководитель: Крупский В.Н.
- Автор: Козлова А. (Специалист)
Авторство учебных курсов
-
- 2012 Программирование
- Автор: Крупский В.Н.
-
- 2012 Информатика и основы программирования
- Автор: Крупский В.Н.
-
- 2011 Основы программирования
- Автор: Крупский В.Н.
Преподавание учебных курсов
-
- 7 февраля 2024 - 31 мая 2024 Вычислимость и неклассические логики
- МГУ имени М.В. Ломоносова, Механико-математический факультет
- обязательная, по выбору (спецкурс), семинары, 36 часов
-
- 7 февраля 2024 - 31 мая 2024 Логические проблемы информатики
- МГУ имени М.В. Ломоносова, Механико-математический факультет
- обязательная, по выбору (спецкурс), семинары, 36 часов
-
- 1 сентября 2023 - 30 декабря 2023 Введение в математическую логику и теорию алгоритмов
- МГУ имени М.В. Ломоносова, Механико-математический факультет
- обязательная, базовой части, семинары, 72 часов
-
- 1 сентября 2023 - 30 декабря 2023 Логические проблемы информатики
- МГУ имени М.В. Ломоносова, Механико-математический факультет
- обязательная, по выбору (спецкурс), семинары, 36 часов
-
- 1 сентября 2023 - 30 декабря 2023 Вычислимость и неклассические логики
- МГУ имени М.В. Ломоносова, Механико-математический факультет
- обязательная, по выбору (спецкурс), семинары, 36 часов
-
- 1 сентября 2023 - 30 декабря 2023 Информатика и основы программирования
- МГУ имени М.В. Ломоносова, Филологический факультет, Кафедра теоретической и прикладной лингвистики
- обязательная, базовой части, лекции, 36 часов
-
- 1 сентября 2022 - 30 декабря 2022 Введение в математическую логику и теорию алгоритмов
- МГУ имени М.В. Ломоносова, Механико-математический факультет
- обязательная, базовой части, семинары, 72 часов
-
- 1 сентября 2022 - 30 мая 2023 Вычислимость и неклассические логики
- МГУ имени М.В. Ломоносова, Механико-математический факультет
- обязательная, по выбору (спецкурс), семинары, 70 часов
-
- 1 сентября 2022 - 30 мая 2023 Логические проблемы информатики
- МГУ имени М.В. Ломоносова, Механико-математический факультет
- обязательная, по выбору (спецкурс), семинары, 70 часов
-
- 1 сентября 2022 - 30 декабря 2022 Информатика и основы программирования
- МГУ имени М.В. Ломоносова, Филологический факультет, Кафедра теоретической и прикладной лингвистики
- обязательная, базовой части, лекции, 36 часов
-
- 1 сентября 2021 - 30 мая 2022 Логические проблемы информатики
- МГУ имени М.В. Ломоносова, Механико-математический факультет
- обязательная, по выбору (спецкурс), семинары, 70 часов
-
- 1 сентября 2021 - 30 мая 2022 Вычислимость и неклассические логики
- МГУ имени М.В. Ломоносова, Механико-математический факультет
- обязательная, по выбору (спецкурс), семинары, 70 часов
-
- 1 сентября 2021 - 30 мая 2022 Программирование
- МГУ имени М.В. Ломоносова, Филологический факультет, Кафедра теоретической и прикладной лингвистики
- обязательная, базовой части, лекции, 140 часов
-
- 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 Логические проблемы информатики
- МГУ имени М.В. Ломоносова, Механико-математический факультет, Отделение математики, Кафедра математической логики и теории алгоритмов
- обязательная, по выбору (спецкурс), семинары, 70 часов
-
- 1 сентября 2017 - 31 мая 2018 Вычислимость и неклассические логики
- МГУ имени М.В. Ломоносова, Механико-математический факультет, Отделение математики, Кафедра математической логики и теории алгоритмов
- обязательная, по выбору (спецкурс), семинары, 70 часов
-
- 1 сентября 2017 - 20 декабря 2017 Введение в математическую логику и теорию алгоритмов
- МГУ имени М.В. Ломоносова, Механико-математический факультет
- обязательная, базовой части, семинары, 36 часов
-
- 1 сентября 2017 - 31 мая 2018 Программирование
- МГУ имени М.В. Ломоносова, Филологический факультет, Кафедра теоретической и прикладной лингвистики
- обязательная, базовой части, лекции, 140 часов
-
- 7 февраля 2017 - 31 мая 2017 Математическая логика (обязательный спецкурс)
- МГУ имени М.В. Ломоносова, Механико-математический факультет, Отделение математики, Кафедра математической логики и теории алгоритмов
- обязательная, по выбору (спецкурс), лекции, 28 часов
-
- 7 февраля 2017 - 31 мая 2017 Информатика и основы программирования
- МГУ имени М.В. Ломоносова, Филологический факультет, Кафедра теоретической и прикладной лингвистики
- обязательная, базовой части, лекции, 34 часов
-
- 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 Логические проблемы информатики
- МГУ имени М.В. Ломоносова, Механико-математический факультет, Отделение математики, Кафедра математической логики и теории алгоритмов
- обязательная, по выбору (спецкурс), семинары, 70 часов
-
- 1 сентября 2015 - 31 мая 2016 Вычислимость и неклассические логики
- МГУ имени М.В. Ломоносова, Механико-математический факультет, Отделение математики, Кафедра математической логики и теории алгоритмов
- обязательная, по выбору (спецкурс), семинары, 68 часов
-
- 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 Вычислимость и неклассические логики
- МГУ имени М.В. Ломоносова, Механико-математический факультет, Отделение математики, Кафедра математической логики и теории алгоритмов
- обязательная, по выбору (спецкурс), семинары, 68 часов
-
- 1 сентября 2012 - 31 мая 2013 Логические проблемы информатики
- МГУ имени М.В. Ломоносова, Механико-математический факультет, Отделение математики, Кафедра математической логики и теории алгоритмов
- обязательная, по выбору (спецкурс), семинары, 68 часов
-
- 1 сентября 2012 - 20 декабря 2012 Введение в математическую логику и теорию алгоритмов
- МГУ имени М.В. Ломоносова, Механико-математический факультет
- обязательная, базовой части, семинары, 36 часов
-
- 1 сентября 2012 - 31 мая 2013 Программирование
- МГУ имени М.В. Ломоносова, Филологический факультет, Кафедра теоретической и прикладной лингвистики
- обязательная, базовой части, лекции, 140 часов
-
- 7 февраля 2012 - 30 мая 2012 Информатика и основы программирования
- МГУ имени М.В. Ломоносова, Филологический факультет, Кафедра теоретической и прикладной лингвистики
- обязательная, базовой части, лекции, 34 часов
-
- 1 сентября 2011 - 31 мая 2012 Информатика и основы программирования
- МГУ имени М.В. Ломоносова, Филологический факультет, Кафедра теоретической и прикладной лингвистики
- обязательная, базовой части, практические занятия, 200 часов
-
- 1 сентября 2011 - 31 мая 2012 Логические проблемы информатики
- МГУ имени М.В. Ломоносова, Механико-математический факультет, Отделение математики, Кафедра математической логики и теории алгоритмов
- обязательная, по выбору (спецкурс), семинары, 68 часов
-
- 1 сентября 2011 - 31 мая 2012 Вычислимость и неклассические логики
- МГУ имени М.В. Ломоносова, Механико-математический факультет, Отделение математики, Кафедра математической логики и теории алгоритмов
- обязательная, по выбору (спецкурс), семинары, 68 часов