Speranski Stanislav Olegovich

Presentations in Math-Net.Ru

1. Lecture 13. Decidable and undecidable theories
   S. O. Speranski
   Course by S. O. Speranski "Decidable and undecidable theories"
   May 8, 2024 10:00   
2. Lecture 12. Decidable and undecidable theories
   S. O. Speranski
   Course by S. O. Speranski "Decidable and undecidable theories"
   May 3, 2024 10:00   
3. Lecture 12. Introduction to Nonclassical Logics
   S. O. Speranski
   Introduction to Nonclassical Logics
   May 2, 2024 10:00   
4. Lecture 11. Decidable and undecidable theories
   S. O. Speranski
   Course by S. O. Speranski "Decidable and undecidable theories"
   April 22, 2024 16:00   
5. Lecture 11. Introduction to Nonclassical Logics
   S. O. Speranski
   Introduction to Nonclassical Logics
   April 22, 2024 09:00   
6. Lecture 10. Decidable and undecidable theories
   S. O. Speranski
   Course by S. O. Speranski "Decidable and undecidable theories"
   April 17, 2024 16:20   
7. Lecture 10. Introduction to Nonclassical Logics
   S. O. Speranski
   Introduction to Nonclassical Logics
   April 17, 2024 10:00   
8. Lecture 9. Decidable and undecidable theories
   S. O. Speranski
   Course by S. O. Speranski "Decidable and undecidable theories"
   April 10, 2024 16:20   
9. Lecture 9. Introduction to Nonclassical Logics
   S. O. Speranski
   Introduction to Nonclassical Logics
   April 10, 2024 10:00   
10. Lecture 8. Decidable and undecidable theories
    S. O. Speranski
    Course by S. O. Speranski "Decidable and undecidable theories"
    April 3, 2024 16:20   
11. Lecture 8. Introduction to Nonclassical Logics
    S. O. Speranski
    Introduction to Nonclassical Logics
    April 3, 2024 10:00   
12. Lecture 7. Decidable and undecidable theories
    S. O. Speranski
    Course by S. O. Speranski "Decidable and undecidable theories"
    March 27, 2024 16:20   
13. Lecture 7. Introduction to Nonclassical Logics
    S. O. Speranski
    Introduction to Nonclassical Logics
    March 27, 2024 10:00   
14. On the elementary theory of atomless probability spaces
    S. O. Speranski
    Seminars "Proof Theory" and "Logic Online Seminar"
    March 25, 2024 18:30   
15. Lecture 6. Decidable and undecidable theories
    S. O. Speranski
    Course by S. O. Speranski "Decidable and undecidable theories"
    March 20, 2024 16:20   
16. Lecture 6. Introduction to Nonclassical Logics
    S. O. Speranski
    Introduction to Nonclassical Logics
    March 20, 2024 10:00   
17. Lecture 5. Decidable and undecidable theories
    S. O. Speranski
    Course by S. O. Speranski "Decidable and undecidable theories"
    March 13, 2024 16:20   
18. Lecture 5. Introduction to Nonclassical Logics
    S. O. Speranski
    Introduction to Nonclassical Logics
    March 13, 2024 10:00   
19. Lecture 4. Decidable and undecidable theories
    S. O. Speranski
    Course by S. O. Speranski "Decidable and undecidable theories"
    March 6, 2024 16:20   
20. Lecture 4. Introduction to Nonclassical Logics
    S. O. Speranski
    Introduction to Nonclassical Logics
    March 6, 2024 10:00   
21. Lecture 3. Decidable and undecidable theories
    S. O. Speranski
    Course by S. O. Speranski "Decidable and undecidable theories"
    February 28, 2024 16:20   
22. Lecture 3. Introduction to Nonclassical Logics
    S. O. Speranski
    Introduction to Nonclassical Logics
    February 28, 2024 10:00   
23. Lecture 2. Decidable and undecidable theories
    S. O. Speranski
    Course by S. O. Speranski "Decidable and undecidable theories"
    February 21, 2024 16:20   
24. Lecture 2. Introduction to Nonclassical Logics
    S. O. Speranski
    Introduction to Nonclassical Logics
    February 21, 2024 10:00   
25. Lecture 1. Decidable and undecidable theories
    S. O. Speranski
    Course by S. O. Speranski "Decidable and undecidable theories"
    February 14, 2024 16:20   
26. Lecture 1. Introduction to Nonclassical Logics
    S. O. Speranski
    Introduction to Nonclassical Logics
    February 14, 2024 10:00   
27. Lecture 11. Foundations of Set Theory
    S. O. Speranski
    Foundations of Set Theory
    November 27, 2023 16:50   
28. Lecture 10. Foundations of Set Theory
    S. O. Speranski
    Foundations of Set Theory
    November 20, 2023 16:50   
29. Lecture 8. Foundations of Set Theory
    S. O. Speranski
    Foundations of Set Theory
    November 13, 2023 16:50   
30. Lecture 8. Foundations of Set Theory
    S. O. Speranski
    Foundations of Set Theory
    October 30, 2023 18:30   
31. Lecture 7. Foundations of Set Theory
    S. O. Speranski
    Foundations of Set Theory
    October 30, 2023 16:50   
32. Lecture 7. Foundations of Set Theory
    S. O. Speranski
    Foundations of Set Theory
    October 23, 2023 16:50   
33. Lecture 5. Foundations of Set Theory
    S. O. Speranski
    Foundations of Set Theory
    October 7, 2023 10:50   
34. Lecture 4. Foundations of Set Theory
    S. O. Speranski
    Foundations of Set Theory
    October 2, 2023 16:50   
35. Lecture 3. Foundations of Set Theory
    S. O. Speranski
    Foundations of Set Theory
    September 25, 2023 16:50   
36. Lecture 2. Foundations of Set Theory
    S. O. Speranski
    Foundations of Set Theory
    September 18, 2023 16:50   
37. Lecture 1. Foundations of Set Theory
    S. O. Speranski
    Foundations of Set Theory
    September 11, 2023 16:50   
38. 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   
39. 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   
40. 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   
41. 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   
42. 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   
43. 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   
44. 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   
45. 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   
46. 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   
47. 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   
48. 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   
49. Lecture 11. Foundations of Set Theory
    S. O. Speranski
    Foundations of Set Theory
    November 21, 2022 16:25   
50. Lecture 10. Foundations of Set Theory
    S. O. Speranski
    Foundations of Set Theory
    November 14, 2022 16:25   
51. Lecture 9. Foundations of Set Theory
    S. O. Speranski
    Foundations of Set Theory
    November 7, 2022 16:25   
52. Lecture 8. Foundations of Set Theory
    S. O. Speranski
    Foundations of Set Theory
    October 31, 2022 16:25   
53. Complexity for Kripke’s theory of truth
    Stanislav Speranski
    Fourth Workshop on Digitalization and Computable Models (WDCM-2022)
    October 26, 2022 10:00   
54. Lecture 7. Foundations of Set Theory
    S. O. Speranski
    Foundations of Set Theory
    October 24, 2022 16:25   
55. Lecture 6. Foundations of Set Theory
    S. O. Speranski
    Foundations of Set Theory
    October 17, 2022 16:25   
56. Lecture 5. Foundations of Set Theory
    S. O. Speranski
    Foundations of Set Theory
    October 10, 2022 16:25   
57. Lecture 4. Foundations of Set Theory
    S. O. Speranski
    Foundations of Set Theory
    October 3, 2022 16:25   
58. Lecture 3. Foundations of Set Theory
    S. O. Speranski
    Foundations of Set Theory
    September 26, 2022 16:25   
59. Lecture 2. Foundations of Set Theory
    S. O. Speranski
    Foundations of Set Theory
    September 19, 2022 16:25   
60. 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   
61. Lecture 1. Foundations of Set Theory
    S. O. Speranski
    Foundations of Set Theory
    September 12, 2022 16:25   
62. Lecture 11. Structural Proof Theory and Algebraic Logic
    S. O. Speranski
    Structural Proof Theory and Algebraic Logic
    April 25, 2022 14:45   
63. Lecture 10. Structural Proof Theory and Algebraic Logic
    S. O. Speranski
    Structural Proof Theory and Algebraic Logic
    April 18, 2022 14:45   
64. Lecture 9. Structural Proof Theory and Algebraic Logic
    S. O. Speranski
    Structural Proof Theory and Algebraic Logic
    April 11, 2022 14:45   
65. Lecture 8. Structural Proof Theory and Algebraic Logic
    S. O. Speranski
    Structural Proof Theory and Algebraic Logic
    April 4, 2022 14:45   
66. Lecture 7. Structural Proof Theory and Algebraic Logic
    S. O. Speranski
    Structural Proof Theory and Algebraic Logic
    March 28, 2022 14:45   
67. Lecture 6. Structural Proof Theory and Algebraic Logic
    S. O. Speranski
    Structural Proof Theory and Algebraic Logic
    March 21, 2022 14:45   
68. Lecture 5. Structural Proof Theory and Algebraic Logic
    S. O. Speranski
    Structural Proof Theory and Algebraic Logic
    March 14, 2022 14:45   
69. Lecture 4. Structural Proof Theory and Algebraic Logic
    S. O. Speranski
    Structural Proof Theory and Algebraic Logic
    February 28, 2022 14:45   
70. Lecture 3. Structural Proof Theory and Algebraic Logic
    S. O. Speranski
    Structural Proof Theory and Algebraic Logic
    February 21, 2022 14:45   
71. Lecture 2. Structural Proof Theory and Algebraic Logic
    S. O. Speranski
    Structural Proof Theory and Algebraic Logic
    February 14, 2022 14:45   
72. Lecture 1. Structural Proof Theory and Algebraic Logic
    S. O. Speranski
    Structural Proof Theory and Algebraic Logic
    February 7, 2022 14:45   
73. Infinitary action logic with exponentiation
    S. L. Kuznetsov, S. O. Speranski
    Logical Perspectives 2021: Summer School and Workshop
    June 18, 2021 12:30   
74. A Computational Perspective on Reasoning about Probability Spaces
    S. Speranski
    SIMC Welcomes Postdocs-2020
    April 23, 2021 11:00   
75. Negation as a modality in a quantified setting
    S. O. Speranski
    Seminars "Proof Theory" and "Logic Online Seminar"
    April 20, 2020 18:30   
76. 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