Шамканов Данияр Салкарбекович

Доклады и лекции в базе данных Math-Net.Ru

1. О расширении модального исчисления предикатов QGL с помощью нефундированных доказательств
   Д. С. Шамканов, П. Разумный
   Семинары отдела математической логики "Теория доказательств" и "Logic Online Seminar"
   18 марта 2024 г. 18:30   
2. Лекция 13. Окрестностная семантика модальных логик
   А. В. Кудинов, Д. С. Шамканов
   Курс А. В. Кудинова и Д. С. Шамканова "Окрестностная семантика модальных логик"
   12 декабря 2023 г. 18:30   
3. Лекция 12. Окрестностная семантика модальных логик
   А. В. Кудинов, Д. С. Шамканов
   Курс А. В. Кудинова и Д. С. Шамканова "Окрестностная семантика модальных логик"
   5 декабря 2023 г. 18:30   
4. Лекция 11. Окрестностная семантика модальных логик
   А. В. Кудинов, Д. С. Шамканов
   Курс А. В. Кудинова и Д. С. Шамканова "Окрестностная семантика модальных логик"
   28 ноября 2023 г. 18:30   
5. Лекция 10. Окрестностная семантика модальных логик
   А. В. Кудинов, Д. С. Шамканов
   Курс А. В. Кудинова и Д. С. Шамканова "Окрестностная семантика модальных логик"
   21 ноября 2023 г. 18:30   
6. Лекция 9. Окрестностная семантика модальных логик
   А. В. Кудинов, Д. С. Шамканов
   Курс А. В. Кудинова и Д. С. Шамканова "Окрестностная семантика модальных логик"
   14 ноября 2023 г. 18:30   
7. Лекция 8. Окрестностная семантика модальных логик
   А. В. Кудинов, Д. С. Шамканов
   Курс А. В. Кудинова и Д. С. Шамканова "Окрестностная семантика модальных логик"
   7 ноября 2023 г. 18:30   
8. Лекция 7. Окрестностная семантика модальных логик
   А. В. Кудинов, Д. С. Шамканов
   Курс А. В. Кудинова и Д. С. Шамканова "Окрестностная семантика модальных логик"
   24 октября 2023 г. 18:30   
9. Лекция 6. Окрестностная семантика модальных логик
   А. В. Кудинов, Д. С. Шамканов
   Курс А. В. Кудинова и Д. С. Шамканова "Окрестностная семантика модальных логик"
   17 октября 2023 г. 18:30   
10. Лекция 5. Окрестностная семантика модальных логик
    А. В. Кудинов, Д. С. Шамканов
    Курс А. В. Кудинова и Д. С. Шамканова "Окрестностная семантика модальных логик"
    10 октября 2023 г. 18:30   
11. Лекция 4. Окрестностная семантика модальных логик
    А. В. Кудинов, Д. С. Шамканов
    Курс А. В. Кудинова и Д. С. Шамканова "Окрестностная семантика модальных логик"
    3 октября 2023 г. 18:30   
12. Лекция 3. Окрестностная семантика модальных логик
    А. В. Кудинов, Д. С. Шамканов
    Курс А. В. Кудинова и Д. С. Шамканова "Окрестностная семантика модальных логик"
    26 сентября 2023 г. 18:30   
13. Лекция 2. Окрестностная семантика модальных логик
    А. В. Кудинов, Д. С. Шамканов
    Курс А. В. Кудинова и Д. С. Шамканова "Окрестностная семантика модальных логик"
    19 сентября 2023 г. 18:30   
14. Лекция 1. Окрестностная семантика модальных логик
    А. В. Кудинов, Д. С. Шамканов
    Курс А. В. Кудинова и Д. С. Шамканова "Окрестностная семантика модальных логик"
    12 сентября 2023 г. 18:30   
15. Topological semantics of the predicate modal calculus QGL extended with non-well-founded proofs
    Pavel Razumnyy, Daniyar Shamkanov
    Workshop "Semantical and Computational Aspects of Non-Classical Logics" (SCAN 2023)
    15 июня 2023 г. 16:30   
16. О циклических доказательствах в классической логике первого порядка с индуктивными определениями (продолжение)
    Д. С. Шамканов
    Семинары отдела математической логики "Теория доказательств" и "Logic Online Seminar"
    24 октября 2022 г. 18:30   
17. О циклических доказательствах в классической логике первого порядка с индуктивными определениями
    Д. С. Шамканов
    Семинары отдела математической логики "Теория доказательств" и "Logic Online Seminar"
    17 октября 2022 г. 18:30   
18. Лекция 14. Структура циклических выводов с итерацией Клини
    С. Л. Кузнецов, Д. С. Шамканов
    Курс С. Л. Кузнецова и Д. С. Шамканова "Циклические доказательства"
    14 декабря 2020 г. 16:30   
19. Лекция 13. Алгоритмическая неразрешимость логик решёток Клини (коммутативный случай)
    С. Л. Кузнецов, Д. С. Шамканов
    Курс С. Л. Кузнецова и Д. С. Шамканова "Циклические доказательства"
    7 декабря 2020 г. 16:30   
20. Лекция 12. Циклические выводы для алгебр Клини, с делениями и без
    С. Л. Кузнецов, Д. С. Шамканов
    Курс С. Л. Кузнецова и Д. С. Шамканова "Циклические доказательства"
    30 ноября 2020 г. 16:30   
21. Лекция 11. Алгебры Клини с делениями и их логики
    С. Л. Кузнецов, Д. С. Шамканов
    Курс С. Л. Кузнецова и Д. С. Шамканова "Циклические доказательства"
    23 ноября 2020 г. 16:30   
22. Лекция 10. Циклические выводы для алгебр Клини (продолжение)
    С. Л. Кузнецов, Д. С. Шамканов
    Курс С. Л. Кузнецова и Д. С. Шамканова "Циклические доказательства"
    9 ноября 2020 г. 16:30   
23. Лекция 9. Циклические выводы для алгебр Клини
    С. Л. Кузнецов, Д. С. Шамканов
    Курс С. Л. Кузнецова и Д. С. Шамканова "Циклические доказательства"
    2 ноября 2020 г. 16:30   
24. Лекция 8. Инфинитарные исчисления для алгебр Клини
    С. Л. Кузнецов, Д. С. Шамканов
    Курс С. Л. Кузнецова и Д. С. Шамканова "Циклические доказательства"
    26 октября 2020 г. 16:30   
25. Лекция 7. Интерполяционное свойство Линдона и циклические доказательства в исчислении секвенций
    С. Л. Кузнецов, Д. С. Шамканов
    Курс С. Л. Кузнецова и Д. С. Шамканова "Циклические доказательства"
    19 октября 2020 г. 16:30   
26. Лекция 6. Исчисление секвенций для логики GL
    С. Л. Кузнецов, Д. С. Шамканов
    Курс С. Л. Кузнецова и Д. С. Шамканова "Циклические доказательства"
    12 октября 2020 г. 16:30   
27. Лекция 5. Представление бокс-фундированных алгебр Магари
    С. Л. Кузнецов, Д. С. Шамканов
    Курс С. Л. Кузнецова и Д. С. Шамканова "Циклические доказательства"
    5 октября 2020 г. 16:30   
28. Лекция 4. Окрестностная семантика
    С. Л. Кузнецов, Д. С. Шамканов
    Курс С. Л. Кузнецова и Д. С. Шамканова "Циклические доказательства"
    28 сентября 2020 г. 16:30   
29. Лекция 3. Нефундированные выводы и алгебраическая семантика
    С. Л. Кузнецов, Д. С. Шамканов
    Курс С. Л. Кузнецова и Д. С. Шамканова "Циклические доказательства"
    21 сентября 2020 г. 16:30   
30. Лекция 2. Доказуемостная интерпретация логики Гёделя-Лёба
    Д. С. Шамканов
    Курс С. Л. Кузнецова и Д. С. Шамканова "Циклические доказательства"
    14 сентября 2020 г. 16:30   
31. Лекция 1. Циклические выводы в логике Гёделя-Лёба
    Д. С. Шамканов
    Курс С. Л. Кузнецова и Д. С. Шамканова "Циклические доказательства"
    7 сентября 2020 г. 16:00   
32. О глобальной окрестностной полноте логики доказуемости GLP
    Д. С. Шамканов
    Семинары отдела математической логики "Теория доказательств" и "Logic Online Seminar"
    22 июня 2020 г. 17:30   
33. Об окрестностной семантике логики доказуемости Линдстрёма
    D. S. Shamkanov
    Семинары отдела математической логики "Теория доказательств" и "Logic Online Seminar"
    9 декабря 2019 г. 18:30   
34. Об устранении сечения для системы $K^+$
    Д. С. Шамканов
    Традиционная зимняя сессия МИАН–ПОМИ, посвященная теме «Математическая логика»
    25 декабря 2018 г. 16:35   
35. Об устранении сечения для модальной логики транзитивного замыкания
    Д. С. Шамканов
    Семинары отдела математической логики "Теория доказательств" и "Logic Online Seminar"
    28 апреля 2018 г. 18:30
36. Логика Кузнецова-Муравицкого и семантика компьютерных языков
    Д. С. Шамканов
    «Алгоритмические вопросы алгебры и логики» (семинар С.И.Адяна)
    12 декабря 2017 г. 18:30
37. Полнота логики доказуемости Гёделя-Лёба относительно глобальной топологической семантики
    Д. С. Шамканов
    Научная сессия МИАН, посвященная подведению итогов 2017 года
    29 ноября 2017 г. 11:30   
38. Секвенциальное исчисление с бесконечными выводами для логики Гжегорчика
    Ю. В. Саватеев, Д. С. Шамканов
    «Алгоритмические вопросы алгебры и логики» (семинар С.И.Адяна)
    10 октября 2017 г. 18:30
39. Об исчислении секвенций для модальной логики Гжегорчика с нефундированными выводами
    Д. С. Шамканов
    «Алгоритмические вопросы алгебры и логики» (семинар С.И.Адяна)
    14 марта 2017 г. 18:30
40. О сильной полноте логики доказуемости Гёделя-Лёба относительно топологической семантики
    Д. С. Шамканов
    «Алгоритмические вопросы алгебры и логики» (семинар С.И.Адяна)
    22 ноября 2016 г. 18:30
41. Конструктивная модальная логика, похожая на логику доказуемости GL
    Д. С. Шамканов
    Семинары отдела математической логики "Теория доказательств" и "Logic Online Seminar"
    23 мая 2016 г.
42. Формальная арифметика на базе логики без правила сокращения
    Д. С. Шамканов
    «Алгоритмические вопросы алгебры и логики» (семинар С.И.Адяна)
    29 марта 2016 г. 18:30
43. Лямбда-исчисление, или вычислительная теория доказательств. Лекция 10
    Д. С. Шамканов
    Спецкурс С. Л. Кузнецова «Лямбда-исчисление, или вычислительная теория доказательств», 2015
    22 апреля 2015 г. 18:00   
44. О теории доказательств модальной логики с оператором наименьшей неподвижной точки (продолжение)
    Д. С. Шамканов
    «Алгоритмические вопросы алгебры и логики» (семинар С.И.Адяна)
    25 ноября 2014 г. 18:30
45. О теории доказательств модальной логики с оператором наименьшей неподвижной точки
    Д. С. Шамканов
    «Алгоритмические вопросы алгебры и логики» (семинар С.И.Адяна)
    18 ноября 2014 г. 18:30
46. Циклические выводы для логики доказуемости Гёделя–Лёба
    Д. С. Шамканов
    Научная сессия МИАН, посвященная подведению итогов 2014 года
    12 ноября 2014 г. 12:15   
47. Circular proofs for provability logic
    D. S. Shamkanov
    Симпозиум по логике и вычислимости «Logic and Computation Day»
    7 июня 2013 г. 12:15
48. Секвенциальное исчисление для логики доказуемости Джапаридзе
    Д. С. Шамканов
    «Алгоритмические вопросы алгебры и логики» (семинар С.И.Адяна)
    20 ноября 2012 г. 18:30
49. Исчисление секвенций для логики доказуемости Гёделя–Лёба
    Д. С. Шамканов
    «Алгоритмические вопросы алгебры и логики» (семинар С.И.Адяна)
    13 ноября 2012 г. 18:30
50. Система подстановок термов с одним правилом, имеющая алгоритмически неразрешимую проблему остановки
    Д. С. Шамканов
    «Алгоритмические вопросы алгебры и логики» (семинар С.И.Адяна)
    9 октября 2012 г. 18:30