Канал: Логика в Москве - Смотреть видео c канала или скачать видео c канала в MP4, музыку MP3 на телефон или компьютер.

$Александр Грефенштейн//О \Pi^1_1-трудности вероятностной логики Кейслера–Хувера$

Елена Попова//Логика свидетельств первого порядка со связывающей модальностью

Логика в Москве

Логика в Москве

Елена Попова//Логика свидетельств первого порядка со связывающей модальностью

Borja Sierra Miranda//Coalgebraic proof translations for non-wellfounded proofs

Александр Гагарин//Произведения хорновых модальных логик

Федор Пахомов//Тесные и Сверх-Тесные порядки

Виталий Гулевский//Двойственность в интуиционистской логике высказываний

Дарья Криницина//Теорема Биркгофа для квазимногообразий.

Владимир Шеин//Внутренняя логика топосов и её приложения в алгебраической геометрии

Александр Колпащиков//Неразрешимые суперинтуиционистские исчисления и закон исключённого третьего.

Никита Лукашов//Допустимые правила в модальных логиках

Никита Лукашов//Допустимые правила вывода в IPC

Абдуламин Исмаилов//Введение в теорию типов

Надежда Хорошавкина//Роль аксиомы выбора в игре о шляпах

Александр Запрягаев//Категорный подход к интерпретациям теорий

В.Б.Шехтман "Введение в теорию моделей". Лекция 14

В.Б.Шехтман "Введение в теорию моделей". Лекция 13

Андрей Минаев//Релевантные логики

В.Б.Шехтман "Введение в теорию моделей". Лекция 12

В.Б.Шехтман "Введение в теорию моделей". Лекция 11

Александр Грефенштейн//Интерполяция в классической логике первого порядка

В.Б.Шехтман "Введение в теорию моделей". Лекция 10

В.Б.Шехтман "Введение в теорию моделей". Лекция 9. Часть 2

В.Б.Шехтман "Введение в теорию моделей". Лекция 9. Часть 1

Раджаб Агамов//Линейные динамические системы с непрерывными весовыми функциями

HSE logic

Владислав Слюсарев//Модальные логики случайных шкал в определимых классах. Часть 2

В.Б.Шехтман "Введение в теорию моделей". Лекция 8

Владислав Слюсарев//Модальные логики случайных шкал в определимых классах. Часть 1

В.Б.Шехтман "Введение в теорию моделей". Лекция 7

В.Б.Шехтман "Введение в теорию моделей". Лекция 1

Оноприенко Анастасия//Иерархия семантик интуиционистской логики

В.Б.Шехтман "Введение в теорию моделей". Лекция 6

В.Б.Шехтман "Введение в теорию моделей". Лекция 5

Кудинов Андрей//Топологическая семантика модальной логики

HSE logic

В.Б.Шехтман "Введение в теорию моделей". Лекция 4

Кокин Владислав//Введение в субструктурные логики

В.Б.Шехтман "Введение в теорию моделей". Лекция 3

В.Б.Шехтман "Введение в теорию моделей". Лекция 2

Серова Дарья//Использование алгебраических моделей для обнаружения метаморфного вредоносного кода

Ирина Агаджанян//Алгоритмическая сложность монадических полимодальных предикатных логик с равенством

Павел Разумный//О модальном предикатном исчислении QGL с нефундированными выводами(продолжение)

Александр Грефенштейн//О \Pi^1_1-трудности вероятностной логики Кейслера–Хувера

Елена Попова//Подходы к решению проблемы логического всеведения в эпистемической логике

Никита Лукашов//Проблема унификации в бимодальной логике доказуемости GLB

Иван Пыльцын//Игровая семантика Межирова для интуиционистской логики (продолжение)

Иван Пыльцын//Игровая семантика Межирова для интуиционистской логики

Николай Поляков//О канонической рамсеевской теореме Эрдёша и Радо и рамсеевских ультрафильтрах

Надежда Хорошавкина//Неперечислимая гипотеза Хадвигера и характеризация деревьев с помощью графов.

Екатерина Малюгина//Топобулевы алгебры.

Владислав Слюсарев//Модальные логики хорновых замыканий случайной шкалы Крипке.

Глеб Красилич//Зависимые типы и автоматическая проверка доказательств (продолжение)

Глеб Красилич//Зависимые типы и автоматическая проверка доказательств

HSE logic

Категории и универсальная алгебра. Лекция 14. Осень 2022. Валентин Борисович Шехтман.

Александр Грефенштейн//Бескванторная логика для рассуждений о знании и вероятности

Категории и универсальная алгебра. Лекция 13. Осень 2022. Валентин Борисович Шехтман.

Модальная логика и вычислительная сложность. Лекция 12. Осень 2022. Михаил Николаевич Рыбаков.

Категории и универсальная алгебра. Лекция 12. Осень 2022. Валентин Борисович Шехтман.

Модальная логика и вычислительная сложность. Лекция 11. Осень 2022. Михаил Николаевич Рыбаков.

Категории и универсальная алгебра. Лекция 11. Осень 2022. Валентин Борисович Шехтман.

Модальная логика и вычислительная сложность. Лекция 10. Осень 2022. Михаил Николаевич Рыбаков.

Категории и универсальная алгебра. Лекция 10. Осень 2022. Валентин Борисович Шехтман.

Павел Разумный//О модальном предикатном исчислении QGL с нефундированными выводами

Модальная логика и вычислительная сложность. Лекция 9. Осень 2022. Михаил Николаевич Рыбаков.

Категории и универсальная алгебра. Лекция 9. Осень 2022. Валентин Борисович Шехтман.

Модальная логика и вычислительная сложность. Лекция 8. Осень 2022. Михаил Николаевич Рыбаков.

Категории и универсальная алгебра. Лекция 8. Осень 2022. Валентин Борисович Шехтман.

Модальная логика и вычислительная сложность. Лекция 8. Осень 2022. Михаил Николаевич Рыбаков.

Категории и универсальная алгебра. Лекция 7. Осень 2022. Валентин Борисович Шехтман.

Модальная логика и вычислительная сложность. Лекция 7. Осень 2022. Михаил Николаевич Рыбаков.

Фёдор Пахомов//О теореме Тенненбаума

Категории и универсальная алгебра. Лекция 6. Осень 2022. Валентин Борисович Шехтман.

Модальная логика и вычислительная сложность. Лекция 6. Осень 2022. Михаил Николаевич Рыбаков.

Категории и универсальная алгебра. Лекция 5. Осень 2022. Валентин Борисович Шехтман.

Данияр Шамканов//Исчисления секвенций: первое знакомство

Модальная логика и вычислительная сложность. Лекция 5. Осень 2022. Михаил Николаевич Рыбаков.

Категории и универсальная алгебра. Лекция 4. Осень 2022. Валентин Борисович Шехтман.