Персоналии
RUS  ENG    ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ПАКЕТ AMSBIB  
 
Сперанский Станислав Олегович

Публикаций: 29 (28)
в MathSciNet: 23 (23)
в zbMATH: 21 (21)
в Web of Science: 24 (24)
в Scopus: 22 (22)
Цитированных статей: 20
Цитирований: 84
Лекций и докладов: 119

Статистика просмотров:
Эта страница:7918
Страницы публикаций:3047
Полные тексты:655
Списки литературы:425
Сперанский Станислав Олегович
кандидат физико-математических наук (2013)
Специальность ВАК: 01.01.06 (математическая логика, алгебра и теория чисел)
E-mail:
Сайт: https://homepage.mi-ras.ru/~speranski
Коды УДК: 510.2, 510.5, 510.6
   
Основные публикации:
  1. S. O. Speranski, “Sharpening complexity results in quantified probability logic”, Logic Journal of the IGPL, 2024, jzae114, 21 pp.  crossref
  2. _____, “An ‘elementary’ perspective on reasoning about probability spaces”, Logic Journal of the IGPL, 2024, jzae042, 23 pp.  crossref
  3. _____, “Negation as a modality in a quantified setting”, Journal of Logic and Computation, 31:5 (2021), 1330–1355  crossref
  4. _____, “Notes on the computational aspects of Kripke’s theory of truth”, Studia Logica, 105:2 (2017), 407–429  crossref
  5. _____, “Some new results in monadic second-order arithmetic”, Computability, 4:2 (2015), 159–174  crossref
  6. S. L. Kuznetsov, _____, “Infinitary action logic with exponentiation”, Annals of Pure and Applied Logic, 173:2 (2022), 103057, 29 pp.  crossref

https://www.mathnet.ru/rus/person71546
Список публикаций на Google Scholar
https://zbmath.org/authors/?q=ai:speranski.stanislav-o
https://mathscinet.ams.org/mathscinet/MRAuthorID/958860
https://orcid.org/0000-0001-6386-5632
https://www.webofscience.com/wos/author/record/L-2043-2016
https://www.scopus.com/authid/detail.url?authorId=55532074400
https://www.researchgate.net/profile/Stanislav_Speranski

Список публикаций:
| научные публикации | по годам | по типам | по числу цит. | общий список |


Цитирования (Crossref Cited-By Service + Math-Net.Ru)

   2024
1. А. В. Грефенштейн, С. О. Сперанский, “О кванторной версии модальной логики Белнапа–Данна”, Матем. сб., 215:3 (2024), 37–69  mathnet  crossref  mathscinet  isi; A. V. Grefenshtein, S. O. Speranski, “On the quantified version of the Belnap–Dunn modal logic”, Sb. Math., 215:3 (2024), 323–354  crossref  mathscinet  isi  scopus
2. Stanislav O. Speranski, “An ‘elementary’ perspective on reasoning about probability spaces”, Log. J. IGPL, 2024, 1–23 (Published online)  mathnet  crossref  isi; (Published online)
3. Stepan L. Kuznetsov, Tikhon Pshenitsyn, Stanislav O. Speranski, Reasoning from hypotheses in $\ast$-continuous action lattices, 2024 , 41 pp., arXiv: 2408.02118
4. Stanislav O. Speranski, “Sharpening complexity results in quantified probability logic”, Log. J. IGPL, 2024, 1–21 (to appear)  crossref
5. С. О. Сперанский, Теория внутренних множеств: Аксиоматический подход к нестандартному анализу, Лекции летней школы «Современная математика», Издательство МЦНМО, Москва, 2024 , 32 с. препринт  mathnet

   2023
6. Stepan L. Kuznetsov, Stanislav O. Speranski, “Infinitary action logic with multiplexing”, Studia Logica, 111:2 (2023), 251–280  mathnet  crossref  mathscinet  zmath  isi  scopus 3
7. С. О. Сперанский, “Элементарные инварианты для кванторной вероятностной логики”, Докл. РАН. Матем., информ., проц. упр., 510 (2023), 8–12  mathnet  crossref  mathscinet  zmath  elib; S. O. Speranski, “Elementary invariants for quantified probability logic”, Doklady Mathematics, 107 (2023), 93–96  crossref  mathscinet  zmath  isi  scopus

   2022
8. Stepan L. Kuznetsov, Stanislav O. Speranski, “Infinitary action logic with exponentiation”, Annals of Pure and Applied Logic, 173:2 (2022), 103057 , 29 pp., arXiv: 2001.06863  mathnet  crossref  mathscinet  zmath  isi  elib  scopus 7
9. С. О. Сперанский, Ф. Н. Пахомов, “Об отношении взаимной простоты с точки зрения монадической логики второго порядка”, Изв. РАН. Сер. матем., 86:6 (2022), 207–222  mathnet  crossref  mathscinet  zmath  adsnasa  isi  elib; S. O. Speranski, F. N. Pakhomov, “On the coprimeness relation from the viewpoint of monadic second-order logic”, Izv. Math., 86:6 (2022), 1225–1239  crossref  mathscinet  zmath  adsnasa  isi  scopus
10. S. O. Speranski, “Some remarks on Došen's logic N and its extensions”, Сиб. электрон. матем. изв., 19:2 (2022), 562–577  mathnet  crossref  mathscinet  isi  elib  scopus

   2021
11. Stanislav O. Speranski, “Negation as a modality in a quantified setting”, Journal of Logic and Computation, 31:5 (2021), 1330–1355  mathnet  crossref  mathscinet  zmath  isi  elib  scopus 4
12. С. О. Сперанский, “О модальной логике бирешёток и её расширениях”, Алгебра и логика, 60:6 (2021), 612–635  mathnet  crossref  mathscinet  zmath  elib; S. O. Speranski, “Modal bilattice logic and its extensions”, Algebra and Logic, 60:6 (2022), 407–424  crossref  mathscinet  zmath  isi  elib  scopus 2

   2020
13. Sergei P. Odintsov, Stanislav O. Speranski, “Belnap–Dunn modal logics: truth constants vs. truth values”, Review of Symbolic Logic, 13:2 (2020), 416–435  mathnet  crossref  mathscinet  zmath  isi  elib  scopus 9

   2019
14. Leon Horsten, Stanislav O. Speranski, “Reasoning about arbitrary natural numbers from a Carnapian perspective”, Journal of Philosophical Logic, 48:4 (2019), 685–707  crossref  mathscinet  zmath  isi  elib  scopus 2

   2018
15. Sergei P. Odintsov, Stanislav O. Speranski, Igor Yu. Shevchenko, “Hintikka's independence-friendly logic meets Nelson's realizability”, Studia Logica, 106:3 (2018), 637–670  crossref  mathscinet  zmath  isi  elib  scopus 1

   2017
16. Stanislav O. Speranski, “Quantifying over events in probability logic: an introduction”, Mathematical Structures in Computer Science, 27:8 (2017), 1581–1600  crossref  mathscinet  zmath  isi  scopus 5
17. Stanislav O. Speranski, “Notes on the computational aspects of Kripkes theory of truth”, Studia Logica, 105:2 (2017), 407–429  crossref  mathscinet  zmath  isi  elib  scopus 2

   2016
18. Stanislav O. Speranski, “A note on hereditarily $\Pi^0_1$- and $\Sigma^0_1$-complete sets of sentences”, Journal of Logic and Computation, 26:5 (2016), 1729–1741  crossref  mathscinet  zmath  isi  scopus 5
19. Sergei P. Odintsov, Stanislav O. Speranski, “The lattice of Belnapian modal logics: special extensions and counterparts”, Logic and Logical Philosophy, 25:1 (2016), 3–33  crossref  mathscinet  zmath  isi  scopus 5

   2015
20. Stanislav O. Speranski, “Some new results in monadic second-order arithmetic”, Computability, 4:2 (2015), 159–174  crossref  mathscinet  zmath  isi  elib  scopus 4

   2013
21. Stanislav O. Speranski, “A note on definability in fragments of arithmetic with free unary predicates”, Archive for Mathematical Logic, 52:5–6 (2013), 507–516  crossref  mathscinet  zmath  isi  scopus 10
22. С. О. Сперанский, “О схлопывании вероятностных иерархий. I”, Алгебра и логика, 52:2 (2013), 236–254  mathnet  mathscinet  zmath  isi; S. O. Speranskii, “Collapsing probabilistic hierarchies. I”, Algebra and Logic, 52:2 (2013), 159–171  crossref  mathscinet  zmath  isi  scopus 1
23. S. O. Speranski, “On Belnapian modal algebras: representations, homomorphisms, congruences, and so on”, Сиб. электрон. матем. изв., 10 (2013), 517–534  mathnet  crossref  mathscinet  zmath  isi  scopus 2
24. Stanislav O. Speranski, “Complexity for probability logic with quantifiers over propositions”, Journal of Logic and Computation, 23:5 (2013), 1035–1055  crossref  mathscinet  zmath  isi  scopus 7
25. S. P. Odintsov, S. O. Speranski, “Computability issues for adaptive logics in multi-consequence standard format”, Studia Logica, 101:6 (2013), 1237–1262  crossref  mathscinet  zmath  isi  elib  scopus 7

   2012
26. Sergei P. Odintsov, Stanislav O. Speranski, “On algorithmic properties of propositional inconsistency-adaptive logics”, Logic and Logical Philosophy, 21:3 (2012), 209–228  crossref  mathscinet  zmath  isi  scopus 2

   2011
27. С. О. Сперанский, “Квантификация по пропозициональным формулам в вероятностной логике: вопросы разрешимости”, Алгебра и логика, 50:4 (2011), 533–546  mathnet  mathscinet  zmath  isi; S. O. Speranski, “Quantification over propositional formulas in probability logic: decidability issues”, Algebra and Logic, 50:4 (2011), 365–374  crossref  mathscinet  zmath  isi  scopus 5
28. С. О. Сперанский, “О вычислительных аспектах максимальной специфичности в вероятностном объяснении”, Вестн. НГУ. Сер. матем., мех., информ., 11:4 (2011), 78–93  mathnet
29. С. О. Сперанский, “О логической непротиворечивости вероятностных предсказаний”, Вестн. НГУ. Сер. матем., мех., информ., 11:1 (2011), 99–115  mathnet 1

Доклады и лекции в базе данных Math-Net.Ru
1. Лекция 5. Универсальная алгебра и алгебраическая логика
С. О. Сперанский
Курс С. О. Сперанского "Универсальная алгебра и алгебраическая логика"
8 октября 2024 г. 16:20   
2. Лекция 4. Универсальная алгебра и алгебраическая логика
С. О. Сперанский
Курс С. О. Сперанского "Универсальная алгебра и алгебраическая логика"
1 октября 2024 г. 16:20   
3. Лекция 3. Универсальная алгебра и алгебраическая логика
С. О. Сперанский
Курс С. О. Сперанского "Универсальная алгебра и алгебраическая логика"
24 сентября 2024 г. 16:20   
4. Лекция 2. Универсальная алгебра и алгебраическая логика
С. О. Сперанский
Курс С. О. Сперанского "Универсальная алгебра и алгебраическая логика"
17 сентября 2024 г. 16:20   
5. Лекция 1. Универсальная алгебра и алгебраическая логика
С. О. Сперанский
Курс С. О. Сперанского "Универсальная алгебра и алгебраическая логика"
10 сентября 2024 г. 16:20   
6. Разрешающая процедура для теории вещественно замкнутых полей. Семинар 4
С. О. Сперанский
Летняя школа «Современная математика» имени Виталия Арнольда, 2024
29 июля 2024 г. 11:15   
7. Разрешающая процедура для теории вещественно замкнутых полей. Семинар 3
С. О. Сперанский
Летняя школа «Современная математика» имени Виталия Арнольда, 2024
27 июля 2024 г. 09:30   
8. Разрешающая процедура для теории вещественно замкнутых полей. Семинар 2
С. О. Сперанский
Летняя школа «Современная математика» имени Виталия Арнольда, 2024
26 июля 2024 г. 11:15   
9. Разрешающая процедура для теории вещественно замкнутых полей. Семинар 1
С. О. Сперанский
Летняя школа «Современная математика» имени Виталия Арнольда, 2024
23 июля 2024 г. 17:15   
10. О разрешимых фрагментах некоторых логических систем
С. Л. Кузнецов, С. О. Сперанский
Семинар С. Л. Кузнецова и С. О. Сперанского "Вероятностные и субструктурные логические системы"
22 мая 2024 г. 18:15
11. Лекция 13. Разрешимые и неразрешимые теории
С. О. Сперанский
Курс С. О. Сперанского "Разрешимые и неразрешимые теории"
8 мая 2024 г. 10:00   
12. Лекция 12. Разрешимые и неразрешимые теории
С. О. Сперанский
Курс С. О. Сперанского "Разрешимые и неразрешимые теории"
3 мая 2024 г. 10:00   
13. Лекция 12. Введение в неклассические логики
С. О. Сперанский
Введение в неклассические логики
2 мая 2024 г. 10:00   
14. Лекция 11. Разрешимые и неразрешимые теории
С. О. Сперанский
Курс С. О. Сперанского "Разрешимые и неразрешимые теории"
22 апреля 2024 г. 16:00   
15. Лекция 11. Введение в неклассические логики
С. О. Сперанский
Введение в неклассические логики
22 апреля 2024 г. 09:00   
16. Лекция 10. Разрешимые и неразрешимые теории
С. О. Сперанский
Курс С. О. Сперанского "Разрешимые и неразрешимые теории"
17 апреля 2024 г. 16:20   
17. Лекция 10. Введение в неклассические логики
С. О. Сперанский
Введение в неклассические логики
17 апреля 2024 г. 10:00   
18. Лекция 9. Разрешимые и неразрешимые теории
С. О. Сперанский
Курс С. О. Сперанского "Разрешимые и неразрешимые теории"
10 апреля 2024 г. 16:20   
19. Лекция 9. Введение в неклассические логики
С. О. Сперанский
Введение в неклассические логики
10 апреля 2024 г. 10:00   
20. Лекция 8. Разрешимые и неразрешимые теории
С. О. Сперанский
Курс С. О. Сперанского "Разрешимые и неразрешимые теории"
3 апреля 2024 г. 16:20   
21. Лекция 8. Введение в неклассические логики
С. О. Сперанский
Введение в неклассические логики
3 апреля 2024 г. 10:00   
22. Лекция 7. Разрешимые и неразрешимые теории
С. О. Сперанский
Курс С. О. Сперанского "Разрешимые и неразрешимые теории"
27 марта 2024 г. 16:20   
23. Лекция 7. Введение в неклассические логики
С. О. Сперанский
Введение в неклассические логики
27 марта 2024 г. 10:00   
24. Об элементарной теории безатомных вероятностных пространств
С. О. Сперанский
Семинары отдела математической логики "Теория доказательств" и "Logic Online Seminar"
25 марта 2024 г. 18:30   
25. Лекция 6. Разрешимые и неразрешимые теории
С. О. Сперанский
Курс С. О. Сперанского "Разрешимые и неразрешимые теории"
20 марта 2024 г. 16:20   
26. Лекция 6. Введение в неклассические логики
С. О. Сперанский
Введение в неклассические логики
20 марта 2024 г. 10:00   
27. Лекция 5. Разрешимые и неразрешимые теории
С. О. Сперанский
Курс С. О. Сперанского "Разрешимые и неразрешимые теории"
13 марта 2024 г. 16:20   
28. Лекция 5. Введение в неклассические логики
С. О. Сперанский
Введение в неклассические логики
13 марта 2024 г. 10:00   
29. Лекция 4. Разрешимые и неразрешимые теории
С. О. Сперанский
Курс С. О. Сперанского "Разрешимые и неразрешимые теории"
6 марта 2024 г. 16:20   
30. Лекция 4. Введение в неклассические логики
С. О. Сперанский
Введение в неклассические логики
6 марта 2024 г. 10:00   
31. Лекция 3. Разрешимые и неразрешимые теории
С. О. Сперанский
Курс С. О. Сперанского "Разрешимые и неразрешимые теории"
28 февраля 2024 г. 16:20   
32. Лекция 3. Введение в неклассические логики
С. О. Сперанский
Введение в неклассические логики
28 февраля 2024 г. 10:00   
33. Лекция 2. Разрешимые и неразрешимые теории
С. О. Сперанский
Курс С. О. Сперанского "Разрешимые и неразрешимые теории"
21 февраля 2024 г. 16:20   
34. Лекция 2. Введение в неклассические логики
С. О. Сперанский
Введение в неклассические логики
21 февраля 2024 г. 10:00   
35. Первопорядковые вероятностные логики Хальперна
С. О. Сперанский
Семинар С. Л. Кузнецова и С. О. Сперанского "Вероятностные и субструктурные логические системы"
14 февраля 2024 г. 18:15
36. Лекция 1. Разрешимые и неразрешимые теории
С. О. Сперанский
Курс С. О. Сперанского "Разрешимые и неразрешимые теории"
14 февраля 2024 г. 16:20   
37. Лекция 1. Введение в неклассические логики
С. О. Сперанский
Введение в неклассические логики
14 февраля 2024 г. 10:00   
38. Лекция 11. Основы теории множеств
С. О. Сперанский
Основы теории множеств
27 ноября 2023 г. 16:50   
39. Лекция 10. Основы теории множеств
С. О. Сперанский
Основы теории множеств
20 ноября 2023 г. 16:50   
40. Лекция 9. Основы теории множеств
С. О. Сперанский
Основы теории множеств
13 ноября 2023 г. 16:50   
41. Лекция 8. Основы теории множеств
С. О. Сперанский
Основы теории множеств
30 октября 2023 г. 18:30   
42. Лекция 7. Основы теории множеств
С. О. Сперанский
Основы теории множеств
30 октября 2023 г. 16:50   
43. Лекция 6. Основы теории множеств
С. О. Сперанский
Основы теории множеств
23 октября 2023 г. 16:50   
44. Лекция 5. Основы теории множеств
С. О. Сперанский
Основы теории множеств
7 октября 2023 г. 10:50   
45. Лекция 4. Основы теории множеств
С. О. Сперанский
Основы теории множеств
2 октября 2023 г. 16:50   
46. Лекция 3. Основы теории множеств
С. О. Сперанский
Основы теории множеств
25 сентября 2023 г. 16:50   
47. Лекция 2. Основы теории множеств
С. О. Сперанский
Основы теории множеств
18 сентября 2023 г. 16:50   
48. Лекция 1. Основы теории множеств
С. О. Сперанский
Основы теории множеств
11 сентября 2023 г. 16:50   
49. Теория внутренних множеств — аксиоматический подход к нестандартному анализу. Семинар 4
С. О. Сперанский
Летняя школа «Современная математика» имени Виталия Арнольда, 2023
24 июля 2023 г. 09:30   
50. Теория внутренних множеств — аксиоматический подход к нестандартному анализу. Семинар 3
С. О. Сперанский
Летняя школа «Современная математика» имени Виталия Арнольда, 2023
22 июля 2023 г. 15:30   
51. Теория внутренних множеств — аксиоматический подход к нестандартному анализу. Семинар 2
С. О. Сперанский
Летняя школа «Современная математика» имени Виталия Арнольда, 2023
20 июля 2023 г. 09:30   
52. Теория внутренних множеств — аксиоматический подход к нестандартному анализу. Семинар 1
С. О. Сперанский
Летняя школа «Современная математика» имени Виталия Арнольда, 2023
19 июля 2023 г. 11:15   
53. Лекция 11. Нестандартные модели арифметики и анализа
С. О. Сперанский
Курс С. О. Сперанского "Нестандартные модели арифметики и анализа"
24 апреля 2023 г. 16:30   
54. Лекция 10. Нестандартные модели арифметики и анализа
С. О. Сперанский
Курс С. О. Сперанского "Нестандартные модели арифметики и анализа"
17 апреля 2023 г. 16:30   
55. Лекция 9. Нестандартные модели арифметики и анализа
С. О. Сперанский
Курс С. О. Сперанского "Нестандартные модели арифметики и анализа"
10 апреля 2023 г. 16:30   
56. Лекция 8. Нестандартные модели арифметики и анализа
С. О. Сперанский
Курс С. О. Сперанского "Нестандартные модели арифметики и анализа"
3 апреля 2023 г. 16:30   
57. Лекция 7. Нестандартные модели арифметики и анализа
С. О. Сперанский
Курс С. О. Сперанского "Нестандартные модели арифметики и анализа"
27 марта 2023 г. 16:30   
58. Лекция 6. Нестандартные модели арифметики и анализа
С. О. Сперанский
Курс С. О. Сперанского "Нестандартные модели арифметики и анализа"
20 марта 2023 г. 16:30   
59. Лекция 5. Нестандартные модели арифметики и анализа
С. О. Сперанский
Курс С. О. Сперанского "Нестандартные модели арифметики и анализа"
13 марта 2023 г. 16:30   
60. Лекция 4. Нестандартные модели арифметики и анализа
С. О. Сперанский
Курс С. О. Сперанского "Нестандартные модели арифметики и анализа"
6 марта 2023 г. 16:30   
61. Лекция 3. Нестандартные модели арифметики и анализа
С. О. Сперанский
Курс С. О. Сперанского "Нестандартные модели арифметики и анализа"
27 февраля 2023 г. 16:30   
62. Лекция 2. Нестандартные модели арифметики и анализа
С. О. Сперанский
Курс С. О. Сперанского "Нестандартные модели арифметики и анализа"
20 февраля 2023 г. 16:30   
63. Лекция 1. Нестандартные модели арифметики и анализа
С. О. Сперанский
Курс С. О. Сперанского "Нестандартные модели арифметики и анализа"
13 февраля 2023 г. 16:30   
64. Инфинитарная логика действий с экспоненциальными модальностями
С. Л. Кузнецов, С. О. Сперанский
Научная сессия МИАН, посвященная подведению итогов 2022 года
23 ноября 2022 г. 11:40   
65. Лекция 11. Основы теории множеств
С. О. Сперанский
Основы теории множеств
21 ноября 2022 г. 16:25   
66. Лекция 10. Основы теории множеств
С. О. Сперанский
Основы теории множеств
14 ноября 2022 г. 16:25   
67. Лекция 9. Основы теории множеств
С. О. Сперанский
Основы теории множеств
7 ноября 2022 г. 16:25   
68. Лекция 8. Основы теории множеств
С. О. Сперанский
Основы теории множеств
31 октября 2022 г. 16:25   
69. Complexity for Kripke’s theory of truth
Stanislav Speranski
Fourth Workshop on Digitalization and Computable Models (WDCM-2022)
26 октября 2022 г. 10:00   
70. Лекция 7. Основы теории множеств
С. О. Сперанский
Основы теории множеств
24 октября 2022 г. 16:25   
71. Лекция 6. Основы теории множеств
С. О. Сперанский
Основы теории множеств
17 октября 2022 г. 16:25   
72. Лекция 5. Основы теории множеств
С. О. Сперанский
Основы теории множеств
10 октября 2022 г. 16:25   
73. Лекция 4. Основы теории множеств
С. О. Сперанский
Основы теории множеств
3 октября 2022 г. 16:25   
74. Лекция 3. Основы теории множеств
С. О. Сперанский
Основы теории множеств
26 сентября 2022 г. 16:25   
75. Лекция 2. Основы теории множеств
С. О. Сперанский
Основы теории множеств
19 сентября 2022 г. 16:25   
76. Семинар 1: Вводный доклад
С. О. Сперанский
Семинар С. Л. Кузнецова и С. О. Сперанского "Неклассические логики"
14 сентября 2022 г. 18:00   
77. Лекция 1. Основы теории множеств
С. О. Сперанский
Основы теории множеств
12 сентября 2022 г. 16:25   
78. Лекция 12: Гейтинговы алгебры
С. О. Сперанский
Структурная теория доказательств и алгебраическая логика
27 апреля 2022 г. 13:10   
79. Лекция 11: Модальные алгебры
С. О. Сперанский
Структурная теория доказательств и алгебраическая логика
25 апреля 2022 г. 14:45   
80. Лекция 10: Краткий экскурс в неклассические логики
С. О. Сперанский
Структурная теория доказательств и алгебраическая логика
18 апреля 2022 г. 14:45   
81. Лекция 9: Ультрафильтры и дуальность Стоуна
С. О. Сперанский
Структурная теория доказательств и алгебраическая логика
11 апреля 2022 г. 14:45   
82. Лекция 8: Представление булевых алгебр. Фильтры
С. О. Сперанский
Структурная теория доказательств и алгебраическая логика
4 апреля 2022 г. 14:45   
83. Лекция 7: Булевы алгебры и булевы кольца
С. О. Сперанский
Структурная теория доказательств и алгебраическая логика
28 марта 2022 г. 14:45   
84. Лекция 6: Решётки
С. О. Сперанский
Структурная теория доказательств и алгебраическая логика
21 марта 2022 г. 14:45   
85. Лекция 5: Ультрапроизведения структур и теорема Лося
С. О. Сперанский
Структурная теория доказательств и алгебраическая логика
14 марта 2022 г. 14:45   
86. Лекция 4: Свободные алгебры. Теорема Биркхоффа о многообразиях
С. О. Сперанский
Структурная теория доказательств и алгебраическая логика
28 февраля 2022 г. 14:45   
87. Лекция 3: Прямые произведения. Прямые и подпрямые разложения
С. О. Сперанский
Структурная теория доказательств и алгебраическая логика
21 февраля 2022 г. 14:45   
88. Лекция 2: Гомоморфизмы, подалгебры и конгруэнции. Теорема о гомоморфизме
С. О. Сперанский
Структурная теория доказательств и алгебраическая логика
14 февраля 2022 г. 14:45   
89. Лекция 1: Краткий экскурс в классическую логику первого порядка
С. О. Сперанский
Структурная теория доказательств и алгебраическая логика
7 февраля 2022 г. 14:45   
90. Monadic second-order definability in weak arithmetics
С. О. Сперанский
Конференция международных математических центров мирового уровня
10 августа 2021 г. 15:20   
91. Infinitary action logic with exponentiation
S. L. Kuznetsov, S. O. Speranski
Logical Perspectives 2021: Summer School and Workshop
18 июня 2021 г. 12:30   
92. A Computational Perspective on Reasoning about Probability Spaces
S. Speranski
SIMC Welcomes Postdocs-2020
23 апреля 2021 г. 11:00   
93. Лекция 8. Основные понятия теории множеств
С. О. Сперанский
Основные понятия теории множеств
20 октября 2020 г.   
94. Лекция 7. Основные понятия теории множеств
С. О. Сперанский
Основные понятия теории множеств
14 октября 2020 г.   
95. Лекция 6. Основные понятия теории множеств
С. О. Сперанский
Основные понятия теории множеств
13 октября 2020 г.   
96. Лекция 5. Основные понятия теории множеств
С. О. Сперанский
Основные понятия теории множеств
6 октября 2020 г.   
97. Лекция 4. Основные понятия теории множеств
С. О. Сперанский
Основные понятия теории множеств
29 сентября 2020 г.   
98. Лекция 3. Основные понятия теории множеств
С. О. Сперанский
Основные понятия теории множеств
22 сентября 2020 г.   
99. Лекция 2. Основные понятия теории множеств
С. О. Сперанский
Основные понятия теории множеств
15 сентября 2020 г.   
100. Лекция 1. Основные понятия теории множеств
С. О. Сперанский
Основные понятия теории множеств
8 сентября 2020 г.   
101. Лекция 14. Математическая логика
С. О. Сперанский
Математическая логика
14 мая 2020 г.   
102. Лекция 13. Математическая логика
С. О. Сперанский
Математическая логика
7 мая 2020 г.   
103. Лекция 12. Математическая логика
С. О. Сперанский
Математическая логика
30 апреля 2020 г.   
104. Лекция 11. Математическая логика
С. О. Сперанский
Математическая логика
23 апреля 2020 г.   
105. Negation as a modality in a quantified setting
S. O. Speranski
Семинары отдела математической логики "Теория доказательств" и "Logic Online Seminar"
20 апреля 2020 г. 18:30   
106. Лекция 10. Математическая логика
С. О. Сперанский
Математическая логика
16 апреля 2020 г.   
107. Лекция 9. Математическая логика
С. О. Сперанский
Математическая логика
9 апреля 2020 г.   
108. Лекция 8. Математическая логика
С. О. Сперанский
Математическая логика
2 апреля 2020 г.   
109. Лекция 7. Математическая логика
С. О. Сперанский
Математическая логика
26 марта 2020 г.   
110. Лекция 6. Математическая логика
С. О. Сперанский
Математическая логика
19 марта 2020 г.   
111. Лекция 5. Математическая логика
С. О. Сперанский
Математическая логика
12 марта 2020 г.
112. Лекция 4. Математическая логика
С. О. Сперанский
Математическая логика
5 марта 2020 г.
113. Лекция 3. Математическая логика
С. О. Сперанский
Математическая логика
27 февраля 2020 г.
114. Лекция 2. Математическая логика
С. О. Сперанский
Математическая логика
20 февраля 2020 г.
115. Лекция 1. Математическая логика
С. О. Сперанский
Математическая логика
13 февраля 2020 г.
116. Об истинностных значениях и логических константах в модальных логиках Белнапа–Данна
С. О. Сперанский
Традиционная зимняя сессия МИАН–ПОМИ, посвященная теме «Математическая логика»
25 декабря 2018 г. 16:00   
117. On the computational aspects of Kripke's theory of truth
S. Speranski
Workshop on Proof Theory, Modal Logic and Reflection Principles
18 октября 2017 г. 15:35   
118. О вычислительных аспектах теории истины по Крипке
С. О. Сперанский
Семинары отдела математической логики "Теория доказательств" и "Logic Online Seminar"
10 апреля 2017 г. 18:30
119. Некоторые новые результаты в монадической арифметике второго порядка
С. О. Сперанский
Семинары отдела математической логики "Теория доказательств" и "Logic Online Seminar"
7 сентября 2015 г. 18:30

Организации
 
  Обратная связь:
 Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2024