Персоналии
RUS  ENG    ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ПАКЕТ AMSBIB  
 
Яворская Татьяна Леонидовна
кандидат физико-математических наук
E-mail:

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

Публикации в базе данных Math-Net.Ru Цитирования
2001
1. 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
2. Т. Л. Сидон, “Неаксиоматизируемость предикатных логик доказательств”, Вестн. Моск. ун-та. Сер. 1. Матем., мех., 1998, № 6,  18–22  mathnet  mathscinet  zmath 1
3. Т. Л. Сидон, “Интерполяционное свойство Крейга для операторных логик доказательств”, Вестн. Моск. ун-та. Сер. 1. Матем., мех., 1998, № 2,  34–38  mathnet  mathscinet  zmath 1
1997
4. Т. Л. Сидон, “Логика доказуемости с операциями над доказательствами”, Фундамент. и прикл. матем., 3:4 (1997),  1173–1197  mathnet  mathscinet  zmath 1

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

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