|
|
Доклады и лекции в базе данных Math-Net.Ru
-
Лекция 9. Сложность неклассических логик
А. В. Кудинов
Курс А. В. Кудинова "Сложность неклассических логик"
12 ноября 2024 г. 18:00
-
Лекция 8. Сложность неклассических логик
А. В. Кудинов
Курс А. В. Кудинова "Сложность неклассических логик"
5 ноября 2024 г. 18:00
-
Лекция 7. Сложность неклассических логик
А. В. Кудинов
Курс А. В. Кудинова "Сложность неклассических логик"
29 октября 2024 г. 18:00
-
Лекция 6. Сложность неклассических логик
А. В. Кудинов
Курс А. В. Кудинова "Сложность неклассических логик"
22 октября 2024 г. 18:00
-
Лекция 5. Сложность неклассических логик
А. В. Кудинов
Курс А. В. Кудинова "Сложность неклассических логик"
15 октября 2024 г. 18:00
-
Лекция 4. Сложность неклассических логик
А. В. Кудинов
Курс А. В. Кудинова "Сложность неклассических логик"
1 октября 2024 г. 18:00
-
Лекция 3. Сложность неклассических логик
А. В. Кудинов
Курс А. В. Кудинова "Сложность неклассических логик"
24 сентября 2024 г. 18:00
-
Лекция 2. Сложность неклассических логик
А. В. Кудинов
Курс А. В. Кудинова "Сложность неклассических логик"
17 сентября 2024 г. 18:00
-
Лекция 1. Сложность неклассических логик
А. В. Кудинов
Курс А. В. Кудинова "Сложность неклассических логик"
10 сентября 2024 г. 18:00
-
Сложность ненормальных логик и логики с подсчетом применения аксиом
А. В. Кудинов
Семинары отдела математической логики "Теория доказательств" и "Logic Online Seminar"
27 мая 2024 г. 18:30
-
Лекция 13. Окрестностная семантика модальных логик
А. В. Кудинов, Д. С. Шамканов
Курс А. В. Кудинова и Д. С. Шамканова "Окрестностная семантика модальных логик"
12 декабря 2023 г. 18:30
-
Лекция 12. Окрестностная семантика модальных логик
А. В. Кудинов, Д. С. Шамканов
Курс А. В. Кудинова и Д. С. Шамканова "Окрестностная семантика модальных логик"
5 декабря 2023 г. 18:30
-
Лекция 11. Окрестностная семантика модальных логик
А. В. Кудинов, Д. С. Шамканов
Курс А. В. Кудинова и Д. С. Шамканова "Окрестностная семантика модальных логик"
28 ноября 2023 г. 18:30
-
Лекция 10. Окрестностная семантика модальных логик
А. В. Кудинов, Д. С. Шамканов
Курс А. В. Кудинова и Д. С. Шамканова "Окрестностная семантика модальных логик"
21 ноября 2023 г. 18:30
-
Лекция 9. Окрестностная семантика модальных логик
А. В. Кудинов, Д. С. Шамканов
Курс А. В. Кудинова и Д. С. Шамканова "Окрестностная семантика модальных логик"
14 ноября 2023 г. 18:30
-
Лекция 8. Окрестностная семантика модальных логик
А. В. Кудинов, Д. С. Шамканов
Курс А. В. Кудинова и Д. С. Шамканова "Окрестностная семантика модальных логик"
7 ноября 2023 г. 18:30
-
Лекция 7. Окрестностная семантика модальных логик
А. В. Кудинов, Д. С. Шамканов
Курс А. В. Кудинова и Д. С. Шамканова "Окрестностная семантика модальных логик"
24 октября 2023 г. 18:30
-
Лекция 6. Окрестностная семантика модальных логик
А. В. Кудинов, Д. С. Шамканов
Курс А. В. Кудинова и Д. С. Шамканова "Окрестностная семантика модальных логик"
17 октября 2023 г. 18:30
-
Лекция 5. Окрестностная семантика модальных логик
А. В. Кудинов, Д. С. Шамканов
Курс А. В. Кудинова и Д. С. Шамканова "Окрестностная семантика модальных логик"
10 октября 2023 г. 18:30
-
Лекция 4. Окрестностная семантика модальных логик
А. В. Кудинов, Д. С. Шамканов
Курс А. В. Кудинова и Д. С. Шамканова "Окрестностная семантика модальных логик"
3 октября 2023 г. 18:30
-
Лекция 3. Окрестностная семантика модальных логик
А. В. Кудинов, Д. С. Шамканов
Курс А. В. Кудинова и Д. С. Шамканова "Окрестностная семантика модальных логик"
26 сентября 2023 г. 18:30
-
Лекция 2. Окрестностная семантика модальных логик
А. В. Кудинов, Д. С. Шамканов
Курс А. В. Кудинова и Д. С. Шамканова "Окрестностная семантика модальных логик"
19 сентября 2023 г. 18:30
-
Лекция 1. Окрестностная семантика модальных логик
А. В. Кудинов, Д. С. Шамканов
Курс А. В. Кудинова и Д. С. Шамканова "Окрестностная семантика модальных логик"
12 сентября 2023 г. 18:30
-
Many-dimensional modal logics for neighborhood semantics
Andrey Kudinov
Workshop "Semantical and Computational Aspects of Non-Classical Logics" (SCAN 2023)
15 июня 2023 г. 12:00
-
Лекция 13. Введение в неклассические логики
А. В. Кудинов
Введение в неклассические логики
15 мая 2023 г. 14:45
-
Лекция 12. Введение в неклассические логики
А. В. Кудинов
Введение в неклассические логики
24 апреля 2023 г. 14:45
-
Лекция 11. Введение в неклассические логики
А. В. Кудинов
Введение в неклассические логики
17 апреля 2023 г. 14:45
-
Лекция 10. Введение в неклассические логики
А. В. Кудинов
Введение в неклассические логики
10 апреля 2023 г. 14:45
-
Лекция 9. Введение в неклассические логики
А. В. Кудинов
Введение в неклассические логики
3 апреля 2023 г. 14:45
-
Лекция 8. Введение в неклассические логики
А. В. Кудинов
Введение в неклассические логики
27 марта 2023 г. 14:45
-
Лекция 7. Введение в неклассические логики
А. В. Кудинов
Введение в неклассические логики
20 марта 2023 г. 14:45
-
Лекция 6. Введение в неклассические логики
А. В. Кудинов
Введение в неклассические логики
13 марта 2023 г. 14:45
-
Лекция 5. Введение в неклассические логики
А. В. Кудинов
Введение в неклассические логики
6 марта 2023 г. 14:45
-
Лекция 4. Введение в неклассические логики
А. В. Кудинов
Введение в неклассические логики
27 февраля 2023 г. 14:45
-
Лекция 3. Введение в неклассические логики
А. В. Кудинов
Введение в неклассические логики
20 февраля 2023 г. 14:45
-
Лекция 2. Введение в неклассические логики
А. В. Кудинов
Введение в неклассические логики
13 февраля 2023 г. 14:45
-
Лекция 1. Введение в неклассические логики
А. В. Кудинов
Введение в неклассические логики
6 февраля 2023 г. 14:45
-
Строго позитивные фрагменты модальных логик с направленностью
А. В. Кудинов
Семинары отдела математической логики "Теория доказательств" и "Logic Online Seminar"
14 ноября 2022 г. 18:30
-
Топологические модальные логики прямой
А. В. Кудинов
Научно-исследовательский семинар кафедры дискретной математики ФИВТ МФТИ
14 марта 2017 г. 18:30
-
Об одной старой просто формулируемой нерешенной
задаче в модальной логике
А. В. Кудинов
Научно-исследовательский семинар кафедры дискретной математики ФИВТ МФТИ
2 декабря 2014 г.
© , 2024