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. |
Обзор курса и ответы на вопросы S. L. Kuznetsov, T. Yavorskaya
May 14, 2020 16:00
|
75. |
First order logic of proofs Tatiana Yavorskaya
International workshop "Logical Models of Reasoning and Computation" February 3, 2012 16:15
|