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

Доклады и лекции в базе данных Math-Net.Ru

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