|
ИСТИНА |
Войти в систему Регистрация |
Интеллектуальная Система Тематического Исследования НАукометрических данных |
||
Яворская Татьяна Леонидовна пользователь
МГУ имени М.В. Ломоносова, Механико-математический факультет, Отделение математики, Кафедра математической логики и теории алгоритмов, доцент, с 1 сентября 1997
кандидат физико-математических наук с 1997 года
Соавторы: Артемов С.Н., Рубцова Н.М.
13 статей, 4 доклада на конференциях, 4 НИР, 6 дипломных работ, 14 учебных курсов
Количество цитирований статей в журналах по данным
Scopus: 49,
Web of Science: 40
РИНЦ:
IstinaResearcherID (IRID): 2631424
Деятельность
стиль:
обычный |
ГОСТ |
plain |
abbrv |
acm |
alpha |
amsalpha |
amsplain |
apalike |
ieeetr |
siam
-
Статьи в журналах
-
- 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 logic, том 17, № 3, с. 283-316
-
- 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
- редактор Матиясевич Юрий Владимирович
-
-
Доклады на конференциях
-
- 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 января 2016 - 31 декабря 2020 Алгоритмические и семантические вопросы математической логики. 2016-2020
- Кафедра математической логики и теории алгоритмов
- Руководители: Семёнов А.Л., Успенский В.А. Участники НИР: Адян С.И., Беклемишев Л.Д., Верещагин Н.К., Золин Е.Е., Крупский В.Н., Кузнецов С.Л., Любецкий В.А., Пентус М.Р., Плиско В.Е., Семёнов А.Л., Сорокин А.А., Шехтман В.Б., Яворская Т.Л.
-
- 1 января 2014 - 31 декабря 2016 Модальные и лингвистические аспекты математической логики
- Кафедра математической логики и теории алгоритмов
- Руководитель: Успенский В.А. Участники НИР: Золин Е.Е., Коновалов А.Ю., Крупский В.Н., Кузнецов С.Л., Пентус М.Р., Плиско В.Е., Чистякова Р.А., Шехтман В.Б., Яворская Т.Л.
-
- 1 января 2011 - 31 декабря 2015 Исследование логических проблем информатики
- Кафедра математической логики и теории алгоритмов
- Руководитель: Успенский В.А. Участники НИР: Золин Е.Е., Крупский В.Н., Пентус М.Р., Яворская Т.Л.
-
- 1 января 2011 - 31 декабря 2013 Математические проблемы логической семантики неклассических дедуктивных систем
- Кафедра математической логики и теории алгоритмов
- Руководитель: Успенский В.А. Участники НИР: Золин Е.Е., Крупский В.Н., Кузнецов С.Л., Пентус М.Р., Плиско В.Е., Чистякова Р.А., Шамканов Д.С., Шехтман В.Б., Яворская Т.Л.
-
-
Руководство дипломными работами
-
- 2017 О реализации несимметричных бимодальных логик в логиках свидетельств
- Научный руководитель: Яворская Татьяна Леонидовна
- Автор: Торопкин Артём Владимирович (Специалист)
-
- 2014 Об отраженном фрагменте мультиагентных логик свидетельств
- Научный руководитель: Яворская Татьяна Леонидовна
- Автор: Сафин Аскар Рашитович (Специалист)
-
- 2011 Формальная семантика естественных языков
- Научный руководитель: Яворская Татьяна Леонидовна
- Автор: Чудова Юлия Сергеевна (Специалист)
-
- 2011 Формальная верификация алгоритмов транзакций
- Научный руководитель: Яворская Татьяна Леонидовна
- Автор: Калюжный Максим Сергеевич (Специалист)
-
- 2010 Мультиагентные логики свидетельств
- Научный руководитель: Яворская Татьяна Леонидовна
- Автор: Рухлядко Надежда Григорьевна (Специалист)
-
- 2008 Интуиционистская логика доказательств
- Научный руководитель: Яворская Татьяна Леонидовна
- Автор: Дашков Евгений Владимирович (Специалист)
-
-
Авторство учебных курсов
-
- 2016 Основы неклассической логики (Basics of Non-Classical Logics)
- Автор: Яворская Татьяна Леонидовна
- курс на иностранном языке
-
- 2013 Модели арифметики
- Авторы: Яворская Т.Л., Беклемишев Л.Д.
-
- 2012 Логики доказуемости
- Авторы: Беклемишев Л.Д., Яворская Т.Л.
-
- 2011 Понятийный аппарат математики
- Автор: Яворская Т.Л.
-
- 2007 Алгебра
- Автор: Яворская Татьяна Леонидовна
-
- 2000 Математическая логика
- Автор: Яворская Татьяна Леонидовна
-
Преподавание учебных курсов
-
- 1 сентября 2018 - 20 декабря 2018 Введение в математическую логику и теорию алгоритмов
- МГУ имени М.В. Ломоносова, Механико-математический факультет
- обязательная, базовой части, семинары, 36 часов
-
- 1 сентября 2017 - 19 мая 2018 Математическая логика (обязательный спецкурс)
- МГУ имени М.В. Ломоносова, Механико-математический факультет, Отделение математики, Кафедра математической логики и теории алгоритмов
- обязательная, по выбору (спецкурс), лекции, 35 часов
-
- 1 сентября 2017 - 19 мая 2018 Основы теории доказательств
- МГУ имени М.В. Ломоносова, Механико-математический факультет, Отделение математики, Кафедра математической логики и теории алгоритмов
- обязательная, по выбору (спецкурс), лекции, 35 часов
-
- 1 сентября 2017 - 20 декабря 2017 Введение в математическую логику и теорию алгоритмов
- МГУ имени М.В. Ломоносова, Механико-математический факультет
- обязательная, базовой части, семинары, 36 часов
-
- 1 сентября 2017 - 19 декабря 2017 Понятийный аппарат математики
- МГУ имени М.В. Ломоносова, Филологический факультет, Кафедра теоретической и прикладной лингвистики
- обязательная, базовой части, лекции, 36 часов
-
- 1 сентября 2017 - 19 декабря 2017 Понятийный аппарат математики
- МГУ имени М.В. Ломоносова, Филологический факультет, Кафедра теоретической и прикладной лингвистики
- обязательная, базовой части, семинары, 36 часов
-
- 8 февраля 2017 - 19 мая 2017 Математическая логика
- МГУ имени М.В. Ломоносова, Филологический факультет, Кафедра теоретической и прикладной лингвистики
- обязательная, базовой части, семинары, 32 часов
-
- 8 февраля 2017 - 19 мая 2017 Информатика и основы программирования
- МГУ имени М.В. Ломоносова, Филологический факультет, Кафедра теоретической и прикладной лингвистики
- обязательная, базовой части, практические занятия, 64 часов
-
- 8 февраля 2017 - 19 мая 2017 Математическая логика
- МГУ имени М.В. Ломоносова, Филологический факультет, Кафедра теоретической и прикладной лингвистики
- обязательная, базовой части, лекции, 32 часов
-
- 1 сентября 2016 - 20 мая 2017 Логические проблемы информатики
- МГУ имени М.В. Ломоносова, Механико-математический факультет, Отделение математики, Кафедра математической логики и теории алгоритмов
- обязательная, по выбору (спецкурс), семинары, 17 часов
-
- 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 Математическая логика
- МГУ имени М.В. Ломоносова, Филологический факультет, Кафедра теоретической и прикладной лингвистики
- обязательная, базовой части, лекции, 32 часов
-
- 8 февраля 2016 - 20 мая 2016 Информатика и основы программирования
- МГУ имени М.В. Ломоносова, Филологический факультет, Кафедра теоретической и прикладной лингвистики
- обязательная, базовой части, практические занятия, 64 часов
-
- 1 сентября 2015 - 20 мая 2016 Логические проблемы информатики
- МГУ имени М.В. Ломоносова, Механико-математический факультет, Отделение математики, Кафедра математической логики и теории алгоритмов
- обязательная, по выбору (спецкурс), семинары, 17 часов
-
- 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 Логические проблемы информатики
- МГУ имени М.В. Ломоносова, Механико-математический факультет, Отделение математики, Кафедра математической логики и теории алгоритмов
- обязательная, по выбору (спецкурс), семинары, 17 часов
-
- 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 Логические проблемы информатики
- МГУ имени М.В. Ломоносова, Механико-математический факультет, Отделение математики, Кафедра математической логики и теории алгоритмов
- обязательная, по выбору (спецкурс), семинары, 17 часов
-
- 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 Логические проблемы информатики
- МГУ имени М.В. Ломоносова, Механико-математический факультет, Отделение математики, Кафедра математической логики и теории алгоритмов
- обязательная, по выбору (спецкурс), семинары, 17 часов
-
- 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 часов
-