Видеоуроки по математике для студентов Математическая логика и теория алгоритмов Математическая логика и теория алгоритмов Предикаты доказуемости и связанные с ними алгебры. Евгений Колмаков Канал: Математическая логика и теория алгоритмов 26.10.2021 11:38 0 PSpace-трудность в модальной логике: следствия из конструкции Ладнера. Илья Шапировский (27.05.21) Канал: Математическая логика и теория алгоритмов 26.10.2021 11:38 0 Nuclear implicative semilattices: a finitarity result – Silvio Ghilardi (20.05.2021) Канал: Математическая логика и теория алгоритмов 26.10.2021 11:38 0 On axiomatisations and proof theory for Kleene algebra (and friends) – Anupam Das (12.05.2021) Канал: Математическая логика и теория алгоритмов 26.10.2021 11:38 0 Модальные формулы Янкова - Файна и их применения — Евгений Золин (29.04.2021) Канал: Математическая логика и теория алгоритмов 26.10.2021 11:38 0 Математическая биология. Лекция 20. Василий Любецкий (26.04.2021) Канал: Математическая логика и теория алгоритмов 26.10.2021 11:38 0 Математическая биология. Лекция 19. Василий Любецкий (19.04.2021) Канал: Математическая логика и теория алгоритмов 26.10.2021 11:38 0 Ломоносовские чтения 2021: Математическая логика и теория алгоритмов (28.04.2021) Канал: Математическая логика и теория алгоритмов 26.10.2021 11:38 0 Игры Эренфойхта и представления цилиндрических алгебр. Даниил Рогозин (15.04.2021) Канал: Математическая логика и теория алгоритмов 26.10.2021 11:38 0 Ломоносов 2021. Секция Математическая логика. Часть 2 (21.04.2021) Канал: Математическая логика и теория алгоритмов 26.10.2021 11:38 0 Ломоносов 2021. Секция Математическая логика. Часть 1 (14.04.2021) Канал: Математическая логика и теория алгоритмов 26.10.2021 11:38 0 Математическая биология. Лекция 18. Василий Любецкий (12.04.2021) Канал: Математическая логика и теория алгоритмов 26.10.2021 11:38 0 Представимые цилиндрические алгебры, ver.2. Даниил Рогозин (08.04.2021) Канал: Математическая логика и теория алгоритмов 26.10.2021 11:38 0 Математическая биология. Лекция 17. Василий Любецкий (05.04.2021) Канал: Математическая логика и теория алгоритмов 26.10.2021 11:38 0 Пороговые функции и пороговые схемы - Владимир Подольский (07.04.2021) Канал: Математическая логика и теория алгоритмов 26.10.2021 11:38 0 Математическая биология. Лекция 16. Василий Любецкий (29.03.2021) Канал: Математическая логика и теория алгоритмов 26.10.2021 11:38 0 Протоколы на популяциях и вычислительная сложность. Михаил Раскин (31.03.2021) Канал: Математическая логика и теория алгоритмов 26.10.2021 11:38 0 Игровая семантика логических формул при ограничениях на сложность стратегий. С.Соловьев (25.03.2021) Канал: Математическая логика и теория алгоритмов 26.10.2021 11:38 0 Представимые цилиндрические алгебры, ver.1. Даниил Рогозин (18.03.2021) Канал: Математическая логика и теория алгоритмов 26.10.2021 11:38 0 ← Предыдущая Следующая → 1 2 3 Показаны 51-69 из 69