Яворская Татьяна Леонидовна
пользователь
кандидат физико-математических наук с 1997 года
Количество цитирований статей в журналах по данным
Web of Science: 50,
Scopus: 58
РИНЦ:
IstinaResearcherID (IRID): 2631424
Деятельность
-
Статьи в журналах
-
Статьи в сборниках
-
-
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
-
редактор
Матиясевич Юрий Владимирович
-
Доклады на конференциях
-
НИРы
-
-
1 января 2021 - 31 декабря 2025
Алгоритмические и семантические вопросы математической логики. 2021-2025
-
Кафедра математической логики и теории алгоритмов
-
Руководитель:
Семёнов А.Л.
Ответственные исполнители:
Золин Е.Е.,
Оноприенко А.А.,
Пентус М.Р.
Участники НИР:
Беклемишев Л.Д.,
Белов А.Я.,
Верещагин Н.К.,
Крупский В.Н.,
Кузнецов С.Л.,
Любецкий В.А.,
Плиско В.Е.,
Сорокин А.А.,
Шехтман В.Б.,
Яворская Т.Л.
-
-
-
1 января 2016 - 31 декабря 2020
Алгоритмические и семантические вопросы математической логики. 2016-2020
-
Кафедра математической логики и теории алгоритмов
-
Руководители:
Семёнов А.Л.,
Успенский В.А.
Ответственные исполнители:
Золин Е.Е.,
Пентус М.Р.
Участники НИР:
Адян С.И.,
Беклемишев Л.Д.,
Верещагин Н.К.,
Крупский В.Н.,
Кузнецов С.Л.,
Любецкий В.А.,
Плиско В.Е.,
Семёнов А.Л.,
Сорокин А.А.,
Шехтман В.Б.,
Яворская Т.Л.
-
-
-
-
Руководство дипломными работами
-
Авторство учебных курсов
-
Преподавание учебных курсов