Yavorskaya Tatiana Leonidovna

Presentations in Math-Net.Ru

1. Lecture 5. Foundations of Set Theory
   T. L. Yavorskaya
   Foundations of Set Theory
   October 16, 2024 14:45
2. Lecture 4. Foundations of Set Theory
   T. L. Yavorskaya
   Foundations of Set Theory
   October 9, 2024 14:45   
3. Lecture 3. Foundations of Set Theory
   T. L. Yavorskaya
   Foundations of Set Theory
   October 2, 2024 14:45   
4. Lecture 2. Foundations of Set Theory
   T. L. Yavorskaya
   Foundations of Set Theory
   September 18, 2024 14:45   
5. Lecture 1. Foundations of Set Theory
   T. L. Yavorskaya
   Foundations of Set Theory
   September 11, 2024 14:45   
6. Lecture 13. Provability and Formal Arithmetic
   L. D. Beklemishev, T. L. Yavorskaya
   Course by L. D. Beklemishev and T. L. Yavorskaya "Provability and Formal Arithmetic II"
   December 12, 2023 16:45   
7. Lecture 12. Provability and Formal Arithmetic
   L. D. Beklemishev, T. L. Yavorskaya
   Course by L. D. Beklemishev and T. L. Yavorskaya "Provability and Formal Arithmetic II"
   December 5, 2023 16:45   
8. Lecture 11. Provability and Formal Arithmetic
   L. D. Beklemishev, T. L. Yavorskaya
   Course by L. D. Beklemishev and T. L. Yavorskaya "Provability and Formal Arithmetic II"
   November 21, 2023 16:45   
9. Lecture 10. Provability and Formal Arithmetic
   L. D. Beklemishev, T. L. Yavorskaya
   Course by L. D. Beklemishev and T. L. Yavorskaya "Provability and Formal Arithmetic II"
   November 14, 2023 16:45   
10. Lecture 9. Provability and Formal Arithmetic
    L. D. Beklemishev, T. L. Yavorskaya
    Course by L. D. Beklemishev and T. L. Yavorskaya "Provability and Formal Arithmetic II"
    November 7, 2023 16:45   
11. Lecture 8. Provability and Formal Arithmetic
    L. D. Beklemishev, T. L. Yavorskaya
    Course by L. D. Beklemishev and T. L. Yavorskaya "Provability and Formal Arithmetic II"
    October 31, 2023 16:45   
12. Lecture 7. Provability and Formal Arithmetic
    L. D. Beklemishev, T. L. Yavorskaya
    Course by L. D. Beklemishev and T. L. Yavorskaya "Provability and Formal Arithmetic II"
    October 24, 2023 16:45   
13. Lecture 6. Provability and Formal Arithmetic
    L. D. Beklemishev, T. L. Yavorskaya
    Course by L. D. Beklemishev and T. L. Yavorskaya "Provability and Formal Arithmetic II"
    October 17, 2023 16:45   
14. Lecture 5. Provability and Formal Arithmetic
    L. D. Beklemishev, T. L. Yavorskaya
    Course by L. D. Beklemishev and T. L. Yavorskaya "Provability and Formal Arithmetic II"
    October 10, 2023 16:45   
15. Lecture 4. Provability and Formal Arithmetic
    L. D. Beklemishev, T. L. Yavorskaya
    Course by L. D. Beklemishev and T. L. Yavorskaya "Provability and Formal Arithmetic II"
    October 3, 2023 16:45   
16. Lecture 3. Provability and Formal Arithmetic
    L. D. Beklemishev, T. L. Yavorskaya
    Course by L. D. Beklemishev and T. L. Yavorskaya "Provability and Formal Arithmetic II"
    September 26, 2023 16:45   
17. Lecture 2. Provability and Formal Arithmetic
    L. D. Beklemishev, T. L. Yavorskaya
    Course by L. D. Beklemishev and T. L. Yavorskaya "Provability and Formal Arithmetic II"
    September 19, 2023 16:45   
18. Lecture 1. Provability and Formal Arithmetic
    L. D. Beklemishev, T. L. Yavorskaya
    Course by L. D. Beklemishev and T. L. Yavorskaya "Provability and Formal Arithmetic II"
    September 12, 2023 16:45   
19. Lecture 10. Justification logic
    T. L. Yavorskaya
    Course by T. L. Yavorskaya "Justification logic"
    May 2, 2023 18:00   
20. Lecture 9. Justification logic
    T. L. Yavorskaya
    Course by T. L. Yavorskaya "Justification logic"
    April 25, 2023 18:00   
21. Lecture 8. Justification logic
    T. L. Yavorskaya
    Course by T. L. Yavorskaya "Justification logic"
    April 11, 2023 18:00   
22. Lecture 7. Justification logic
    T. L. Yavorskaya
    Course by T. L. Yavorskaya "Justification logic"
    April 4, 2023 18:00   
23. Lecture 6. Justification logic
    T. L. Yavorskaya
    Course by T. L. Yavorskaya "Justification logic"
    March 28, 2023 18:00   
24. Lecture 5. Justification logic
    T. L. Yavorskaya
    Course by T. L. Yavorskaya "Justification logic"
    March 14, 2023 18:00   
25. Lecture 4. Justification logic
    T. L. Yavorskaya
    Course by T. L. Yavorskaya "Justification logic"
    March 7, 2023 18:00   
26. Lecture 3. Justification logic
    T. L. Yavorskaya
    Course by T. L. Yavorskaya "Justification logic"
    February 28, 2023 18:00   
27. Lecture 2. Justification logic
    T. L. Yavorskaya
    Course by T. L. Yavorskaya "Justification logic"
    February 21, 2023 18:00   
28. Lecture 1. Justification logic
    T. L. Yavorskaya
    Course by T. L. Yavorskaya "Justification logic"
    February 14, 2023 18:00   
29. Lecture 13. Provability and Formal Arithmetic
    L. D. Beklemishev, T. L. Yavorskaya
    Provability and Formal Arithmetic
    December 13, 2022 14:45   
30. Lecture 12. Provability and Formal Arithmetic
    T. L. Yavorskaya
    Provability and Formal Arithmetic
    December 6, 2022 14:45   
31. Lecture 9. Provability and Formal Arithmetic
    T. L. Yavorskaya
    Provability and Formal Arithmetic
    November 8, 2022 14:45   
32. Lecture 7. Provability and Formal Arithmetic
    L. D. Beklemishev, T. L. Yavorskaya
    Provability and Formal Arithmetic
    October 25, 2022 14:45   
33. Lecture 6. Provability and Formal Arithmetic
    L. D. Beklemishev, T. L. Yavorskaya
    Provability and Formal Arithmetic
    October 18, 2022 14:45   
34. Lecture 5. Provability and Formal Arithmetic
    L. D. Beklemishev, T. L. Yavorskaya
    Provability and Formal Arithmetic
    October 11, 2022 14:45   
35. Lecture 4. Provability and Formal Arithmetic
    L. D. Beklemishev, T. L. Yavorskaya
    Provability and Formal Arithmetic
    October 4, 2022 14:45   
36. Lecture 3. Provability and Formal Arithmetic
    L. D. Beklemishev, T. L. Yavorskaya
    Provability and Formal Arithmetic
    September 27, 2022 14:45   
37. Lecture 2. Provability and Formal Arithmetic
    L. D. Beklemishev, T. L. Yavorskaya
    Provability and Formal Arithmetic
    September 20, 2022 14:45   
38. Lecture 1. Provability and Formal Arithmetic
    L. D. Beklemishev, T. L. Yavorskaya
    Provability and Formal Arithmetic
    September 13, 2022 14:45   
39. Lecture 11. Nonclassical Logics
    T. L. Yavorskaya
    Nonclassical Logics
    May 17, 2022 14:45   
40. Lecture 10. Nonclassical Logics
    T. L. Yavorskaya
    Nonclassical Logics
    April 26, 2022 14:45   
41. Lecture 9. Nonclassical Logics
    T. L. Yavorskaya
    Nonclassical Logics
    April 19, 2022 14:45   
42. Lecture 8. Nonclassical Logics
    T. L. Yavorskaya
    Nonclassical Logics
    April 12, 2022 14:45   
43. Lecture 7. Nonclassical Logics
    T. L. Yavorskaya
    Nonclassical Logics
    April 5, 2022 14:45   
44. Lecture 6. Nonclassical Logics
    T. L. Yavorskaya
    Nonclassical Logics
    March 22, 2022 14:45   
45. Lecture 5. Nonclassical Logics
    T. L. Yavorskaya
    Nonclassical Logics
    March 15, 2022 14:45   
46. Lecture 3. Nonclassical Logics
    T. L. Yavorskaya
    Nonclassical Logics
    March 8, 2022 14:45   
47. Lecture 4. Nonclassical Logics
    T. L. Yavorskaya
    Nonclassical Logics
    March 1, 2022 14:45   
48. Lecture 2. Nonclassical Logics
    T. L. Yavorskaya
    Nonclassical Logics
    February 15, 2022 14:45   
49. Lecture 14. Provability and Formal Arithmetic
    L. D. Beklemishev, T. L. Yavorskaya
    Provability and Formal Arithmetic
    December 14, 2021 14:45   
50. Lecture 13. Provability and Formal Arithmetic
    L. D. Beklemishev, T. L. Yavorskaya
    Provability and Formal Arithmetic
    December 7, 2021 14:45   
51. Lecture 12. Provability and Formal Arithmetic
    L. D. Beklemishev, T. L. Yavorskaya
    Provability and Formal Arithmetic
    November 30, 2021 14:45   
52. Lecture 11. Provability and Formal Arithmetic
    L. D. Beklemishev, T. L. Yavorskaya
    Provability and Formal Arithmetic
    November 23, 2021 14:45   
53. Lecture 10. Provability and Formal Arithmetic
    L. D. Beklemishev, T. L. Yavorskaya
    Provability and Formal Arithmetic
    November 16, 2021 14:45   
54. Lecture 9. Provability and Formal Arithmetic
    L. D. Beklemishev, T. L. Yavorskaya
    Provability and Formal Arithmetic
    November 9, 2021 14:45   
55. Lecture 8. Provability and Formal Arithmetic
    L. D. Beklemishev, T. L. Yavorskaya
    Provability and Formal Arithmetic
    November 2, 2021 14:45   
56. Lecture 7. Provability and Formal Arithmetic
    L. D. Beklemishev, T. L. Yavorskaya
    Provability and Formal Arithmetic
    October 26, 2021 14:45   
57. Lecture 6. Provability and Formal Arithmetic
    L. D. Beklemishev, T. L. Yavorskaya
    Provability and Formal Arithmetic
    October 19, 2021 14:45   
58. Lecture 5. Provability and Formal Arithmetic
    L. D. Beklemishev, T. L. Yavorskaya
    Provability and Formal Arithmetic
    October 12, 2021 14:45
59. Lecture 4. Provability and Formal Arithmetic
    L. D. Beklemishev, T. L. Yavorskaya
    Provability and Formal Arithmetic
    October 5, 2021 14:45   
60. Lecture 3. Provability and Formal Arithmetic
    L. D. Beklemishev, T. L. Yavorskaya
    Provability and Formal Arithmetic
    September 28, 2021 14:45   
61. Lecture 2. Provability and Formal Arithmetic
    L. D. Beklemishev, T. L. Yavorskaya
    Provability and Formal Arithmetic
    September 21, 2021 14:45   
62. Lecture 1. Provability and Formal Arithmetic
    L. D. Beklemishev, T. L. Yavorskaya
    Provability and Formal Arithmetic
    September 14, 2021 14:45   
63. Lecture 11. Nonclassical Logics
    T. L. Yavorskaya
    Nonclassical Logics
    May 17, 2021 11:30   
64. Lecture 10. Nonclassical Logics
    T. L. Yavorskaya
    Nonclassical Logics
    April 26, 2021 11:30   
65. Lecture 9. Nonclassical Logics
    T. L. Yavorskaya
    Nonclassical Logics
    April 19, 2021 11:30   
66. Lecture 8. Nonclassical Logics
    T. L. Yavorskaya
    Nonclassical Logics
    April 12, 2021 11:30   
67. Lecture 7. Nonclassical Logics
    T. L. Yavorskaya
    Nonclassical Logics
    April 5, 2021 11:30   
68. Lecture 6. Nonclassical Logics
    T. L. Yavorskaya
    Nonclassical Logics
    March 29, 2021 11:30   
69. Lecture 5. Nonclassical Logics
    T. L. Yavorskaya
    Nonclassical Logics
    March 22, 2021 11:30   
70. Lecture 4. Nonclassical Logics
    T. L. Yavorskaya
    Nonclassical Logics
    March 15, 2021 11:30   
71. Lecture 3. Nonclassical Logics
    T. L. Yavorskaya
    Nonclassical Logics
    March 1, 2021 11:30   
72. Lecture 2. Nonclassical Logics
    T. L. Yavorskaya
    Nonclassical Logics
    February 15, 2021 11:30   
73. Lecture 1. Nonclassical Logics
    T. L. Yavorskaya
    Nonclassical Logics
    February 8, 2021 11:30   
74. First order logic of proofs
    Tatiana Yavorskaya
    International workshop "Logical Models of Reasoning and Computation"
    February 3, 2012 16:15