Доклады и лекции в базе данных Math-Net.Ru
Лекция 12. Универсальная алгебра и алгебраическая логика Курс С. О. Сперанского "Универсальная алгебра и алгебраическая логика" 3 декабря 2024 г. 16:20
Лекция 11. Универсальная алгебра и алгебраическая логика Курс С. О. Сперанского "Универсальная алгебра и алгебраическая логика" 26 ноября 2024 г. 16:20
Элементарные теории классов вероятностных пространств Научная сессия МИАН, посвященная подведению итогов 2024 года 20 ноября 2024 г.
Лекция 10. Универсальная алгебра и алгебраическая логика Курс С. О. Сперанского "Универсальная алгебра и алгебраическая логика" 19 ноября 2024 г. 16:20
Лекция 9. Универсальная алгебра и алгебраическая логика Курс С. О. Сперанского "Универсальная алгебра и алгебраическая логика" 12 ноября 2024 г.
Лекция 8. Универсальная алгебра и алгебраическая логика Курс С. О. Сперанского "Универсальная алгебра и алгебраическая логика" 29 октября 2024 г. 16:20
Лекция 7. Универсальная алгебра и алгебраическая логика Курс С. О. Сперанского "Универсальная алгебра и алгебраическая логика" 16 октября 2024 г. 18:00
Лекция 6. Универсальная алгебра и алгебраическая логика Курс С. О. Сперанского "Универсальная алгебра и алгебраическая логика" 15 октября 2024 г. 16:20
Лекция 5. Универсальная алгебра и алгебраическая логика Курс С. О. Сперанского "Универсальная алгебра и алгебраическая логика" 8 октября 2024 г. 16:20
Лекция 4. Универсальная алгебра и алгебраическая логика Курс С. О. Сперанского "Универсальная алгебра и алгебраическая логика" 1 октября 2024 г. 16:20
Лекция 3. Универсальная алгебра и алгебраическая логика Курс С. О. Сперанского "Универсальная алгебра и алгебраическая логика" 24 сентября 2024 г. 16:20
Лекция 2. Универсальная алгебра и алгебраическая логика Курс С. О. Сперанского "Универсальная алгебра и алгебраическая логика" 17 сентября 2024 г. 16:20
Лекция 1. Универсальная алгебра и алгебраическая логика Курс С. О. Сперанского "Универсальная алгебра и алгебраическая логика" 10 сентября 2024 г. 16:20
Разрешающая процедура для теории вещественно замкнутых полей. Семинар 4 Летняя школа «Современная математика» имени Виталия Арнольда, 2024 29 июля 2024 г.
Разрешающая процедура для теории вещественно замкнутых полей. Семинар 3 Летняя школа «Современная математика» имени Виталия Арнольда, 2024 27 июля 2024 г.
Разрешающая процедура для теории вещественно замкнутых полей. Семинар 2 Летняя школа «Современная математика» имени Виталия Арнольда, 2024 26 июля 2024 г.
Разрешающая процедура для теории вещественно замкнутых полей. Семинар 1 Летняя школа «Современная математика» имени Виталия Арнольда, 2024 23 июля 2024 г.
О разрешимых фрагментах некоторых логических систем Семинар С. Л. Кузнецова и С. О. Сперанского "Вероятностные и субструктурные логические системы" 22 мая 2024 г.
Лекция 13. Разрешимые и неразрешимые теории Курс С. О. Сперанского "Разрешимые и неразрешимые теории" 8 мая 2024 г. 10:00
Лекция 12. Разрешимые и неразрешимые теории Курс С. О. Сперанского "Разрешимые и неразрешимые теории" 3 мая 2024 г. 10:00
Лекция 12. Введение в неклассические логики Введение в неклассические логики 2 мая 2024 г.
Лекция 11. Разрешимые и неразрешимые теории Курс С. О. Сперанского "Разрешимые и неразрешимые теории" 22 апреля 2024 г.
Лекция 11. Введение в неклассические логики Введение в неклассические логики 22 апреля 2024 г.
Лекция 10. Разрешимые и неразрешимые теории Курс С. О. Сперанского "Разрешимые и неразрешимые теории" 17 апреля 2024 г. 16:20
Лекция 10. Введение в неклассические логики Введение в неклассические логики 17 апреля 2024 г.
Лекция 9. Разрешимые и неразрешимые теории Курс С. О. Сперанского "Разрешимые и неразрешимые теории" 10 апреля 2024 г. 16:20
Лекция 9. Введение в неклассические логики Введение в неклассические логики 10 апреля 2024 г.
Лекция 8. Разрешимые и неразрешимые теории Курс С. О. Сперанского "Разрешимые и неразрешимые теории" 3 апреля 2024 г. 16:20
Лекция 8. Введение в неклассические логики Введение в неклассические логики 3 апреля 2024 г.
Лекция 7. Разрешимые и неразрешимые теории Курс С. О. Сперанского "Разрешимые и неразрешимые теории" 27 марта 2024 г. 16:20
Лекция 7. Введение в неклассические логики Введение в неклассические логики 27 марта 2024 г.
Об элементарной теории безатомных вероятностных пространств Семинары отдела математической логики "Теория доказательств" и "Logic Online Seminar" 25 марта 2024 г. 18:30
Лекция 6. Разрешимые и неразрешимые теории Курс С. О. Сперанского "Разрешимые и неразрешимые теории" 20 марта 2024 г. 16:20
Лекция 6. Введение в неклассические логики Введение в неклассические логики 20 марта 2024 г.
Лекция 5. Разрешимые и неразрешимые теории Курс С. О. Сперанского "Разрешимые и неразрешимые теории" 13 марта 2024 г. 16:20
Лекция 5. Введение в неклассические логики Введение в неклассические логики 13 марта 2024 г.
Лекция 4. Разрешимые и неразрешимые теории Курс С. О. Сперанского "Разрешимые и неразрешимые теории" 6 марта 2024 г. 16:20
Лекция 4. Введение в неклассические логики Введение в неклассические логики 6 марта 2024 г.
Лекция 3. Разрешимые и неразрешимые теории Курс С. О. Сперанского "Разрешимые и неразрешимые теории" 28 февраля 2024 г. 16:20
Лекция 3. Введение в неклассические логики Введение в неклассические логики 28 февраля 2024 г.
Лекция 2. Разрешимые и неразрешимые теории Курс С. О. Сперанского "Разрешимые и неразрешимые теории" 21 февраля 2024 г. 16:20
Лекция 2. Введение в неклассические логики Введение в неклассические логики 21 февраля 2024 г.
Первопорядковые вероятностные логики Хальперна Семинар С. Л. Кузнецова и С. О. Сперанского "Вероятностные и субструктурные логические системы" 14 февраля 2024 г. 18:15
Лекция 1. Разрешимые и неразрешимые теории Курс С. О. Сперанского "Разрешимые и неразрешимые теории" 14 февраля 2024 г. 16:20
Лекция 1. Введение в неклассические логики Введение в неклассические логики 14 февраля 2024 г.
Лекция 11. Основы теории множеств Основы теории множеств 27 ноября 2023 г.
Лекция 10. Основы теории множеств Основы теории множеств 20 ноября 2023 г.
Лекция 9. Основы теории множеств Основы теории множеств 13 ноября 2023 г.
Лекция 8. Основы теории множеств Основы теории множеств 30 октября 2023 г.
Лекция 7. Основы теории множеств Основы теории множеств 30 октября 2023 г.
Лекция 6. Основы теории множеств Основы теории множеств 23 октября 2023 г.
Лекция 5. Основы теории множеств Основы теории множеств 7 октября 2023 г.
Лекция 4. Основы теории множеств Основы теории множеств 2 октября 2023 г.
Лекция 3. Основы теории множеств Основы теории множеств 25 сентября 2023 г.
Лекция 2. Основы теории множеств Основы теории множеств 18 сентября 2023 г.
Лекция 1. Основы теории множеств Основы теории множеств 11 сентября 2023 г.
Теория внутренних множеств — аксиоматический подход к нестандартному анализу. Семинар 4 Летняя школа «Современная математика» имени Виталия Арнольда, 2023 24 июля 2023 г.
Теория внутренних множеств — аксиоматический подход к нестандартному анализу. Семинар 3 Летняя школа «Современная математика» имени Виталия Арнольда, 2023 22 июля 2023 г.
Теория внутренних множеств — аксиоматический подход к нестандартному анализу. Семинар 2 Летняя школа «Современная математика» имени Виталия Арнольда, 2023 20 июля 2023 г.
Теория внутренних множеств — аксиоматический подход к нестандартному анализу. Семинар 1 Летняя школа «Современная математика» имени Виталия Арнольда, 2023 19 июля 2023 г.
Лекция 11. Нестандартные модели арифметики и анализа Курс С. О. Сперанского "Нестандартные модели арифметики и анализа" 24 апреля 2023 г. 16:30
Лекция 10. Нестандартные модели арифметики и анализа Курс С. О. Сперанского "Нестандартные модели арифметики и анализа" 17 апреля 2023 г. 16:30
Лекция 9. Нестандартные модели арифметики и анализа Курс С. О. Сперанского "Нестандартные модели арифметики и анализа" 10 апреля 2023 г. 16:30
Лекция 8. Нестандартные модели арифметики и анализа Курс С. О. Сперанского "Нестандартные модели арифметики и анализа" 3 апреля 2023 г. 16:30
Лекция 7. Нестандартные модели арифметики и анализа Курс С. О. Сперанского "Нестандартные модели арифметики и анализа" 27 марта 2023 г. 16:30
Лекция 6. Нестандартные модели арифметики и анализа Курс С. О. Сперанского "Нестандартные модели арифметики и анализа" 20 марта 2023 г. 16:30
Лекция 5. Нестандартные модели арифметики и анализа Курс С. О. Сперанского "Нестандартные модели арифметики и анализа" 13 марта 2023 г. 16:30
Лекция 4. Нестандартные модели арифметики и анализа Курс С. О. Сперанского "Нестандартные модели арифметики и анализа" 6 марта 2023 г. 16:30
Лекция 3. Нестандартные модели арифметики и анализа Курс С. О. Сперанского "Нестандартные модели арифметики и анализа" 27 февраля 2023 г. 16:30
Лекция 2. Нестандартные модели арифметики и анализа Курс С. О. Сперанского "Нестандартные модели арифметики и анализа" 20 февраля 2023 г. 16:30
Лекция 1. Нестандартные модели арифметики и анализа Курс С. О. Сперанского "Нестандартные модели арифметики и анализа" 13 февраля 2023 г. 16:30
Инфинитарная логика действий с экспоненциальными модальностями Научная сессия МИАН, посвященная подведению итогов 2022 года 23 ноября 2022 г.
Лекция 11. Основы теории множеств Основы теории множеств 21 ноября 2022 г.
Лекция 10. Основы теории множеств Основы теории множеств 14 ноября 2022 г.
Лекция 9. Основы теории множеств Основы теории множеств 7 ноября 2022 г.
Лекция 8. Основы теории множеств Основы теории множеств 31 октября 2022 г.
Complexity for Kripke’s theory of truth Fourth Workshop on Digitalization and Computable Models (WDCM-2022) 26 октября 2022 г.
Лекция 7. Основы теории множеств Основы теории множеств 24 октября 2022 г.
Лекция 6. Основы теории множеств Основы теории множеств 17 октября 2022 г.
Лекция 5. Основы теории множеств Основы теории множеств 10 октября 2022 г.
Лекция 4. Основы теории множеств Основы теории множеств 3 октября 2022 г.
Лекция 3. Основы теории множеств Основы теории множеств 26 сентября 2022 г.
Лекция 2. Основы теории множеств Основы теории множеств 19 сентября 2022 г.
Семинар 1: Вводный доклад Семинар С. Л. Кузнецова и С. О. Сперанского "Неклассические логики" 14 сентября 2022 г. 18:00
Лекция 1. Основы теории множеств Основы теории множеств 12 сентября 2022 г.
Лекция 12: Гейтинговы алгебры Структурная теория доказательств и алгебраическая логика 27 апреля 2022 г.
Лекция 11: Модальные алгебры Структурная теория доказательств и алгебраическая логика 25 апреля 2022 г.
Лекция 10: Краткий экскурс в неклассические логики Структурная теория доказательств и алгебраическая логика 18 апреля 2022 г.
Лекция 9: Ультрафильтры и дуальность Стоуна Структурная теория доказательств и алгебраическая логика 11 апреля 2022 г.
Лекция 8: Представление булевых алгебр. Фильтры Структурная теория доказательств и алгебраическая логика 4 апреля 2022 г.
Лекция 7: Булевы алгебры и булевы кольца Структурная теория доказательств и алгебраическая логика 28 марта 2022 г.
Лекция 6: Решётки Структурная теория доказательств и алгебраическая логика 21 марта 2022 г.
Лекция 5: Ультрапроизведения структур и теорема Лося Структурная теория доказательств и алгебраическая логика 14 марта 2022 г.
Лекция 4: Свободные алгебры. Теорема Биркхоффа о многообразиях Структурная теория доказательств и алгебраическая логика 28 февраля 2022 г.
Лекция 3: Прямые произведения. Прямые и подпрямые разложения Структурная теория доказательств и алгебраическая логика 21 февраля 2022 г.
Лекция 2: Гомоморфизмы, подалгебры и конгруэнции. Теорема о гомоморфизме Структурная теория доказательств и алгебраическая логика 14 февраля 2022 г.
Лекция 1: Краткий экскурс в классическую логику первого порядка Структурная теория доказательств и алгебраическая логика 7 февраля 2022 г.
Monadic second-order definability in weak arithmetics Конференция международных математических центров мирового уровня 10 августа 2021 г.
Infinitary action logic with exponentiation Logical Perspectives 2021: Summer School and Workshop 18 июня 2021 г.
A Computational Perspective on Reasoning about Probability Spaces SIMC Welcomes Postdocs-2020 23 апреля 2021 г.
Лекция 8. Основные понятия теории множеств Основные понятия теории множеств 20 октября 2020 г.
Лекция 7. Основные понятия теории множеств Основные понятия теории множеств 14 октября 2020 г.
Лекция 6. Основные понятия теории множеств Основные понятия теории множеств 13 октября 2020 г.
Лекция 5. Основные понятия теории множеств Основные понятия теории множеств 6 октября 2020 г.
Лекция 4. Основные понятия теории множеств Основные понятия теории множеств 29 сентября 2020 г.
Лекция 3. Основные понятия теории множеств Основные понятия теории множеств 22 сентября 2020 г.
Лекция 2. Основные понятия теории множеств Основные понятия теории множеств 15 сентября 2020 г.
Лекция 1. Основные понятия теории множеств Основные понятия теории множеств 8 сентября 2020 г.
Лекция 14. Математическая логика Математическая логика 14 мая 2020 г.
Лекция 13. Математическая логика Математическая логика 7 мая 2020 г.
Лекция 12. Математическая логика Математическая логика 30 апреля 2020 г.
Лекция 11. Математическая логика Математическая логика 23 апреля 2020 г.
Negation as a modality in a quantified setting Семинары отдела математической логики "Теория доказательств" и "Logic Online Seminar" 20 апреля 2020 г. 18:30
Лекция 10. Математическая логика Математическая логика 16 апреля 2020 г.
Лекция 9. Математическая логика Математическая логика 9 апреля 2020 г.
Лекция 8. Математическая логика Математическая логика 2 апреля 2020 г.
Лекция 7. Математическая логика Математическая логика 26 марта 2020 г.
Лекция 6. Математическая логика Математическая логика 19 марта 2020 г.
Лекция 5. Математическая логика Математическая логика 12 марта 2020 г.
Лекция 4. Математическая логика Математическая логика 5 марта 2020 г.
Лекция 3. Математическая логика Математическая логика 27 февраля 2020 г.
Лекция 2. Математическая логика Математическая логика 20 февраля 2020 г.
Лекция 1. Математическая логика Математическая логика 13 февраля 2020 г.
Об истинностных значениях и логических константах в модальных логиках Белнапа–Данна Традиционная зимняя сессия МИАН–ПОМИ, посвященная теме «Математическая
логика» 25 декабря 2018 г.
On the computational aspects of Kripke's theory of truth Workshop on Proof Theory, Modal Logic and Reflection Principles 18 октября 2017 г.
О вычислительных аспектах теории истины по Крипке Семинары отдела математической логики "Теория доказательств" и "Logic Online Seminar" 10 апреля 2017 г.
Некоторые новые результаты в монадической арифметике второго порядка Семинары отдела математической логики "Теория доказательств" и "Logic Online Seminar" 7 сентября 2015 г. 18:30
© , 2024
