Персоналии
RUS  ENG    ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ПАКЕТ AMSBIB  
 
Яворская Татьяна Леонидовна

В базах данных Math-Net.Ru
Публикаций: 4
Научных статей: 4
Лекций и докладов: 13

Статистика просмотров:
Эта страница:565
Страницы публикаций:528
Полные тексты:164
Списки литературы:37
E-mail:

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

Доклады и лекции в базе данных Math-Net.Ru
1. Лекция 11. Неклассические логики
Т. Л. Яворская
Неклассические логики
17 мая 2021 г. 11:30   
2. Лекция 10. Неклассические логики
Т. Л. Яворская
Неклассические логики
26 апреля 2021 г. 11:30   
3. Лекция 9. Неклассические логики
Т. Л. Яворская
Неклассические логики
19 апреля 2021 г. 11:30   
4. Лекция 8. Неклассические логики
Т. Л. Яворская
Неклассические логики
12 апреля 2021 г. 11:30   
5. Лекция 7. Неклассические логики
Т. Л. Яворская
Неклассические логики
5 апреля 2021 г. 11:30   
6. Лекция 6. Неклассические логики
Т. Л. Яворская
Неклассические логики
29 марта 2021 г. 11:30   
7. Лекция 5. Неклассические логики
Т. Л. Яворская
Неклассические логики
22 марта 2021 г. 11:30   
8. Лекция 4. Модальные формулы и свойства шкал Крипке
Т. Л. Яворская
Неклассические логики
15 марта 2021 г. 11:30   
9. Лекция 3. Следствия теоремы о полноте интуиционистской логики по Крипке. Модальная логика, семантика Крипке для нее
Т. Л. Яворская
Неклассические логики
1 марта 2021 г. 11:30   
10. Лекция 2. Полнота интуиционистской логики относительно семантики Крипке
Т. Л. Яворская
Неклассические логики
15 февраля 2021 г. 11:30   
11. Лекция 1. Интуиционистская логика высказываний. Семантика Крипке
Т. Л. Яворская
Неклассические логики
8 февраля 2021 г. 11:30   
12. Обзор курса и ответы на вопросы
С. Л. Кузнецов, Т. Яворская
Спецкурс «Математическая логика, часть 2»
14 мая 2020 г. 16:00   
13. First order logic of proofs
Tatiana Yavorskaya
Международная конференция «Logical Models of Reasoning and Computation»
3 февраля 2012 г. 16:15   

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