ИСТИНА

Яворская Татьяна Леонидовна пользователь

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

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

Соавторы: Артемов С.Н., Рубцова Н.М.

13 статей, 4 доклада на конференциях, 6 НИР, 6 дипломных работ, 17 учебных курсов

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

IstinaResearcherID (IRID): 2631424

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

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

  • 
    • 2016 Binding modalities
    • Artemov Sergei N., Yavorskaya Tatiana
    • в журнале Journal of Logic and Computation, издательство Oxford University Press (United Kingdom), том 26, № 1, с. 451-461 DOI
  • 
    • 2008 Interacting explicit evidence systems
    • Yavorskaya T.
    • в журнале Theory of Computing Systems, издательство Springer Verlag (Germany), том 43, № 2, с. 272-293
  • 
    • 2007 Operations on proofs and labels
    • Rubtsova N., Yavorskaya T.
    • в журнале Journal of Applied Non-classical logics, том 17, № 3, с. 283-316 DOI
  • 
    • 2006 Logic of proofs and labels with a complete set of operations
    • Yavorskaya Tatiana
    • в журнале Journal of Logic and Computation, издательство Oxford University Press (United Kingdom), том 16, № 5, с. 697-710 DOI
  • 
    • 2005 Negative operations on proofs and labels
    • Yavorskaya Tatiana
    • в журнале Journal of Logic and Computation, издательство Oxford University Press (United Kingdom), том 15, № 4, с. 517-537 DOI
  • 
    • 2001 Logic of proofs and provability
    • Yavorskaya (Sidon) T.
    • в журнале Annals of Pure and Applied Logic, издательство Elsevier BV (Netherlands), том 113, № 1, с. 345-372
  • 
    • 2001 On first order logic of proofs
    • Artemov S., Yavorskaya (Sidon) T.
    • в журнале Moscow Mathematical Journal, том 1, № 4, с. 475-490
  • 
    • 1998 Интерполяционное свойство Крейга для операторных логик доказательств
    • Яворская Татьяна Леонидовна
    • в журнале Вестник Московского университета. Серия 1: Математика. Механика, издательство Изд-во Моск. ун-та (М.), № 2, с. 34-38
  • • 1998 Неаксиоматизируемость предикатных логик доказательств
    • Сидон Т.Л.
    • в журнале Вестник Московского университета. Серия 1: Математика. Механика, издательство Изд-во Моск. ун-та (М.), том 6, с. 12-16
  • • 1997 Логика доказуемости с операциями над доказательствами
    • Сидон Т.Л.
    • в журнале Фундаментальная и прикладная математика, издательство Интуит (М.), том 3, № 4, с. 1173-1197

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

  • 
    • 2006 Multi-agent explicit knowledge
    • Yavorskaya T.
    • в сборнике Computer Science – Theory and Applications, 1st International Computer Science Symposium in Russia, CSR 2006, St. Petersburg, Russia, June 8-12, 2006, Proceedings, серия Lecture Notes in Computer Science, место издания Springer, том 3967, с. 369-380
  • • 1997 Provability logic with operations on proofs
    • Sidon T.
    • в сборнике 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, с. 342-353 DOI
    • редактор Адян Сергей Иванович
  • • 1994 Craig interpolation property in modal logics with provability interpretations
    • Sidon T.
    • в сборнике 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, с. 329-340
    • редактор Матиясевич Юрий Владимирович

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

  • • 2014 Multi-agent Justification Logic
    • Авторы: Yavorskaya Tatiana, Ruhlyadko Nadezhda
    • The International Workshop on Proof, Structure and Computation (PSC), Vienna Summer of Logic, Вена, Австрия, 2014
  • • 2012 Arithmetical semantics of First-order logic of proofs (Устный)
    • Авторы: Артемов Сергей Николаевич, Яворская Татьяна Леонидовна
    • Explicit Paradigms in Logic and Computer Science, Берн, Швейцария, 4-6 июня 2012
  • • 2012 First order logic of proofs (Устный)
    • Автор: Yavorskaya Tatiana
    • Logical Models of Reasoning and Computation (LRMC 2012), Математический институт им. В.А.Стеклова РАН, Россия, 1-3 февраля 2012
  • • 2006 Multi-agent explicit knowledge (Устный)
    • Автор: Яворская Татьяна Леонидовна
    • First International Computer Science Symposium in Russia, CSR 2006, Санкт-Петербург, Россия, 8-12 июня 2006

• НИРы

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

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

  • • 2017 О реализации несимметричных бимодальных логик в логиках свидетельств
    • Научный руководитель: Яворская Татьяна Леонидовна
    • Автор: Торопкин Артём Владимирович (Специалист)
  • • 2014 Об отраженном фрагменте мультиагентных логик свидетельств
    • Научный руководитель: Яворская Татьяна Леонидовна
    • Автор: Сафин Аскар Рашитович (Специалист)
  • • 2011 Формальная семантика естественных языков
    • Научный руководитель: Яворская Татьяна Леонидовна
    • Автор: Чудова Юлия Сергеевна (Специалист)
  • • 2011 Формальная верификация алгоритмов транзакций
    • Научный руководитель: Яворская Татьяна Леонидовна
    • Автор: Калюжный Максим Сергеевич (Специалист)
  • • 2010 Мультиагентные логики свидетельств
    • Научный руководитель: Яворская Татьяна Леонидовна
    • Автор: Рухлядко Надежда Григорьевна (Специалист)
  • • 2008 Интуиционистская логика доказательств
    • Научный руководитель: Яворская Татьяна Леонидовна
    • Автор: Дашков Евгений Владимирович (Специалист)

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

  • • 2020 Математическая логика
    • Авторы: Кузнецов Степан Львович, Крупский Владимир Николаевич, Яворская Татьяна Леонидовна, Пентус Мати Рейнович
  • • 2018 Введение в теорию доказательств: аспекты неполноты
    • Авторы: Беклемишев Лев Дмитриевич, Яворская Татьяна Леонидовна
  • • 2017 Основы теории доказательств
    • Авторы: Беклемишев Лев Дмитриевич, Яворская Татьяна Леонидовна
  • • 2016 Топологическая семантика логики доказуемости
    • Авторы: Беклемишев Лев Дмитриевич, Яворская Татьяна Леонидовна
  • • 2016 Основы неклассической логики (Basics of Non-Classical Logics)
    • Автор: Яворская Татьяна Леонидовна
    • курс на иностранном языке
  • • 2014 Что такое число?
    • Авторы: Семёнов Алексей Львович, Успенский Владимир Андреевич, Яворская Татьяна Леонидовна, Золин Евгений Евгеньевич
  • • 2014 Математическая логика (обязательный спецкурс)
    • Авторы: Беклемишев Л.Д., Яворская Т.Л.
  • • 2014 Логические проблемы информатики
    • Авторы: Крупский В.Н., Беклемишев Л.Д., Пентус М.Р., Яворская Т.Л.
  • • 2013 Модели арифметики
    • Авторы: Яворская Т.Л., Беклемишев Л.Д.
  • • 2012 Логики доказуемости
    • Авторы: Беклемишев Л.Д., Яворская Т.Л.
  • • 2011 Понятийный аппарат математики
    • Автор: Яворская Т.Л.
  • • 2007 Алгебра
    • Автор: Яворская Татьяна Леонидовна
  • • 2000 Математическая логика
    • Автор: Яворская Татьяна Леонидовна

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

  • • 7 февраля 2020 - 20 мая 2020 Информатика и основы программирования
    • МГУ имени М.В. Ломоносова, Филологический факультет, Кафедра теоретической и прикладной лингвистики
    • обязательная, базовой части, практические занятия, 68 часов
  • • 7 февраля 2020 - 20 мая 2020 Математическая логика
    • МГУ имени М.В. Ломоносова, Филологический факультет, Кафедра теоретической и прикладной лингвистики
    • обязательная, базовой части, семинары, 34 часов
  • • 7 февраля 2020 - 20 мая 2020 Математическая логика
    • МГУ имени М.В. Ломоносова, Филологический факультет, Кафедра теоретической и прикладной лингвистики
    • обязательная, базовой части, лекции, 34 часов
  • • 2 сентября 2019 - 20 мая 2020 Математическая логика (обязательный спецкурс)
    • МГУ имени М.В. Ломоносова, Механико-математический факультет, Отделение математики, Кафедра математической логики и теории алгоритмов
    • обязательная, по выбору (спецкурс), лекции, 35 часов
  • • 2 сентября 2019 - 20 мая 2020 Логические проблемы информатики
    • МГУ имени М.В. Ломоносова, Механико-математический факультет, Отделение математики, Кафедра математической логики и теории алгоритмов
    • обязательная, по выбору (спецкурс), семинары, 70 часов
  • • 1 сентября 2019 - 20 декабря 2019 Понятийный аппарат математики
    • МГУ имени М.В. Ломоносова, Филологический факультет, Кафедра теоретической и прикладной лингвистики
    • обязательная, базовой части, семинары, 36 часов
  • • 1 сентября 2019 - 20 декабря 2019 Введение в математическую логику и теорию алгоритмов
    • МГУ имени М.В. Ломоносова, Механико-математический факультет
    • обязательная, базовой части, семинары, 54 часов
  • • 1 сентября 2019 - 20 декабря 2019 Понятийный аппарат математики
    • МГУ имени М.В. Ломоносова, Филологический факультет, Кафедра теоретической и прикладной лингвистики
    • обязательная, базовой части, лекции, 36 часов
  • • 7 февраля 2019 - 17 мая 2019 Информатика и основы программирования
    • МГУ имени М.В. Ломоносова, Филологический факультет, Кафедра теоретической и прикладной лингвистики
    • обязательная, базовой части, практические занятия, 68 часов
  • • 7 февраля 2019 - 17 мая 2019 Математическая логика
    • МГУ имени М.В. Ломоносова, Филологический факультет, Кафедра теоретической и прикладной лингвистики
    • обязательная, базовой части, семинары, 34 часов
  • • 7 февраля 2019 - 17 мая 2019 Математическая логика
    • МГУ имени М.В. Ломоносова, Филологический факультет, Кафедра теоретической и прикладной лингвистики
    • обязательная, базовой части, лекции, 34 часов
  • • 1 сентября 2018 - 19 мая 2019 Введение в теорию доказательств: аспекты неполноты
    • МГУ имени М.В. Ломоносова, Механико-математический факультет, Отделение математики, Кафедра математической логики и теории алгоритмов
    • обязательная, по выбору (спецкурс), лекции, 35 часов
  • • 1 сентября 2018 - 19 мая 2019 Логические проблемы информатики
    • МГУ имени М.В. Ломоносова, Механико-математический факультет, Отделение математики, Кафедра математической логики и теории алгоритмов
    • обязательная, по выбору (спецкурс), семинары, 70 часов
  • • 1 сентября 2018 - 17 мая 2019 Математическая логика (обязательный спецкурс)
    • МГУ имени М.В. Ломоносова, Механико-математический факультет, Отделение математики, Кафедра математической логики и теории алгоритмов
    • обязательная, по выбору (спецкурс), лекции, 35 часов
  • • 1 сентября 2018 - 17 мая 2019 Введение в теорию доказательств: аспекты неполноты
    • МГУ имени М.В. Ломоносова, Механико-математический факультет, Отделение математики, Кафедра математической логики и теории алгоритмов
    • обязательная, по выбору (спецкурс), лекции, 35 часов
  • • 1 сентября 2018 - 20 декабря 2018 Введение в математическую логику и теорию алгоритмов
    • МГУ имени М.В. Ломоносова, Механико-математический факультет
    • обязательная, базовой части, семинары, 36 часов
  • • 1 сентября 2018 - 20 декабря 2018 Понятийный аппарат математики
    • МГУ имени М.В. Ломоносова, Филологический факультет, Кафедра теоретической и прикладной лингвистики
    • обязательная, базовой части, семинары, 36 часов
  • • 1 сентября 2018 - 20 декабря 2018 Понятийный аппарат математики
    • МГУ имени М.В. Ломоносова, Филологический факультет, Кафедра теоретической и прикладной лингвистики
    • обязательная, базовой части, лекции, 36 часов
  • • 5 февраля 2018 - 18 мая 2018 Математическая логика
    • МГУ имени М.В. Ломоносова, Филологический факультет, Кафедра теоретической и прикладной лингвистики
    • обязательная, базовой части, семинары, 34 часов
  • • 5 февраля 2018 - 18 мая 2018 Математическая логика
    • МГУ имени М.В. Ломоносова, Филологический факультет, Кафедра теоретической и прикладной лингвистики
    • обязательная, базовой части, лекции, 34 часов
  • • 5 февраля 2018 - 18 мая 2018 Информатика и основы программирования
    • МГУ имени М.В. Ломоносова, Филологический факультет, Кафедра теоретической и прикладной лингвистики
    • обязательная, базовой части, практические занятия, 68 часов
  • • 1 сентября 2017 - 20 мая 2018 Логические проблемы информатики
    • МГУ имени М.В. Ломоносова, Механико-математический факультет, Отделение математики, Кафедра математической логики и теории алгоритмов
    • обязательная, по выбору (спецкурс), семинары, 70 часов
  • • 1 сентября 2017 - 19 мая 2018 Математическая логика (обязательный спецкурс)
    • МГУ имени М.В. Ломоносова, Механико-математический факультет, Отделение математики, Кафедра математической логики и теории алгоритмов
    • обязательная, по выбору (спецкурс), лекции, 35 часов
  • • 1 сентября 2017 - 19 мая 2018 Основы теории доказательств
    • МГУ имени М.В. Ломоносова, Механико-математический факультет, Отделение математики, Кафедра математической логики и теории алгоритмов
    • обязательная, по выбору (спецкурс), лекции, 35 часов
  • • 1 сентября 2017 - 20 декабря 2017 Понятийный аппарат математики
    • МГУ имени М.В. Ломоносова, Филологический факультет, Кафедра теоретической и прикладной лингвистики
    • обязательная, базовой части, лекции, 36 часов
  • • 1 сентября 2017 - 20 декабря 2017 Понятийный аппарат математики
    • МГУ имени М.В. Ломоносова, Филологический факультет, Кафедра теоретической и прикладной лингвистики
    • обязательная, базовой части, семинары, 36 часов
  • • 1 сентября 2017 - 20 декабря 2017 Введение в математическую логику и теорию алгоритмов
    • МГУ имени М.В. Ломоносова, Механико-математический факультет
    • обязательная, базовой части, семинары, 36 часов
  • • 8 февраля 2017 - 19 мая 2017 Математическая логика
    • МГУ имени М.В. Ломоносова, Филологический факультет, Кафедра теоретической и прикладной лингвистики
    • обязательная, базовой части, лекции, 32 часов
  • • 8 февраля 2017 - 19 мая 2017 Математическая логика
    • МГУ имени М.В. Ломоносова, Филологический факультет, Кафедра теоретической и прикладной лингвистики
    • обязательная, базовой части, семинары, 32 часов
  • • 8 февраля 2017 - 19 мая 2017 Информатика и основы программирования
    • МГУ имени М.В. Ломоносова, Филологический факультет, Кафедра теоретической и прикладной лингвистики
    • обязательная, базовой части, практические занятия, 64 часов
  • • 1 сентября 2016 - 20 мая 2017 Логические проблемы информатики
    • МГУ имени М.В. Ломоносова, Механико-математический факультет, Отделение математики, Кафедра математической логики и теории алгоритмов
    • обязательная, по выбору (спецкурс), семинары, 68 часов
  • • 1 сентября 2016 - 19 мая 2017 Математическая логика (обязательный спецкурс)
    • МГУ имени М.В. Ломоносова, Механико-математический факультет, Отделение математики, Кафедра математической логики и теории алгоритмов
    • обязательная, по выбору (спецкурс), лекции, 34 часов
  • • 1 сентября 2016 - 19 мая 2017 Топологическая семантика логики доказуемости
    • МГУ имени М.В. Ломоносова, Механико-математический факультет, Отделение математики, Кафедра математической логики и теории алгоритмов
    • обязательная, по выбору (спецкурс), лекции, 34 часов
  • • 1 сентября 2016 - 20 декабря 2016 Понятийный аппарат математики
    • МГУ имени М.В. Ломоносова, Филологический факультет, Кафедра теоретической и прикладной лингвистики
    • обязательная, базовой части, семинары, 36 часов
  • • 1 сентября 2016 - 20 декабря 2016 Введение в математическую логику и теорию алгоритмов
    • МГУ имени М.В. Ломоносова, Механико-математический факультет
    • обязательная, базовой части, семинары, 36 часов
  • • 1 сентября 2016 - 20 декабря 2016 Понятийный аппарат математики
    • МГУ имени М.В. Ломоносова, Филологический факультет, Кафедра теоретической и прикладной лингвистики
    • обязательная, базовой части, лекции, 36 часов
  • • 15 февраля 2016 - 23 мая 2016 Основы неклассической логики (Basics of Non-Classical Logics)
    • МГУ имени М.В. Ломоносова, Механико-математический факультет, Отделение математики, Кафедра математической логики и теории алгоритмов
    • обязательная, по выбору (спецкурс), лекции, 32 часов
  • • 8 февраля 2016 - 20 мая 2016 Математическая логика
    • МГУ имени М.В. Ломоносова, Филологический факультет, Кафедра теоретической и прикладной лингвистики
    • обязательная, базовой части, лекции, 32 часов
  • • 8 февраля 2016 - 20 мая 2016 Информатика и основы программирования
    • МГУ имени М.В. Ломоносова, Филологический факультет, Кафедра теоретической и прикладной лингвистики
    • обязательная, базовой части, практические занятия, 64 часов
  • • 8 февраля 2016 - 20 мая 2016 Математическая логика
    • МГУ имени М.В. Ломоносова, Филологический факультет, Кафедра теоретической и прикладной лингвистики
    • обязательная, базовой части, семинары, 32 часов
  • • 1 сентября 2015 - 20 мая 2016 Логические проблемы информатики
    • МГУ имени М.В. Ломоносова, Механико-математический факультет, Отделение математики, Кафедра математической логики и теории алгоритмов
    • обязательная, по выбору (спецкурс), семинары, 68 часов
  • • 1 сентября 2015 - 19 мая 2016 Математическая логика (обязательный спецкурс)
    • МГУ имени М.В. Ломоносова, Механико-математический факультет, Отделение математики, Кафедра математической логики и теории алгоритмов
    • обязательная, по выбору (спецкурс), лекции, 34 часов
  • • 1 сентября 2015 - 20 декабря 2015 Понятийный аппарат математики
    • МГУ имени М.В. Ломоносова, Филологический факультет, Кафедра теоретической и прикладной лингвистики
    • обязательная, базовой части, семинары, 36 часов
  • • 1 сентября 2015 - 20 декабря 2015 Понятийный аппарат математики
    • МГУ имени М.В. Ломоносова, Филологический факультет, Кафедра теоретической и прикладной лингвистики
    • обязательная, базовой части, лекции, 36 часов
  • • 1 сентября 2015 - 19 декабря 2015 Введение в математическую логику и теорию алгоритмов
    • МГУ имени М.В. Ломоносова, Механико-математический факультет
    • обязательная, базовой части, семинары, 36 часов
  • • 7 февраля 2015 - 20 мая 2015 Информатика и основы программирования
    • МГУ имени М.В. Ломоносова, Филологический факультет, Кафедра теоретической и прикладной лингвистики
    • обязательная, базовой части, практические занятия, 64 часов
  • • 7 февраля 2015 - 20 мая 2015 Математическая логика
    • МГУ имени М.В. Ломоносова, Филологический факультет, Кафедра теоретической и прикладной лингвистики
    • обязательная, базовой части, семинары, 32 часов
  • • 7 февраля 2015 - 20 мая 2015 Математическая логика
    • МГУ имени М.В. Ломоносова, Филологический факультет, Кафедра теоретической и прикладной лингвистики
    • обязательная, базовой части, лекции, 32 часов
  • • 10 сентября 2014 - 26 ноября 2014 Что такое число?
    • МГУ имени М.В. Ломоносова, Механико-математический факультет
    • обязательная, по выбору (межфакультетский курс), лекции, 24 часов
  • • 1 сентября 2014 - 31 мая 2015 Математическая логика (обязательный спецкурс)
    • МГУ имени М.В. Ломоносова, Механико-математический факультет, Отделение математики, Кафедра математической логики и теории алгоритмов
    • обязательная, по выбору (спецкурс), лекции, 34 часов
  • • 1 сентября 2014 - 20 мая 2015 Логические проблемы информатики
    • МГУ имени М.В. Ломоносова, Механико-математический факультет, Отделение математики, Кафедра математической логики и теории алгоритмов
    • обязательная, по выбору (спецкурс), семинары, 68 часов
  • • 1 сентября 2014 - 20 декабря 2014 Понятийный аппарат математики
    • МГУ имени М.В. Ломоносова, Филологический факультет, Кафедра теоретической и прикладной лингвистики
    • обязательная, базовой части, семинары, 36 часов
  • • 1 сентября 2014 - 20 декабря 2014 Понятийный аппарат математики
    • МГУ имени М.В. Ломоносова, Филологический факультет, Кафедра теоретической и прикладной лингвистики
    • обязательная, базовой части, лекции, 36 часов
  • • 1 сентября 2014 - 19 декабря 2014 Введение в математическую логику и теорию алгоритмов
    • МГУ имени М.В. Ломоносова, Механико-математический факультет
    • обязательная, базовой части, семинары, 36 часов
  • • 3 февраля 2014 - 19 мая 2014 Математическая логика
    • МГУ имени М.В. Ломоносова, Филологический факультет, Кафедра теоретической и прикладной лингвистики
    • обязательная, базовой части, семинары, 32 часов
  • • 3 февраля 2014 - 19 мая 2014 Математическая логика
    • МГУ имени М.В. Ломоносова, Филологический факультет, Кафедра теоретической и прикладной лингвистики
    • обязательная, базовой части, лекции, 32 часов
  • • 3 февраля 2014 - 19 мая 2014 Информатика и основы программирования
    • МГУ имени М.В. Ломоносова, Филологический факультет, Кафедра теоретической и прикладной лингвистики
    • обязательная, базовой части, практические занятия, 64 часов
  • • 2 сентября 2013 - 31 мая 2014 Модели арифметики
    • МГУ имени М.В. Ломоносова, Механико-математический факультет, Отделение математики, Кафедра математической логики и теории алгоритмов
    • обязательная, по выбору (спецкурс), лекции, 34 часов
  • • 2 сентября 2013 - 20 декабря 2013 Введение в математическую логику и теорию алгоритмов
    • МГУ имени М.В. Ломоносова, Механико-математический факультет
    • обязательная, базовой части, семинары, 36 часов
  • • 2 сентября 2013 - 19 декабря 2013 Математическая логика
    • МГУ имени М.В. Ломоносова, Филологический факультет, Кафедра теоретической и прикладной лингвистики
    • обязательная, базовой части, семинары, 16 часов
  • • 2 сентября 2013 - 19 декабря 2013 Математическая логика
    • МГУ имени М.В. Ломоносова, Филологический факультет, Кафедра теоретической и прикладной лингвистики
    • обязательная, базовой части, лекции, 16 часов
  • • 1 сентября 2013 - 20 мая 2014 Логические проблемы информатики
    • МГУ имени М.В. Ломоносова, Механико-математический факультет, Отделение математики, Кафедра математической логики и теории алгоритмов
    • обязательная, по выбору (спецкурс), семинары, 68 часов
  • • 1 сентября 2013 - 20 декабря 2013 Понятийный аппарат математики
    • МГУ имени М.В. Ломоносова, Филологический факультет, Кафедра теоретической и прикладной лингвистики
    • обязательная, базовой части, лекции, 36 часов
  • • 1 сентября 2013 - 20 декабря 2013 Понятийный аппарат математики
    • МГУ имени М.В. Ломоносова, Филологический факультет, Кафедра теоретической и прикладной лингвистики
    • обязательная, базовой части, семинары, 36 часов
  • • 1 сентября 2013 - 19 декабря 2013 Алгебра
    • МГУ имени М.В. Ломоносова, Филологический факультет, Кафедра теоретической и прикладной лингвистики
    • обязательная, базовой части, лекции, 36 часов
  • • 7 февраля 2013 - 20 мая 2013 Информатика и основы программирования
    • МГУ имени М.В. Ломоносова, Филологический факультет, Кафедра теоретической и прикладной лингвистики
    • обязательная, базовой части, практические занятия, 64 часов
  • • 7 февраля 2013 - 19 мая 2013 Математическая логика
    • МГУ имени М.В. Ломоносова, Филологический факультет, Кафедра теоретической и прикладной лингвистики
    • обязательная, базовой части, лекции, 16 часов
  • • 7 февраля 2013 - 19 мая 2013 Математическая логика
    • МГУ имени М.В. Ломоносова, Филологический факультет, Кафедра теоретической и прикладной лингвистики
    • обязательная, базовой части, семинары, 16 часов
  • • 3 сентября 2012 - 19 мая 2013 Логики доказуемости
    • МГУ имени М.В. Ломоносова, Механико-математический факультет, Отделение математики, Кафедра математической логики и теории алгоритмов
    • обязательная, по выбору (спецкурс), лекции, 34 часов
  • • 3 сентября 2012 - 21 декабря 2012 Введение в математическую логику и теорию алгоритмов
    • МГУ имени М.В. Ломоносова, Механико-математический факультет
    • обязательная, базовой части, семинары, 36 часов
  • • 3 сентября 2012 - 19 декабря 2012 Математическая логика
    • МГУ имени М.В. Ломоносова, Филологический факультет, Кафедра теоретической и прикладной лингвистики
    • обязательная, базовой части, семинары, 16 часов
  • • 3 сентября 2012 - 19 декабря 2012 Математическая логика
    • МГУ имени М.В. Ломоносова, Филологический факультет, Кафедра теоретической и прикладной лингвистики
    • обязательная, базовой части, лекции, 16 часов
  • • 1 сентября 2012 - 20 мая 2013 Логические проблемы информатики
    • МГУ имени М.В. Ломоносова, Механико-математический факультет, Отделение математики, Кафедра математической логики и теории алгоритмов
    • обязательная, по выбору (спецкурс), семинары, 68 часов
  • • 1 сентября 2012 - 20 декабря 2012 Понятийный аппарат математики
    • МГУ имени М.В. Ломоносова, Филологический факультет, Кафедра теоретической и прикладной лингвистики
    • обязательная, базовой части, семинары, 36 часов
  • • 1 сентября 2012 - 20 декабря 2012 Понятийный аппарат математики
    • МГУ имени М.В. Ломоносова, Филологический факультет, Кафедра теоретической и прикладной лингвистики
    • обязательная, базовой части, лекции, 36 часов
  • • 1 сентября 2012 - 19 декабря 2012 Алгебра
    • МГУ имени М.В. Ломоносова, Филологический факультет, Кафедра теоретической и прикладной лингвистики
    • обязательная, базовой части, лекции, 36 часов
  • • 7 февраля 2012 - 19 мая 2012 Информатика и основы программирования
    • МГУ имени М.В. Ломоносова, Филологический факультет, Кафедра теоретической и прикладной лингвистики
    • обязательная, базовой части, практические занятия, 64 часов
  • • 1 сентября 2011 - 19 декабря 2011 Алгебра
    • МГУ имени М.В. Ломоносова, Филологический факультет, Кафедра теоретической и прикладной лингвистики
    • обязательная, базовой части, лекции, 36 часов
  • • 1 сентября 2010 - 19 декабря 2010 Алгебра
    • МГУ имени М.В. Ломоносова, Филологический факультет, Кафедра теоретической и прикладной лингвистики
    • обязательная, базовой части, лекции, 36 часов