Преподаватели и сотрудники

Информация

Print

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

Print
 
Яворская Татьяна Леонидовна
Место работы и должность:
Институт общественных наук все сотрудники подразделения: Институт общественных наук
доцент

Адрес: 119571, г. Москва, пр-т Вернадского, д. 82, стр. 3, корпус 2, офис 226
Телефон: +7 (495) 433-25-62
Email: Этот адрес электронной почты защищён от спам-ботов. У вас должен быть включен JavaScript для просмотра.
Личный Email: Этот адрес электронной почты защищён от спам-ботов. У вас должен быть включен JavaScript для просмотра.

Образование:
Московский Государственный Университет им. М.В. Ломоносова по специальности: 01.01.00 Математика

Аспирантура и докторантура:
Аспирантура: 1997, отделение математики МГУ им. М.В. Ломоносова по специальности 01.01.06 Математическая логика, алгебра и теория чисел

Преподаваемые дисциплины и курсы:
математика

Область научного знания:
Математика
Тематика:
Неклассическая логика, модальная логика, эпистемическая логика, теория доказательств.

Ученая степень:

Общий стаж работы: 20 лет

Профессиональный опыт:

  • 1989 - по н/в    кафедра математической логики и теории алгоритмов механико-математического факультета МГУ им. М.В. Ломоносова, ассистент, доцент

Научные публикации:

  1. Яворская Т.Л. Binding modalities / Яворская Т.Л. ,S. Artemov // Journal of Logic and Computation. 2013
  2. Яворская Т.Л. First order logic of proofs. , 2011, http://tr.cs.gc.cuny.edu/tr/techreport.php?id=418. / Яворская Т.Л. ,S. Artemov // CUNY Ph.D. Program in Computer Science, TR-2011005. 2011
  3. Яворская Т.Л. Interacting explicit evidence systems // Theory of Computing Systems. 2008 №43 (2), -21 с.
  4. Яворская Т.Л. Operations on proofs and labels. , vol. 17, 3, 2007, pp. 283316. / Яворская Т.Л. ,Н. Рубцова // Journal of Applied Non-classical logic. 2007 №17 (3), -33 с.
  5. Яворская Т.Л. On Bounded Exploration and Bounded Nondeterminism / Яворская Т.Л. ,Yu. Gurevich // Microsoft Research. 2006
  6. Яворская Т.Л. Multi-agent Explicit Knowledge // Lecture Notes in Computer Science. 2006 №3967, -11 с.
  7. Яворская Т.Л. Logic of proofs and labels with a complete set of operations // Journal of Logic and Computation. 2006 №16, -13 с.
  8. Яворская Т.Л. Negative operations on proofs and labels // Department of Philosophy of Utrecht University. 2005
  9. Яворская Т.Л. Negative Operations on Proofs and Labels // Journal of Logic and Computation. 2005 №15, -20 с.
  10. Яворская Т.Л. Logic of proofs and provability // Annals of pure and applied logic. 2001 №113 (1-3), -345 с.
  11. Яворская Т.Л. On the first order logic of proofs / Яворская Т.Л. ,S.N. Artemov // Moscow Mathematical Journal. 2001 №1 (4), -475 с.
  12. Яворская Т.Л. Интерполяционное свойство Крейга для операторных логик доказательств // Вестник МГУ, Сер. 1, Математика, Механика. 1998 № 2, -4 с.
  13. Яворская Т.Л. Неаксиоматизируемость предикатных логик доказательств // Вестник МГУ, Сер. 1, Математика, Механика. 1998 № 6, -4 с.
  14. Яворская Т.Л. Provability logic with operations on proofs // Springer Lecture Notes in Computer Science. 1997 №1234, -342 с.
  15. Яворская Т.Л. Логика доказуемости с операциями над доказательствами // Фундаментальная и прикладная математика. 1997 №т. 3, № 4, -24 с.
  16. Яворская Т.Л. Craig interpolation property in modal logics with provability interpretations // Springer Lecture Notes in Computer Science. 1994 №813, -329 с.


Контакты

СПРАВОЧНАЯ СЛУЖБА



Многоканальный телефон:
+7 499 956-99-99

E-mail:information@ranepa.ru
ПРИЕМНАЯ КОМИССИЯ
119571, г. Москва,
Проспект Вернадского, д. 84
Бакалавриат и специалитет:
Call-центр:
+7 499 956-99-99 (многоканальный)
Часы работы: 10.00 – 18.00

Магистратура:
Контакты приемных подкомиссий факультетов/институтов Академии
ПРЕСС-СЛУЖБА
119571, г. Москва,
Проспект Вернадского, д. 84, к. 2

Телефон:
+7 499 956-99-69



E-mail:press@ranepa.ru
Гостинично-жилой комплекс
119571, г. Москва,
Проспект Вернадского, д. 84, к. 2

Телефон:+7 499 956-00-44+7 495 434-33-25

E-mail: reserv@ranepa.ru

Президентская академия - лидирующий вуз России!