Доклады и лекции в базе данных Math-Net.Ru
Лекция 13. Субструктурные логики Курс С. Л. Кузнецова и Т. Г. Пшеницына "Субструктурные логики" 22 мая 2025 г. 16:00
Лекция 12. Субструктурные логики Курс С. Л. Кузнецова и Т. Г. Пшеницына "Субструктурные логики" 15 мая 2025 г. 16:00
Circular and infinitary proofs for complexity analysis of action logic Семинары отдела математической логики "Теория доказательств" и "Logic Online Seminar" 28 апреля 2025 г. 16:00
Лекция 11. Субструктурные логики Курс С. Л. Кузнецова и Т. Г. Пшеницына "Субструктурные логики" 24 апреля 2025 г. 16:00
Лекция 10. Субструктурные логики Курс С. Л. Кузнецова и Т. Г. Пшеницына "Субструктурные логики" 17 апреля 2025 г. 16:00
Лекция 9. Неразрешимость линейной логики Курс С. Л. Кузнецова и Т. Г. Пшеницына "Субструктурные логики" 10 апреля 2025 г. 16:00
Лекция 8. Линейная логика Курс С. Л. Кузнецова и Т. Г. Пшеницына "Субструктурные логики" 3 апреля 2025 г. 16:00
Лекция 7. L-модели и R-модели для исчисления Ламбека Курс С. Л. Кузнецова и Т. Г. Пшеницына "Субструктурные логики" 27 марта 2025 г. 16:00
Лекция 6. Интерполяционная лемма Роорды. Теорема Пентуса Курс С. Л. Кузнецова и Т. Г. Пшеницына "Субструктурные логики" 20 марта 2025 г. 16:00
Лекция 5. Построение грамматики Ламбека по контекстно-свободной грамматике Курс С. Л. Кузнецова и Т. Г. Пшеницына "Субструктурные логики" 13 марта 2025 г. 16:00
Лекция 4. Грамматики Ламбека и контекстно-свободные грамматики Курс С. Л. Кузнецова и Т. Г. Пшеницына "Субструктурные логики" 6 марта 2025 г. 16:00
Лекция 3. PSPACE-трудность логик между FL и Int. Теорема об устранении сечения Курс С. Л. Кузнецова и Т. Г. Пшеницына "Субструктурные логики" 27 февраля 2025 г. 16:00
Исчисление Ламбека с операцией круллева пересечения — 3 Семинар С. Л. Кузнецова и С. О. Сперанского "Вероятностные и субструктурные логические системы" 25 февраля 2025 г.
Лекция 2. Класс сложности PSPACE: теорема Сэвича и PSPACE-полнота задачи TQBF Курс С. Л. Кузнецова и Т. Г. Пшеницына "Субструктурные логики" 20 февраля 2025 г. 16:00
Исчисление Ламбека с операцией круллева пересечения — 2 Семинар С. Л. Кузнецова и С. О. Сперанского "Вероятностные и субструктурные логические системы" 18 февраля 2025 г.
Лекция 1. Решётки с делениями и субструктурные исчисления Курс С. Л. Кузнецова и Т. Г. Пшеницына "Субструктурные логики" 13 февраля 2025 г. 16:00
Исчисление Ламбека с операцией круллева пересечения — 1 Семинар С. Л. Кузнецова и С. О. Сперанского "Вероятностные и субструктурные логические системы" 11 февраля 2025 г.
Реляционные модели для исчисления Ламбека с субэкспоненциалом нелокального сокращения Семинары отдела математической логики "Теория доказательств" и "Logic Online Seminar" 23 декабря 2024 г.
Грамматики Ламбека: неклассическая логика для математической лингвистики. Семинар 4 Летняя школа «Современная математика» имени Виталия Арнольда, 2024 24 июля 2024 г.
Грамматики Ламбека: неклассическая логика для математической лингвистики. Семинар 3 Летняя школа «Современная математика» имени Виталия Арнольда, 2024 23 июля 2024 г.
Грамматики Ламбека: неклассическая логика для математической лингвистики. Семинар 2 Летняя школа «Современная математика» имени Виталия Арнольда, 2024 21 июля 2024 г.
Грамматики Ламбека: неклассическая логика для математической лингвистики. Семинар 1 Летняя школа «Современная математика» имени Виталия Арнольда, 2024 20 июля 2024 г.
Исчисление Ламбека и синтаксические формальные понятия Однодневный семинар по математической логике 24 июня 2024 г.
О разрешимых фрагментах некоторых логических систем Семинар С. Л. Кузнецова и С. О. Сперанского "Вероятностные и субструктурные логические системы" 22 мая 2024 г.
Неразрешимость теории алгебр Клини с условиями коммутативности Семинары отдела математической логики "Теория доказательств" и "Logic Online Seminar" 11 марта 2024 г. 18:30
Замыкающие ординалы и сложность для инфинитарной логики действий Семинар С. Л. Кузнецова и С. О. Сперанского "Вероятностные и субструктурные логические системы" 6 марта 2024 г. 18:15
Алгоритмические вопросы для субструктурных логик с итерацией Клини Семинары отдела математической логики "Теория доказательств" и "Logic Online Seminar" 18 апреля 2023 г. 18:30
Алгебраические логики с итерацией Клини Математический семинар ФКН ВШЭ 31 марта 2023 г.
Лекция 12. Лямбда-исчисление Лямбда-исчисление 29 ноября 2022 г.
Инфинитарная логика действий с экспоненциальными модальностями Научная сессия МИАН, посвященная подведению итогов 2022 года 23 ноября 2022 г.
Лекция 11. Лямбда-исчисление Лямбда-исчисление 22 ноября 2022 г.
Лекция 10. Лямбда-исчисление Лямбда-исчисление 15 ноября 2022 г.
Лекция 9. Лямбда-исчисление Лямбда-исчисление 8 ноября 2022 г.
Лекция 8. Лямбда-исчисление Лямбда-исчисление 1 ноября 2022 г.
Kleene star in substructural logics Fourth Workshop on Digitalization and Computable Models (WDCM-2022) 26 октября 2022 г.
Лекция 7. Лямбда-исчисление Лямбда-исчисление 25 октября 2022 г.
Лекция 6. Лямбда-исчисление Лямбда-исчисление 18 октября 2022 г.
Лекция 5. Лямбда-исчисление Лямбда-исчисление 11 октября 2022 г.
Лекция 4. Лямбда-исчисление Лямбда-исчисление 4 октября 2022 г.
Лекция 3. Лямбда-исчисление Лямбда-исчисление 27 сентября 2022 г.
Семинар 2: Субструктурные логики и их приложения в лингвистике Семинар С. Л. Кузнецова и С. О. Сперанского "Неклассические логики" 21 сентября 2022 г. 18:00
Лекция 2. Лямбда-исчисление Лямбда-исчисление 20 сентября 2022 г.
Лекция 1. Лямбда-исчисление Лямбда-исчисление 13 сентября 2022 г.
Реляционные модели для исчисления Ламбека Семинар С. Л. Кузнецова и В. Б. Шехтмана "Алгебраическая и категорная логика" 13 апреля 2022 г.
Структуры с итерацией Клини и их логики Семинар С. Л. Кузнецова и В. Б. Шехтмана "Алгебраическая и категорная логика" 9 марта 2022 г.
Circular proofs for non-classical logics Beijing–Moscow Mathematics Colloquium 4 марта 2022 г.
Семинар 1. Алгебраическая и категорная логика Семинар С. Л. Кузнецова и В. Б. Шехтмана "Алгебраическая и категорная логика" 9 февраля 2022 г. 18:00
Лекция 14. Система F Лямбда-исчисление 13 декабря 2021 г.
Лекция 13. Представление неограниченного мю-оператора. Типизуемость сильно нормализуемых термов Лямбда-исчисление 6 декабря 2021 г.
Лекция 12. Неразрешимость задачи о сильной нормализуемости (продолжение) Лямбда-исчисление 29 ноября 2021 г. 16:25
Лекция 11. Неразрешимость задачи о сильной нормализуемости Лямбда-исчисление 22 ноября 2021 г. 16:25
Лекция 10. Сильная нормализуемость термов, типизируемых с пересечением Лямбда-исчисление 15 ноября 2021 г.
Лекция 9. Полнота относительно теоретико-множественной семантики Лямбда-исчисление 8 ноября 2021 г. 16:25
Лекция 8. Теоретико-множественная семантика типизованного лямбда-исчисления Лямбда-исчисление 25 октября 2021 г.
Лекция 7. Алгоритм выведения типов Лямбда-исчисление 18 октября 2021 г.
Лекция 6. Простая система типов для лямбда-исчисления Лямбда-исчисление 11 октября 2021 г.
Лекция 5.Неразрешимые задачи, связанные с бета-редукцией Лямбда-исчисление 4 октября 2021 г.
Лекция 4. Представление вычислимых функций Лямбда-исчисление 27 сентября 2021 г.
Лекция 3. Нормальная стратегия редукций Лямбда-исчисление 20 сентября 2021 г.
Лекция 2. Теорема Чёрча-Россера Лямбда-исчисление 13 сентября 2021 г.
Лекция 1. Лямбда-исчисление Лямбда-исчисление 6 сентября 2021 г.
Complexity of Theories for Structures with Kleene Star Конференция международных математических центров мирового уровня 10 августа 2021 г.
Infinitary action logic with exponentiation Logical Perspectives 2021: Summer School and Workshop 18 июня 2021 г.
Лекция 11. Гиперсеквенциальное исчисление для MALC с законом дистрибутивности Структурная теория доказательств и алгебраическая логика 17 мая 2021 г. 16:40
Лекция 10.Неразрешимость задачи выводимости в MALC из гипотез Структурная теория доказательств и алгебраическая логика 26 апреля 2021 г.
Лекция 9. Решётки с делениями. Мультипликативно-аддитивное исчисление Ламбека Структурная теория доказательств и алгебраическая логика 19 апреля 2021 г.
Лекция 8. От амальгамируемости к интерполяции (часть 2) Структурная теория доказательств и алгебраическая логика 12 апреля 2021 г.
Лекция 7. От амальгамируемости к интерполяции (часть 1) Структурная теория доказательств и алгебраическая логика 5 апреля 2021 г.
Лекция 6. Гейтинговы алгебры. От интерполяции к амальгамируемости Структурная теория доказательств и алгебраическая логика 29 марта 2021 г.
Лекция 5. Интерполяционная лемма для Int Структурная теория доказательств и алгебраическая логика 22 марта 2021 г.
Лекция 4. Теорема Гливенко Структурная теория доказательств и алгебраическая логика 15 марта 2021 г.
Лекция 3. Разрешимость Int. Секвенциальное исчисление для классической логики высказываний Структурная теория доказательств и алгебраическая логика 1 марта 2021 г.
Лекция 2. Теорема об устранении сечения для интуиционистского исчисления высказываний. Теорема Харропа (дизъюнктивная) Структурная теория доказательств и алгебраическая логика 15 февраля 2021 г.
Лекция 1. Генценовское исчисление для интуиционистской логики высказываний Структурная теория доказательств и алгебраическая логика 8 февраля 2021 г.
Лекция 14. Структура циклических выводов с итерацией Клини Курс С. Л. Кузнецова и Д. С. Шамканова "Циклические доказательства" 14 декабря 2020 г. 16:30
Лекция 13. Алгоритмическая неразрешимость логик решёток Клини (коммутативный случай) Курс С. Л. Кузнецова и Д. С. Шамканова "Циклические доказательства" 7 декабря 2020 г. 16:30
Лекция 12. Циклические выводы для алгебр Клини, с делениями и без Курс С. Л. Кузнецова и Д. С. Шамканова "Циклические доказательства" 30 ноября 2020 г. 16:30
Лекция 11. Алгебры Клини с делениями и их логики Курс С. Л. Кузнецова и Д. С. Шамканова "Циклические доказательства" 23 ноября 2020 г. 16:30
Лекция 10. Циклические выводы для алгебр Клини (продолжение) Курс С. Л. Кузнецова и Д. С. Шамканова "Циклические доказательства" 9 ноября 2020 г. 16:30
Лекция 9. Циклические выводы для алгебр Клини Курс С. Л. Кузнецова и Д. С. Шамканова "Циклические доказательства" 2 ноября 2020 г. 16:30
Decidable fragments of the Lambek calculus with subexponentials Семинары отдела математической логики "Теория доказательств" и "Logic Online Seminar" 26 октября 2020 г. 18:30
Лекция 8. Инфинитарные исчисления для алгебр Клини Курс С. Л. Кузнецова и Д. С. Шамканова "Циклические доказательства" 26 октября 2020 г. 16:30
Лекция 7. Интерполяционное свойство Линдона и циклические доказательства в исчислении секвенций Курс С. Л. Кузнецова и Д. С. Шамканова "Циклические доказательства" 19 октября 2020 г. 16:30
Лекция 6. Исчисление секвенций для логики GL Курс С. Л. Кузнецова и Д. С. Шамканова "Циклические доказательства" 12 октября 2020 г. 16:30
Лекция 5. Представление бокс-фундированных алгебр Магари Курс С. Л. Кузнецова и Д. С. Шамканова "Циклические доказательства" 5 октября 2020 г. 16:30
Лекция 4. Окрестностная семантика Курс С. Л. Кузнецова и Д. С. Шамканова "Циклические доказательства" 28 сентября 2020 г. 16:30
Лекция 3. Нефундированные выводы и алгебраическая семантика Курс С. Л. Кузнецова и Д. С. Шамканова "Циклические доказательства" 21 сентября 2020 г. 16:30
Обзор курса и ответы на вопросы Спецкурс «Математическая логика, часть 2» 14 мая 2020 г. 16:00
Лекция 16. Основы теории множеств, ч. 4 Спецкурс «Математическая логика, часть 2» 7 мая 2020 г. 14:45
Лекция 15. Основы теории множеств, ч. 3 Спецкурс «Математическая логика, часть 2» 30 апреля 2020 г. 14:45
Лекция 14. Основы теории множеств, ч. 2 Спецкурс «Математическая логика, часть 2» 27 апреля 2020 г. 14:30
Лекция 13. Основы теории множеств, ч. 1 Спецкурс «Математическая логика, часть 2» 23 апреля 2020 г. 14:45
Лекция 12. Интуиционистская логика первого порядка, ч. 5 Спецкурс «Математическая логика, часть 2» 20 апреля 2020 г. 14:30
Лекция 11. Интуиционистская логика первого порядка, ч. 4 Спецкурс «Математическая логика, часть 2» 16 апреля 2020 г. 14:45
Закон дистрибутивности во фрагментах линейной и аффинной логик Семинар лаборатории математической логики (Санкт-Петербург) 14 апреля 2020 г. 18:15
Лекция 10. Интуиционистская логика первого порядка, ч. 3 Спецкурс «Математическая логика, часть 2» 13 апреля 2020 г. 14:30
Лекция 9. Интуиционистская логика первого порядка, ч. 2 Спецкурс «Математическая логика, часть 2» 9 апреля 2020 г. 14:45
Лекция 8. Интуиционистская логика первого порядка, ч. 1 Спецкурс «Математическая логика, часть 2» 6 апреля 2020 г. 14:30
Лекция 7. Теоремы Гёделя о неполноте Спецкурс «Математическая логика, часть 2» 27 марта 2020 г. 11:00
Лекция 6. Третье условие доказуемости. Теорема о неподвижной точке Спецкурс «Математическая логика, часть 2» 23 марта 2020 г. 14:30
Лекция 14. Полные частично упорядоченные множества. Модель Скотта $D_\infty$ . Л. Д. Беклемишев, С. Л. Кузнецов. Вычислительная теория доказательств и лямбда-исчисление 16 марта 2020 г. 16:30
Лекция 5. Гёделева нумерация Спецкурс «Математическая логика, часть 2» 12 марта 2020 г. 16:45
Лекция 4. Кодирование примитивно-рекурсивных функций Спецкурс «Математическая логика, часть 2» 5 марта 2020 г. 16:45
Лекция 3. Китайская теорема об остатках Спецкурс «Математическая логика, часть 2» 27 февраля 2020 г. 16:45
Лекция 2. Арифметика Пеано Спецкурс «Математическая логика, часть 2» 20 февраля 2020 г. 16:45
Лекция 1. Примитивно-рекурсивные функции Спецкурс «Математическая логика, часть 2» 13 февраля 2020 г. 16:45
Лекция 11. Модели лямбда-исчисления Л. Д. Беклемишев, С. Л. Кузнецов. Вычислительная теория доказательств и лямбда-исчисление 10 февраля 2020 г. 16:30
Лекция 9. Полнота типового лямбда-исчисления относительно теоретико-множественной семантики Л. Д. Беклемишев, С. Л. Кузнецов. Вычислительная теория доказательств и лямбда-исчисление 2 декабря 2019 г. 16:30
Лекция 8. Теорема о сильной нормализуемости для типового лямбда-исчисления (окончание). Теоретико-множественная семантика типового лямбда-исчисления Л. Д. Беклемишев, С. Л. Кузнецов. Вычислительная теория доказательств и лямбда-исчисление 25 ноября 2019 г. 16:30
Лекция 7. Алгоритм выведения наиболее общего типа в системе Карри (окончание). Теорема о сильной нормализуемости для типового лямбда-исчисления Л. Д. Беклемишев, С. Л. Кузнецов. Вычислительная теория доказательств и лямбда-исчисление 18 ноября 2019 г. 16:30
Лекция 6. Алгоритм выведения наиболее общего типа в системе Карри Л. Д. Беклемишев, С. Л. Кузнецов. Вычислительная теория доказательств и лямбда-исчисление 11 ноября 2019 г. 16:30
Лекция 5. Сохранение типа при бета-редукции. Интуиционистская логика высказываний, соответствие Карри - Говарда Л. Д. Беклемишев, С. Л. Кузнецов. Вычислительная теория доказательств и лямбда-исчисление 28 октября 2019 г. 16:30
Лекция 4. Свойство Чёрча - Россера (окончание). Типовое лямбда исчисление: типизации по Чёрчу и по Карри Л. Д. Беклемишев, С. Л. Кузнецов. Вычислительная теория доказательств и лямбда-исчисление 21 октября 2019 г. 16:30
Лекция 3. Представимость вычислимых функций в бестиповом лямбда-исчислении. Свойство Чёрча - Россера Л. Д. Беклемишев, С. Л. Кузнецов. Вычислительная теория доказательств и лямбда-исчисление 14 октября 2019 г.
Лекция 2. Теорема о неподвижной точке. Представимость примитивно-рекурсивных функций в бестиповом лямбда-исчислении Л. Д. Беклемишев, С. Л. Кузнецов. Вычислительная теория доказательств и лямбда-исчисление 7 октября 2019 г.
Лекция 1.Введение. Бестиповое лямбда-исчисление. Представление натуральных чисел в бестиповом лямбда-исчислении Л. Д. Беклемишев, С. Л. Кузнецов. Вычислительная теория доказательств и лямбда-исчисление 30 сентября 2019 г.
Линейная логика и функциональное программирование Коллоквиум Факультета компьютерных наук НИУ ВШЭ 12 февраля 2019 г.
$\Pi_1^0$ -полнота исчисления Ламбека с итерацией КлиниТрадиционная зимняя сессия МИАН–ПОМИ, посвященная теме «Математическая
логика» 25 декабря 2018 г.
Неразрешимость логики решёток Клини с делениями Семинары отдела математической логики "Теория доказательств" и "Logic Online Seminar" 29 октября 2018 г.
Рекурсивно перечислимые теории, не имеющие алгоритмически разрешимой аксиоматизации «Алгоритмические вопросы алгебры и логики» (семинар С.И.Адяна) 14 ноября 2017 г.
Iteration in residuated structures Workshop on Proof Theory, Modal Logic and Reflection Principles 20 октября 2017 г.
Исчисления Ламбека с обогащением сигнатуры операцией итерации «Алгоритмические вопросы алгебры и логики» (семинар С.И.Адяна) 16 мая 2017 г.
Расширения контекстно-свободных и категориальных грамматик Матсборник-150: алгебра, геометрия, анализ 7 ноября 2016 г.
Межфакультетский курс «Категориальные грамматики». Лекция 13 Межфакультетский курс «Категориальные грамматики» 11 мая 2016 г.
Межфакультетский курс «Категориальные грамматики». Лекция 9 Межфакультетский курс «Категориальные грамматики» 13 апреля 2016 г.
Межфакультетский курс «Категориальные грамматики». Лекция 8 Межфакультетский курс «Категориальные грамматики» 6 апреля 2016 г.
Невозможность замены правила сокращения конечным числом определяющих соотношений при задании полугруппы «Алгоритмические вопросы алгебры и логики» (семинар С.И.Адяна) 5 апреля 2016 г.
Межфакультетский курс «Категориальные грамматики». Лекция 6 Межфакультетский курс «Категориальные грамматики» 23 марта 2016 г.
Межфакультетский курс «Категориальные грамматики». Лекция 4 Межфакультетский курс «Категориальные грамматики» 9 марта 2016 г.
Межфакультетский курс «Категориальные грамматики». Лекция 3 Межфакультетский курс «Категориальные грамматики» 2 марта 2016 г.
Межфакультетский курс «Категориальные грамматики». Лекция 2 Межфакультетский курс «Категориальные грамматики» 24 февраля 2016 г.
Межфакультетский курс «Категориальные грамматики». Лекция 1 Межфакультетский курс «Категориальные грамматики» 17 февраля 2016 г.
О двух модальных расширениях исчисления Ламбека «Алгоритмические вопросы алгебры и логики» (семинар С.И.Адяна) 20 октября 2015 г.
Лямбда-исчисление, или вычислительная теория доказательств. Лекция 12 Спецкурс С. Л. Кузнецова «Лямбда-исчисление, или вычислительная теория доказательств», 2015 13 мая 2015 г.
Лямбда-исчисление, или вычислительная теория доказательств. Лекция 11 Спецкурс С. Л. Кузнецова «Лямбда-исчисление, или вычислительная теория доказательств», 2015 29 апреля 2015 г.
Преобразование контекстно-свободных грамматик в грамматики Ламбека, сохраняющее семантические значения слов «Алгоритмические вопросы алгебры и логики» (семинар С.И.Адяна) 28 апреля 2015 г.
Лямбда-исчисление, или вычислительная теория доказательств. Лекция 8 Спецкурс С. Л. Кузнецова «Лямбда-исчисление, или вычислительная теория доказательств», 2015 8 апреля 2015 г.
Лямбда-исчисление, или вычислительная теория доказательств. Лекция 7 Спецкурс С. Л. Кузнецова «Лямбда-исчисление, или вычислительная теория доказательств», 2015 1 апреля 2015 г. 18:00
Лямбда-исчисление, или вычислительная теория доказательств. Лекция 6 Спецкурс С. Л. Кузнецова «Лямбда-исчисление, или вычислительная теория доказательств», 2015 25 марта 2015 г. 18:00
Лямбда-исчисление, или вычислительная теория доказательств. Лекция 5 Спецкурс С. Л. Кузнецова «Лямбда-исчисление, или вычислительная теория доказательств», 2015 18 марта 2015 г. 18:00
Лямбда-исчисление, или вычислительная теория доказательств. Лекция 4 Спецкурс С. Л. Кузнецова «Лямбда-исчисление, или вычислительная теория доказательств», 2015 11 марта 2015 г. 18:00
Лямбда-исчисление, или вычислительная теория доказательств. Лекция 3 Спецкурс С. Л. Кузнецова «Лямбда-исчисление, или вычислительная теория доказательств», 2015 4 марта 2015 г. 18:00
Лямбда-исчисление, или вычислительная теория доказательств. Лекция 2 Спецкурс С. Л. Кузнецова «Лямбда-исчисление, или вычислительная теория доказательств», 2015 25 февраля 2015 г. 18:00
Лямбда-исчисление, или вычислительная теория доказательств. Лекция 1 Спецкурс С. Л. Кузнецова «Лямбда-исчисление, или вычислительная теория доказательств», 2015 18 февраля 2015 г. 18:00
Категориальные грамматики Ламбека Общеинститутский семинар «Коллоквиум МИАН» 5 июня 2014 г. 16:00
Конъюнктивные грамматики и расширенное операцией пересечения исчисление Ламбека «Алгоритмические вопросы алгебры и логики» (семинар С.И.Адяна) 8 октября 2013 г.
О моделях двух расширений исчисления Ламбека на подмножествах свободных моноидов «Алгоритмические вопросы алгебры и логики» (семинар С.И.Адяна) 27 ноября 2012 г.
Grammars based on variants of the Lambek calculus Международная конференция «Logical Models of Reasoning and Computation» 3 февраля 2012 г. 15:30
© , 2025
