Персоналии
RUS  ENG    ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ПАКЕТ AMSBIB  
 
Яворская Татьяна Леонидовна
В базах данных Math-Net.Ru
Публикаций: 5
Научных статей: 5
Лекций и докладов: 84

Статистика просмотров:
Эта страница:2401
Страницы публикаций:812
Полные тексты:108
Страницы докладов:39669
Видео записи:10050
кандидат физико-математических наук
E-mail:

https://www.mathnet.ru/rus/person37148
Список публикаций на Google Scholar
https://mathscinet.ams.org/mathscinet/MRAuthorID/690376

Публикации в базе данных Math-Net.Ru Цитирования
2025
1. А. Л. Семенов, М. А. Бабенко, А. Я. Белов, Н. К. Верещагин, М. Е. Вишникин, Е. Е. Золин, В. Н. Крупский, С. Л. Кузнецов, В. А. Любецкий, А. А. Оноприенко, М. Р. Пентус, С. Ф. Сопрунов, А. А. Сорокин, В. Б. Шехтман, Т. Л. Яворская, “Кафедра математической логики и теории алгоритмов”, Вестн. Моск. ун-та. Сер. 1. Матем., мех., 2025, № 1,  23–32  mathnet  elib; A. L. Semenov, M. A. Babenko, A. Ya. Belov, N. K. Vereshchagin, M. E. Vishnikin, E. E. Zolin, V. N. Krupski, S. L. Kuznetsov, V. A. Lyubetskii, A. A. Onoprienko, M. R. Pentus, S. F. Soprunov, A. A. Sorokin, V. B. Shehtman, T. L. Yavorskaya, “Chair of Mathematical Logic and Theory of Algorithms”, Moscow University Mathematics Bulletin, 80:1 (2025), 23–33 1
2001
2. S. N. Artemov, T. Yavorskaya, “On first order logic of proofs”, Mosc. Math. J., 1:4 (2001),  475–490  mathnet  mathscinet  zmath  isi 15
1998
3. Т. Л. Сидон, “Неаксиоматизируемость предикатных логик доказательств”, Вестн. Моск. ун-та. Сер. 1. Матем., мех., 1998, № 6,  18–22  mathnet  mathscinet  zmath 1
4. Т. Л. Сидон, “Интерполяционное свойство Крейга для операторных логик доказательств”, Вестн. Моск. ун-та. Сер. 1. Матем., мех., 1998, № 2,  34–38  mathnet  mathscinet  zmath 1
1997
5. Т. Л. Сидон, “Логика доказуемости с операциями над доказательствами”, Фундамент. и прикл. матем., 3:4 (1997),  1173–1197  mathnet  mathscinet  zmath 1

Доклады и лекции в базе данных Math-Net.Ru
1. О семантике логики свидетельств первого порядка со связывающими модальностями
Т. Л. Яворская
Семинары отдела математической логики "Теория доказательств" и "Logic Online Seminar"
9 февраля 2026 г. 16:00   
2. Лекция 13. Основы теории множеств
Т. Л. Яворская
Открытые лекции по теме «Основы теории множеств»
11 декабря 2024 г. 14:45   
3. Лекция 12. Основы теории множеств
Т. Л. Яворская
Открытые лекции по теме «Основы теории множеств»
4 декабря 2024 г. 14:45   
4. Лекция 11. Основы теории множеств
Т. Л. Яворская
Открытые лекции по теме «Основы теории множеств»
27 ноября 2024 г. 14:45
5. Лекция 10. Основы теории множеств
Т. Л. Яворская
Открытые лекции по теме «Основы теории множеств»
20 ноября 2024 г. 14:45   
6. Лекция 9. Основы теории множеств
Т. Л. Яворская
Открытые лекции по теме «Основы теории множеств»
13 ноября 2024 г. 14:45   
7. Лекция 8. Основы теории множеств
Т. Л. Яворская
Открытые лекции по теме «Основы теории множеств»
6 ноября 2024 г. 14:45   
8. Лекция 7. Основы теории множеств
Т. Л. Яворская
Открытые лекции по теме «Основы теории множеств»
30 октября 2024 г. 14:45   
9. Лекция 6. Основы теории множеств
Т. Л. Яворская
Открытые лекции по теме «Основы теории множеств»
23 октября 2024 г. 14:45   
10. Лекция 5. Основы теории множеств
Т. Л. Яворская
Открытые лекции по теме «Основы теории множеств»
16 октября 2024 г. 14:45   
11. Лекция 4. Основы теории множеств
Т. Л. Яворская
Открытые лекции по теме «Основы теории множеств»
9 октября 2024 г. 14:45   
12. Лекция 3. Основы теории множеств
Т. Л. Яворская
Открытые лекции по теме «Основы теории множеств»
2 октября 2024 г. 14:45   
13. Лекция 2. Основы теории множеств
Т. Л. Яворская
Открытые лекции по теме «Основы теории множеств»
18 сентября 2024 г. 14:45   
14. Лекция 1. Основы теории множеств
Т. Л. Яворская
Открытые лекции по теме «Основы теории множеств»
11 сентября 2024 г. 14:45   
15. Лекция 13. Доказуемость и формальная арифметика, часть 2
Л. Д. Беклемишев, Т. Л. Яворская
Курс Л. Д. Беклемишева и Т. Л. Яворской "Доказуемость и формальная арифметика, часть 2"
12 декабря 2023 г. 16:45   
16. Лекция 12. Доказуемость и формальная арифметика, часть 2
Л. Д. Беклемишев, Т. Л. Яворская
Курс Л. Д. Беклемишева и Т. Л. Яворской "Доказуемость и формальная арифметика, часть 2"
5 декабря 2023 г. 16:45   
17. Лекция 11. Доказуемость и формальная арифметика, часть 2
Л. Д. Беклемишев, Т. Л. Яворская
Курс Л. Д. Беклемишева и Т. Л. Яворской "Доказуемость и формальная арифметика, часть 2"
21 ноября 2023 г. 16:45   
18. Лекция 10. Доказуемость и формальная арифметика, часть 2
Л. Д. Беклемишев, Т. Л. Яворская
Курс Л. Д. Беклемишева и Т. Л. Яворской "Доказуемость и формальная арифметика, часть 2"
14 ноября 2023 г. 16:45   
19. Лекция 9. Доказуемость и формальная арифметика, часть 2
Л. Д. Беклемишев, Т. Л. Яворская
Курс Л. Д. Беклемишева и Т. Л. Яворской "Доказуемость и формальная арифметика, часть 2"
7 ноября 2023 г. 16:45   
20. Лекция 8. Доказуемость и формальная арифметика, часть 2
Л. Д. Беклемишев, Т. Л. Яворская
Курс Л. Д. Беклемишева и Т. Л. Яворской "Доказуемость и формальная арифметика, часть 2"
31 октября 2023 г. 16:45   
21. Лекция 7. Доказуемость и формальная арифметика, часть 2
Л. Д. Беклемишев, Т. Л. Яворская
Курс Л. Д. Беклемишева и Т. Л. Яворской "Доказуемость и формальная арифметика, часть 2"
24 октября 2023 г. 16:45   
22. Лекция 6. Доказуемость и формальная арифметика, часть 2
Л. Д. Беклемишев, Т. Л. Яворская
Курс Л. Д. Беклемишева и Т. Л. Яворской "Доказуемость и формальная арифметика, часть 2"
17 октября 2023 г. 16:45   
23. Лекция 5. Доказуемость и формальная арифметика, часть 2
Л. Д. Беклемишев, Т. Л. Яворская
Курс Л. Д. Беклемишева и Т. Л. Яворской "Доказуемость и формальная арифметика, часть 2"
10 октября 2023 г. 16:45   
24. Лекция 4. Доказуемость и формальная арифметика, часть 2
Л. Д. Беклемишев, Т. Л. Яворская
Курс Л. Д. Беклемишева и Т. Л. Яворской "Доказуемость и формальная арифметика, часть 2"
3 октября 2023 г. 16:45   
25. Лекция 3. Доказуемость и формальная арифметика, часть 2
Л. Д. Беклемишев, Т. Л. Яворская
Курс Л. Д. Беклемишева и Т. Л. Яворской "Доказуемость и формальная арифметика, часть 2"
26 сентября 2023 г. 16:45   
26. Лекция 2. Доказуемость и формальная арифметика, часть 2
Л. Д. Беклемишев, Т. Л. Яворская
Курс Л. Д. Беклемишева и Т. Л. Яворской "Доказуемость и формальная арифметика, часть 2"
19 сентября 2023 г. 16:45   
27. Лекция 1. Доказуемость и формальная арифметика, часть 2
Л. Д. Беклемишев, Т. Л. Яворская
Курс Л. Д. Беклемишева и Т. Л. Яворской "Доказуемость и формальная арифметика, часть 2"
12 сентября 2023 г. 16:45   
28. Лекция 10. Логики свидетельств
Т. Л. Яворская
Курс Т. Л. Яворской "Логики свидетельств"
2 мая 2023 г. 18:00   
29. Лекция 9. Логики свидетельств
Т. Л. Яворская
Курс Т. Л. Яворской "Логики свидетельств"
25 апреля 2023 г. 18:00   
30. Лекция 8. Логики свидетельств
Т. Л. Яворская
Курс Т. Л. Яворской "Логики свидетельств"
11 апреля 2023 г. 18:00   
31. Лекция 7. Логики свидетельств
Т. Л. Яворская
Курс Т. Л. Яворской "Логики свидетельств"
4 апреля 2023 г. 18:00   
32. Лекция 6. Логики свидетельств
Т. Л. Яворская
Курс Т. Л. Яворской "Логики свидетельств"
28 марта 2023 г. 18:00   
33. Лекция 5. Логики свидетельств
Т. Л. Яворская
Курс Т. Л. Яворской "Логики свидетельств"
14 марта 2023 г. 18:00   
34. Лекция 4. Логики свидетельств
Т. Л. Яворская
Курс Т. Л. Яворской "Логики свидетельств"
7 марта 2023 г. 18:00   
35. Лекция 3. Логики свидетельств
Т. Л. Яворская
Курс Т. Л. Яворской "Логики свидетельств"
28 февраля 2023 г. 18:00   
36. Лекция 2. Логики свидетельств
Т. Л. Яворская
Курс Т. Л. Яворской "Логики свидетельств"
21 февраля 2023 г. 18:00   
37. Лекция 1. Логики свидетельств
Т. Л. Яворская
Курс Т. Л. Яворской "Логики свидетельств"
14 февраля 2023 г. 18:00   
38. Лекция 13. Доказуемость и формальная арифметика
Л. Д. Беклемишев, Т. Л. Яворская
Доказуемость и формальная арифметика
13 декабря 2022 г. 14:45   
39. Лекция 12. Доказуемость и формальная арифметика
Т. Л. Яворская
Доказуемость и формальная арифметика
6 декабря 2022 г. 14:45   
40. Лекция 9. Доказуемость и формальная арифметика
Т. Л. Яворская
Доказуемость и формальная арифметика
8 ноября 2022 г. 14:45   
41. Лекция 7. Доказуемость и формальная арифметика
Л. Д. Беклемишев, Т. Л. Яворская
Доказуемость и формальная арифметика
25 октября 2022 г. 14:45   
42. Лекция 6. Доказуемость и формальная арифметика
Л. Д. Беклемишев, Т. Л. Яворская
Доказуемость и формальная арифметика
18 октября 2022 г. 14:45   
43. Лекция 5. Доказуемость и формальная арифметика
Л. Д. Беклемишев, Т. Л. Яворская
Доказуемость и формальная арифметика
11 октября 2022 г. 14:45   
44. Лекция 4. Доказуемость и формальная арифметика
Л. Д. Беклемишев, Т. Л. Яворская
Доказуемость и формальная арифметика
4 октября 2022 г. 14:45   
45. Лекция 3. Доказуемость и формальная арифметика
Л. Д. Беклемишев, Т. Л. Яворская
Доказуемость и формальная арифметика
27 сентября 2022 г. 14:45   
46. Лекция 2. Доказуемость и формальная арифметика
Л. Д. Беклемишев, Т. Л. Яворская
Доказуемость и формальная арифметика
20 сентября 2022 г. 14:45   
47. Лекция 1. Доказуемость и формальная арифметика
Л. Д. Беклемишев, Т. Л. Яворская
Доказуемость и формальная арифметика
13 сентября 2022 г. 14:45   
48. Лекция 11. Неклассические логики
Т. Л. Яворская
Неклассические логики
17 мая 2022 г. 14:45   
49. Лекция 10. Неклассические логики
Т. Л. Яворская
Неклассические логики
26 апреля 2022 г. 14:45   
50. Лекция 9. Неклассические логики
Т. Л. Яворская
Неклассические логики
19 апреля 2022 г. 14:45   
51. Лекция 8. Неклассические логики
Т. Л. Яворская
Неклассические логики
12 апреля 2022 г. 14:45   
52. Лекция 7. Неклассические логики
Т. Л. Яворская
Неклассические логики
5 апреля 2022 г. 14:45   
53. Лекция 6. Неклассические логики
Т. Л. Яворская
Неклассические логики
22 марта 2022 г. 14:45   
54. Лекция 5. Неклассические логики
Т. Л. Яворская
Неклассические логики
15 марта 2022 г. 14:45   
55. Лекция 4. Неклассические логики
Т. Л. Яворская
Неклассические логики
8 марта 2022 г. 14:45   
56. Лекция 3. Неклассические логики
Т. Л. Яворская
Неклассические логики
1 марта 2022 г. 14:45   
57. Лекция 2. Неклассические логики
Т. Л. Яворская
Неклассические логики
15 февраля 2022 г. 14:45   
58. Лекция 14. Доказуемость и формальная арифметика
Л. Д. Беклемишев, Т. Л. Яворская
Доказуемость и формальная арифметика
14 декабря 2021 г. 14:45   
59. Лекция 13. Доказуемость и формальная арифметика
Л. Д. Беклемишев, Т. Л. Яворская
Доказуемость и формальная арифметика
7 декабря 2021 г. 14:45   
60. Лекция 12. Доказуемость и формальная арифметика
Л. Д. Беклемишев, Т. Л. Яворская
Доказуемость и формальная арифметика
30 ноября 2021 г. 14:45   
61. Лекция 11. Доказуемость и формальная арифметика
Л. Д. Беклемишев, Т. Л. Яворская
Доказуемость и формальная арифметика
23 ноября 2021 г. 14:45   
62. Лекция 10. Доказуемость и формальная арифметика
Л. Д. Беклемишев, Т. Л. Яворская
Доказуемость и формальная арифметика
16 ноября 2021 г. 14:45   
63. Лекция 9. Доказуемость и формальная арифметика
Л. Д. Беклемишев, Т. Л. Яворская
Доказуемость и формальная арифметика
9 ноября 2021 г. 14:45   
64. Лекция 8. Доказуемость и формальная арифметика
Л. Д. Беклемишев, Т. Л. Яворская
Доказуемость и формальная арифметика
2 ноября 2021 г. 14:45   
65. Лекция 7. Доказуемость и формальная арифметика
Л. Д. Беклемишев, Т. Л. Яворская
Доказуемость и формальная арифметика
26 октября 2021 г. 14:45   
66. Лекция 6. Доказуемость и формальная арифметика
Л. Д. Беклемишев, Т. Л. Яворская
Доказуемость и формальная арифметика
19 октября 2021 г. 14:45   
67. Лекция 5. Доказуемость и формальная арифметика
Л. Д. Беклемишев, Т. Л. Яворская
Доказуемость и формальная арифметика
12 октября 2021 г. 14:45
68. Лекция 4. Доказуемость и формальная арифметика
Л. Д. Беклемишев, Т. Л. Яворская
Доказуемость и формальная арифметика
5 октября 2021 г. 14:45   
69. Лекция 3. Доказуемость и формальная арифметика
Л. Д. Беклемишев, Т. Л. Яворская
Доказуемость и формальная арифметика
28 сентября 2021 г. 14:45   
70. Лекция 2. Доказуемость и формальная арифметика
Л. Д. Беклемишев, Т. Л. Яворская
Доказуемость и формальная арифметика
21 сентября 2021 г. 14:45   
71. Лекция 1. Доказуемость и формальная арифметика
Л. Д. Беклемишев, Т. Л. Яворская
Доказуемость и формальная арифметика
14 сентября 2021 г. 14:45   
72. Лекция 11. Неклассические логики
Т. Л. Яворская
Неклассические логики
17 мая 2021 г. 11:30   
73. Лекция 10. Неклассические логики
Т. Л. Яворская
Неклассические логики
26 апреля 2021 г. 11:30   
74. Лекция 9. Неклассические логики
Т. Л. Яворская
Неклассические логики
19 апреля 2021 г. 11:30   
75. Лекция 8. Неклассические логики
Т. Л. Яворская
Неклассические логики
12 апреля 2021 г. 11:30   
76. Лекция 7. Неклассические логики
Т. Л. Яворская
Неклассические логики
5 апреля 2021 г. 11:30   
77. Лекция 6. Неклассические логики
Т. Л. Яворская
Неклассические логики
29 марта 2021 г. 11:30   
78. Лекция 5. Неклассические логики
Т. Л. Яворская
Неклассические логики
22 марта 2021 г. 11:30   
79. Лекция 4. Модальные формулы и свойства шкал Крипке
Т. Л. Яворская
Неклассические логики
15 марта 2021 г. 11:30   
80. Лекция 3. Следствия теоремы о полноте интуиционистской логики по Крипке. Модальная логика, семантика Крипке для нее
Т. Л. Яворская
Неклассические логики
1 марта 2021 г. 11:30   
81. Лекция 2. Полнота интуиционистской логики относительно семантики Крипке
Т. Л. Яворская
Неклассические логики
15 февраля 2021 г. 11:30   
82. Лекция 1. Интуиционистская логика высказываний. Семантика Крипке
Т. Л. Яворская
Неклассические логики
8 февраля 2021 г. 11:30   
83. Обзор курса и ответы на вопросы
С. Л. Кузнецов, Т. Яворская
Спецкурс «Математическая логика, часть 2»
14 мая 2020 г. 16:00   
84. First order logic of proofs
Tatiana Yavorskaya
Международная конференция «Logical Models of Reasoning and Computation»
3 февраля 2012 г. 16:15   

Организации
 
  Обратная связь:
  Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2026