Speranski Stanislav Olegovich

Presentations in Math-Net.Ru

1. Lecture 11. Introduction to Nonclassical Logics
   S. O. Speranski
   Introduction to Nonclassical Logics
   April 29, 2025 14:15   
2. Lecture 10. Introduction to Nonclassical Logics
   S. O. Speranski
   Introduction to Nonclassical Logics
   April 15, 2025 14:15   
3. Lecture 9. Introduction to Nonclassical Logics
   S. O. Speranski
   Introduction to Nonclassical Logics
   April 8, 2025 14:15   
4. Lecture 8. Introduction to Nonclassical Logics
   S. O. Speranski
   Introduction to Nonclassical Logics
   April 1, 2025 14:15   
5. Lecture 7. Introduction to Nonclassical Logics
   S. O. Speranski
   Introduction to Nonclassical Logics
   March 25, 2025 14:15   
6. Lecture 6. Introduction to Nonclassical Logics
   S. O. Speranski
   Introduction to Nonclassical Logics
   March 18, 2025 14:15   
7. Lecture 5. Introduction to Nonclassical Logics
   S. O. Speranski
   Introduction to Nonclassical Logics
   March 11, 2025 14:15   
8. On the complexity of first-order logic of probability with distribution on the domain
   S. O. Speranski
   Seminar "Probabilistic and Substructural Logical Systems," lead by S.L. Kuznetsov and S.O. Speranski
   March 4, 2025 16:00   
9. Lecture 4. Introduction to Nonclassical Logics
   S. O. Speranski
   Introduction to Nonclassical Logics
   March 4, 2025 14:15   
10. Lecture 3. Introduction to Nonclassical Logics
    S. O. Speranski
    Introduction to Nonclassical Logics
    February 25, 2025 14:15   
11. Lecture 2. Introduction to Nonclassical Logics
    S. O. Speranski
    Introduction to Nonclassical Logics
    February 18, 2025 14:15   
12. Lecture 1. Introduction to Nonclassical Logics
    S. O. Speranski
    Introduction to Nonclassical Logics
    February 11, 2025 14:15   
13. Lecture 13. Universal Algebra and Algebraic Logic
    S. O. Speranski
    Course by S. O. Speranski "Universal Algebra and Algebraic Logic"
    December 10, 2024 16:20   
14. Lecture 12. Universal Algebra and Algebraic Logic
    S. O. Speranski
    Course by S. O. Speranski "Universal Algebra and Algebraic Logic"
    December 3, 2024 16:20   
15. Lecture 11. Universal Algebra and Algebraic Logic
    S. O. Speranski
    Course by S. O. Speranski "Universal Algebra and Algebraic Logic"
    November 26, 2024 16:20   
16. Lecture 10. Universal Algebra and Algebraic Logic
    S. O. Speranski
    Course by S. O. Speranski "Universal Algebra and Algebraic Logic"
    November 19, 2024 16:20   
17. Lecture 9. Universal Algebra and Algebraic Logic
    S. O. Speranski
    Course by S. O. Speranski "Universal Algebra and Algebraic Logic"
    November 12, 2024 16:20   
18. Lecture 8. Universal Algebra and Algebraic Logic
    S. O. Speranski
    Course by S. O. Speranski "Universal Algebra and Algebraic Logic"
    October 29, 2024 16:20   
19. Lecture 7. Universal Algebra and Algebraic Logic
    S. O. Speranski
    Course by S. O. Speranski "Universal Algebra and Algebraic Logic"
    October 16, 2024 18:00   
20. Lecture 6. Universal Algebra and Algebraic Logic
    S. O. Speranski
    Course by S. O. Speranski "Universal Algebra and Algebraic Logic"
    October 15, 2024 16:20   
21. Lecture 5. Universal Algebra and Algebraic Logic
    S. O. Speranski
    Course by S. O. Speranski "Universal Algebra and Algebraic Logic"
    October 8, 2024 16:20   
22. Lecture 4. Universal Algebra and Algebraic Logic
    S. O. Speranski
    Course by S. O. Speranski "Universal Algebra and Algebraic Logic"
    October 1, 2024 16:20   
23. Lecture 3. Universal Algebra and Algebraic Logic
    S. O. Speranski
    Course by S. O. Speranski "Universal Algebra and Algebraic Logic"
    September 24, 2024 16:20   
24. Lecture 2. Universal Algebra and Algebraic Logic
    S. O. Speranski
    Course by S. O. Speranski "Universal Algebra and Algebraic Logic"
    September 17, 2024 16:20   
25. Lecture 1. Universal Algebra and Algebraic Logic
    S. O. Speranski
    Course by S. O. Speranski "Universal Algebra and Algebraic Logic"
    September 10, 2024 16:20   
26. Lecture 13. Decidable and undecidable theories
    S. O. Speranski
    Course by S. O. Speranski "Decidable and undecidable theories"
    May 8, 2024 10:00   
27. Lecture 12. Decidable and undecidable theories
    S. O. Speranski
    Course by S. O. Speranski "Decidable and undecidable theories"
    May 3, 2024 10:00   
28. Lecture 12. Introduction to Nonclassical Logics
    S. O. Speranski
    Introduction to Nonclassical Logics
    May 2, 2024 10:00   
29. Lecture 11. Decidable and undecidable theories
    S. O. Speranski
    Course by S. O. Speranski "Decidable and undecidable theories"
    April 22, 2024 16:00   
30. Lecture 11. Introduction to Nonclassical Logics
    S. O. Speranski
    Introduction to Nonclassical Logics
    April 22, 2024 09:00   
31. Lecture 10. Decidable and undecidable theories
    S. O. Speranski
    Course by S. O. Speranski "Decidable and undecidable theories"
    April 17, 2024 16:20   
32. Lecture 10. Introduction to Nonclassical Logics
    S. O. Speranski
    Introduction to Nonclassical Logics
    April 17, 2024 10:00   
33. Lecture 9. Decidable and undecidable theories
    S. O. Speranski
    Course by S. O. Speranski "Decidable and undecidable theories"
    April 10, 2024 16:20   
34. Lecture 9. Introduction to Nonclassical Logics
    S. O. Speranski
    Introduction to Nonclassical Logics
    April 10, 2024 10:00   
35. Lecture 8. Decidable and undecidable theories
    S. O. Speranski
    Course by S. O. Speranski "Decidable and undecidable theories"
    April 3, 2024 16:20   
36. Lecture 8. Introduction to Nonclassical Logics
    S. O. Speranski
    Introduction to Nonclassical Logics
    April 3, 2024 10:00   
37. Lecture 7. Decidable and undecidable theories
    S. O. Speranski
    Course by S. O. Speranski "Decidable and undecidable theories"
    March 27, 2024 16:20   
38. Lecture 7. Introduction to Nonclassical Logics
    S. O. Speranski
    Introduction to Nonclassical Logics
    March 27, 2024 10:00   
39. On the elementary theory of atomless probability spaces
    S. O. Speranski
    Seminars "Proof Theory" and "Logic Online Seminar"
    March 25, 2024 18:30   
40. Lecture 6. Decidable and undecidable theories
    S. O. Speranski
    Course by S. O. Speranski "Decidable and undecidable theories"
    March 20, 2024 16:20   
41. Lecture 6. Introduction to Nonclassical Logics
    S. O. Speranski
    Introduction to Nonclassical Logics
    March 20, 2024 10:00   
42. Lecture 5. Decidable and undecidable theories
    S. O. Speranski
    Course by S. O. Speranski "Decidable and undecidable theories"
    March 13, 2024 16:20   
43. Lecture 5. Introduction to Nonclassical Logics
    S. O. Speranski
    Introduction to Nonclassical Logics
    March 13, 2024 10:00   
44. Lecture 4. Decidable and undecidable theories
    S. O. Speranski
    Course by S. O. Speranski "Decidable and undecidable theories"
    March 6, 2024 16:20   
45. Lecture 4. Introduction to Nonclassical Logics
    S. O. Speranski
    Introduction to Nonclassical Logics
    March 6, 2024 10:00   
46. Lecture 3. Decidable and undecidable theories
    S. O. Speranski
    Course by S. O. Speranski "Decidable and undecidable theories"
    February 28, 2024 16:20   
47. Lecture 3. Introduction to Nonclassical Logics
    S. O. Speranski
    Introduction to Nonclassical Logics
    February 28, 2024 10:00   
48. Lecture 2. Decidable and undecidable theories
    S. O. Speranski
    Course by S. O. Speranski "Decidable and undecidable theories"
    February 21, 2024 16:20   
49. Lecture 2. Introduction to Nonclassical Logics
    S. O. Speranski
    Introduction to Nonclassical Logics
    February 21, 2024 10:00   
50. Lecture 1. Decidable and undecidable theories
    S. O. Speranski
    Course by S. O. Speranski "Decidable and undecidable theories"
    February 14, 2024 16:20   
51. Lecture 1. Introduction to Nonclassical Logics
    S. O. Speranski
    Introduction to Nonclassical Logics
    February 14, 2024 10:00   
52. Lecture 11. Foundations of Set Theory
    S. O. Speranski
    Foundations of Set Theory
    November 27, 2023 16:50   
53. Lecture 10. Foundations of Set Theory
    S. O. Speranski
    Foundations of Set Theory
    November 20, 2023 16:50   
54. Lecture 8. Foundations of Set Theory
    S. O. Speranski
    Foundations of Set Theory
    November 13, 2023 16:50   
55. Lecture 8. Foundations of Set Theory
    S. O. Speranski
    Foundations of Set Theory
    October 30, 2023 18:30   
56. Lecture 7. Foundations of Set Theory
    S. O. Speranski
    Foundations of Set Theory
    October 30, 2023 16:50   
57. Lecture 7. Foundations of Set Theory
    S. O. Speranski
    Foundations of Set Theory
    October 23, 2023 16:50   
58. Lecture 5. Foundations of Set Theory
    S. O. Speranski
    Foundations of Set Theory
    October 7, 2023 10:50   
59. Lecture 4. Foundations of Set Theory
    S. O. Speranski
    Foundations of Set Theory
    October 2, 2023 16:50   
60. Lecture 3. Foundations of Set Theory
    S. O. Speranski
    Foundations of Set Theory
    September 25, 2023 16:50   
61. Lecture 2. Foundations of Set Theory
    S. O. Speranski
    Foundations of Set Theory
    September 18, 2023 16:50   
62. Lecture 1. Foundations of Set Theory
    S. O. Speranski
    Foundations of Set Theory
    September 11, 2023 16:50   
63. Lecture 11. Non-standard models of arithmetic and analysis
    S. O. Speranski
    Course by S. O. Speranski "Non-standard models of arithmetic and analysis"
    April 24, 2023 16:30   
64. Lecture 10. Non-standard models of arithmetic and analysis
    S. O. Speranski
    Course by S. O. Speranski "Non-standard models of arithmetic and analysis"
    April 17, 2023 16:30   
65. Lecture 9. Non-standard models of arithmetic and analysis
    S. O. Speranski
    Course by S. O. Speranski "Non-standard models of arithmetic and analysis"
    April 10, 2023 16:30   
66. Lecture 8. Non-standard models of arithmetic and analysis
    S. O. Speranski
    Course by S. O. Speranski "Non-standard models of arithmetic and analysis"
    April 3, 2023 16:30   
67. Lecture 7. Non-standard models of arithmetic and analysis
    S. O. Speranski
    Course by S. O. Speranski "Non-standard models of arithmetic and analysis"
    March 27, 2023 16:30   
68. Lecture 6. Non-standard models of arithmetic and analysis
    S. O. Speranski
    Course by S. O. Speranski "Non-standard models of arithmetic and analysis"
    March 20, 2023 16:30   
69. Lecture 5. Non-standard models of arithmetic and analysis
    S. O. Speranski
    Course by S. O. Speranski "Non-standard models of arithmetic and analysis"
    March 13, 2023 16:30   
70. Lecture 4. Non-standard models of arithmetic and analysis
    S. O. Speranski
    Course by S. O. Speranski "Non-standard models of arithmetic and analysis"
    March 6, 2023 16:30   
71. Lecture 3. Non-standard models of arithmetic and analysis
    S. O. Speranski
    Course by S. O. Speranski "Non-standard models of arithmetic and analysis"
    February 27, 2023 16:30   
72. Lecture 2. Non-standard models of arithmetic and analysis
    S. O. Speranski
    Course by S. O. Speranski "Non-standard models of arithmetic and analysis"
    February 20, 2023 16:30   
73. Lecture 1. Non-standard models of arithmetic and analysis
    S. O. Speranski
    Course by S. O. Speranski "Non-standard models of arithmetic and analysis"
    February 13, 2023 16:30   
74. Lecture 11. Foundations of Set Theory
    S. O. Speranski
    Foundations of Set Theory
    November 21, 2022 16:25   
75. Lecture 10. Foundations of Set Theory
    S. O. Speranski
    Foundations of Set Theory
    November 14, 2022 16:25   
76. Lecture 9. Foundations of Set Theory
    S. O. Speranski
    Foundations of Set Theory
    November 7, 2022 16:25   
77. Lecture 8. Foundations of Set Theory
    S. O. Speranski
    Foundations of Set Theory
    October 31, 2022 16:25   
78. Complexity for Kripke’s theory of truth
    Stanislav Speranski
    Fourth Workshop on Digitalization and Computable Models (WDCM-2022)
    October 26, 2022 10:00   
79. Lecture 7. Foundations of Set Theory
    S. O. Speranski
    Foundations of Set Theory
    October 24, 2022 16:25   
80. Lecture 6. Foundations of Set Theory
    S. O. Speranski
    Foundations of Set Theory
    October 17, 2022 16:25   
81. Lecture 5. Foundations of Set Theory
    S. O. Speranski
    Foundations of Set Theory
    October 10, 2022 16:25   
82. Lecture 4. Foundations of Set Theory
    S. O. Speranski
    Foundations of Set Theory
    October 3, 2022 16:25   
83. Lecture 3. Foundations of Set Theory
    S. O. Speranski
    Foundations of Set Theory
    September 26, 2022 16:25   
84. Lecture 2. Foundations of Set Theory
    S. O. Speranski
    Foundations of Set Theory
    September 19, 2022 16:25   
85. Seminar 1. Non-classical Logics
    S. O. Speranski
    Seminar by S. L. Kuznetsov and S. O. Speranski "Non-classical Logics"
    September 14, 2022 18:00   
86. Lecture 1. Foundations of Set Theory
    S. O. Speranski
    Foundations of Set Theory
    September 12, 2022 16:25   
87. Lecture 11. Structural Proof Theory and Algebraic Logic
    S. O. Speranski
    Structural Proof Theory and Algebraic Logic
    April 25, 2022 14:45   
88. Lecture 10. Structural Proof Theory and Algebraic Logic
    S. O. Speranski
    Structural Proof Theory and Algebraic Logic
    April 18, 2022 14:45   
89. Lecture 9. Structural Proof Theory and Algebraic Logic
    S. O. Speranski
    Structural Proof Theory and Algebraic Logic
    April 11, 2022 14:45   
90. Lecture 8. Structural Proof Theory and Algebraic Logic
    S. O. Speranski
    Structural Proof Theory and Algebraic Logic
    April 4, 2022 14:45   
91. Lecture 7. Structural Proof Theory and Algebraic Logic
    S. O. Speranski
    Structural Proof Theory and Algebraic Logic
    March 28, 2022 14:45   
92. Lecture 6. Structural Proof Theory and Algebraic Logic
    S. O. Speranski
    Structural Proof Theory and Algebraic Logic
    March 21, 2022 14:45   
93. Lecture 5. Structural Proof Theory and Algebraic Logic
    S. O. Speranski
    Structural Proof Theory and Algebraic Logic
    March 14, 2022 14:45   
94. Lecture 4. Structural Proof Theory and Algebraic Logic
    S. O. Speranski
    Structural Proof Theory and Algebraic Logic
    February 28, 2022 14:45   
95. Lecture 3. Structural Proof Theory and Algebraic Logic
    S. O. Speranski
    Structural Proof Theory and Algebraic Logic
    February 21, 2022 14:45   
96. Lecture 2. Structural Proof Theory and Algebraic Logic
    S. O. Speranski
    Structural Proof Theory and Algebraic Logic
    February 14, 2022 14:45   
97. Lecture 1. Structural Proof Theory and Algebraic Logic
    S. O. Speranski
    Structural Proof Theory and Algebraic Logic
    February 7, 2022 14:45   
98. Infinitary action logic with exponentiation
    S. L. Kuznetsov, S. O. Speranski
    Logical Perspectives 2021: Summer School and Workshop
    June 18, 2021 12:30   
99. A Computational Perspective on Reasoning about Probability Spaces
    S. Speranski
    SIMC Welcomes Postdocs-2020
    April 23, 2021 11:00   
100. Negation as a modality in a quantified setting
     S. O. Speranski
     Seminars "Proof Theory" and "Logic Online Seminar"
     April 20, 2020 18:30   
101. On the computational aspects of Kripke's theory of truth
     S. Speranski
     Workshop on Proof Theory, Modal Logic and Reflection Principles
     October 18, 2017 15:35