Кафедра математической логики и теории алгоритмов мехмата МГУ

#матлог #учёба #спецсеминар

11 февраля 2026 г. состоится первое в 2026 г. заседание Рабочего семинара по математической логике под руководством С.Л. Кузнецова и С.О. Сперанского, в рамках НОЦ МИАН. Ранее семинар действовал под названием «Вероятностные и субструктурные логические системы».

Время начала: 16:00
Место: МИАН (ул. Губкина, 8), ауд. 303
Всех слушателей просим зарегистрироваться на странице семинара: https://www.mathnet.ru/conf2533

С.О. Сперанский (МИАН)

Об определимости в слабых арифметических структурах посредством монадических формул второго порядка

Аннотация:

Под слабой арифметической структурой мы будем понимать структуру на натуральных числах такую, что: а) все соответствующие ей предикаты и функции вычислимы; б) её элементарная (т.е. первопорядковая) теория разрешима. Примерами такого рода структур являются арифметики Пресбургера и Сколема, т.е. натуральные числа с равенством и сложением либо умножением. Цель настоящего доклада — познакомить слушателей с рядом результатов и проблем, связанных с определимостью в слабых арифметических структурах посредством монадических формул второго порядка. Здесь «монадические» означает, что все предикатные переменные имеют арность 1, т.е. их значениями являются одноместные предикаты на натуральных числах. На самом деле, в логике второго порядка именно монадические формулы зачастую представляют наибольший интерес. В докладе будет подробно разобран случай арифметики Пресбургера, менее подробно — случаи арифметики Сколема и некоторых родственных ей структур.

➰ ВК

#матлог #учёба #спецсеминар #не_мехмат #МИАН #ТД

Logic Online Seminar (https://www.mathnet.ru/rus/conf876), Monday 16:00 MSK (UTC+3), MIAN Room 313 + Kontur Talk

09.02.2026, Т.Л. Яворская (МГУ): О семантике логики свидетельств первого порядка со связывающими модальностями (очный)

Доклад посвящен семантике гибридной логики первого порядка, в языке которой присутствуют и свидетельские термы, и модальность. Особенность таких логик в том, что язык позволяет выразить как утверждение "t является свидетельством формулы F, содержащей свободную переменную x", так и "для данного значения x, t является свидетельством формулы F(x)". В первом утверждении переменная x связанная, во втором свободная. Естественным представляется добавить в язык аналогичную конструкцию и для модальности (так называемые связывающие модальности). Мы определим логику, которая комбинирует логику свидетельств первого порядка FOLP и модальную логику S4 первого порядка со связывающими модальностями. Для этой логики определим модели в стиле моделей Фиттинга для FOLP, сформулируем теоремы о полноте и корректности относительно этой семантики и коротко обсудим основную идею доказательства. Мы используем эту семантику для доказательства невыводимости некоторых принципов и покажем, при каких требованиях мы можем гарантировать существование модели, отвечающей им.

➰ ВК

#матлог

--------------------------------------------------------------
↪ Логика, лингвистика и формальная философия
4 февраля в 18:10 состоится 110-е заседание научно-теоретического семинара «Формальная философия».

Тема доклада: Когда и как принимается логика: эпистемология "adoption problem".

Докладчик: Александр Хлебалин (старший научный сотрудник Институт философии и права СО РАН, к.филос.н.).

Аннотация: «Проблема принятия», или «adoption problem» обозначает дискуссию, развернувшуюся вокруг лекции Сола А. Крипке (1975 г.), представленной позже (2024 г.) как статьи «The Question of Logic», поводом для которой стала работа Х. Патнэма «Is Logic Empirical?» (1968). Это обмен мнения сконцентрирован на вопросе о возможности рациональной смены используемой логики. Как сами инициаторы дискуссии, так и вступившие в нее участники, при обсуждении исходной проблемы конкретизировали и, одновременно, расширили исходную формулировку до трех основных составляющих проблемы:
(1) Какова природа аргументов в пользу допустимости рационального изменения используемой логики?
(2) Как может ответить на проблему принятия тот, кто считает, что рациональное принятие логики возможно?
(3) Каковы последствия возможных решений проблемы для классических вопросов философии логики, таких как вопрос о природе нормативности логики, эпистемологического статуса логической истины и т.п.?
Доклад посвящен экспозиции возникновения и развития «проблема принятия» в философии логики, освещению сформулированных подходов к ее решению, следствий принятия позиций для смежных классических проблем эпистемологии логики.

Литература:
1. Putnam H. IS LOGIC EMPIRICAL?// Boston Studies in the Philosophy of Science. V.
2. Kripke S. The Question of Logic.// Mind, Vol. 133 . 529.
3. Birman R. The Adoption Problem and the Epistemology of Logic // Mind, Vol. 133 . 529 .
_____________________

Ждём вас в кабинете А-117 или в Zoom!

Анонс и регистрация: https://llfp.hse.ru/announcements/1123629624.html

➰ ВК

#матлог #спецсеминар #не_мехмат #МФТИ

Уважаемые коллеги, приглашаем вас на логический семинар лаборатории им. Манина Высшей школы современной математики МФТИ (ВШМ).
Страница семинара: www.mathnet.ru/rus/conf2559.

Семинар пройдет в среду 4 февраля в 14:00.

Место проведения:
МФТИ, Административный корпус, ауд. 322, Первомайская ул. д.7, Долгопрудный.
Чтобы пройти на семинар, а также для получения ссылки на интернет-трансляцию пишите на почту kudinov.andrey@gmail.com.

Название: Введение в семантику первопорядковых модальных логик - часть 5

Докладчик: В.Б. Шехтман

Доклад основан на вводных лекциях о семантике первопорядковых модальных логик, прочитанных совместно с Д. Шкатовым летом 2025 года в рамках ESSLLI 2025. Будут изложены результаты о полноте относительно шкал и пучков Крипке - сохранение полноты при операции Boxing, а также метод селективных игр.

Необходимые сведения из частей 1-4 будут даны в начале доклада.

➰ ВК

#матлог #конференции

Сегодня начинается регистрация на международную научную конференцию студентов, аспирантов и молодых учёных «Ломоносов-2026» (https://lomonosov-msu.ru/rus/event/10500/). В этом году конференция пройдет с 10 по 25 апреля.

Регистрация продлится до 2 марта (включительно).

По решению центрального оргкомитета формат конференции - очный. Однако для докладчиков из других регионов и стран возможно онлайн-подключение к заседаниям подсекций.

На секции «Математика и механика» будут представлены следующие подсекции.
👉Аэромеханика
👉Вещественный, комплексный и функциональный анализ
👉Вычислительная математика, математическое моделирование и численные методы
👉Вычислительная механика
👉Газовая и волновая динамика
👉Геометрия и топология
👉Гидромеханика
👉Дискретная математика и математическая кибернетика
👉Дифференциальные уравнения, динамические системы и оптимальное управление
👉Математическая логика, алгебра и теория чисел
👉Механика композитов
👉Прикладная механика и управление
👉Теоретическая механика и мехатроника
👉Теория вероятностей и математическая статистика
👉Теория и методика преподавания математики
👉Теория пластичности
👉Теория упругости
👉Абитуриенты (станет доступна в ближайшее время)

Вместе с заявкой участник также должен прикрепить тезисы своего выступления. Правила оформления тезисов Вы можете найти по ссылке: https://lomonosov-msu.ru/rus/event/10500/page/5067. Наличие тезисов - необходимое условие допуска к участию.

➰ ВК

#матлог #учёба #спецсеминар

"Семинар по геометрической теории групп" в Математическом институте им. В.А. Стеклова РАН (Москва, ул. Губкина, 8) под руководством И.Г. Лысёнка и А.Л. Таламбуцы начинает работу в весеннем семестре.

Первое заседание: 12 февраля

Место проведения: МИАН, ком. 430

Время проведения: четверг 16:00

Страница семинара: https://www.mathnet.ru/conf1892

‼Всем участникам (в т.ч. онлайн-участникам) просьба зарегистрироваться на странице семинара по ссылке выше. Будет возможность удалённого подключения через Контур Толк (ссылку получат зарегистрированные слушатели).

Основная цель семинара — обзор и изложение интересных результатов в области геометрической теории групп и смежных областях. Доклады будут готовиться на основе опубликованных статей разных авторов, а также на основе работ участников семинара и приглашённых докладчиков.

От участников не требуется специальной подготовки. Основное требование — наличие интереса к получению новых математических знаний. Участие студентов категорически приветствуется (предполагается зачёт).

Расписание докладов формируется в процессе работы семинара. Предварительно запланировано три студенческих доклада.

➰ ВК

#матлог #учёба #семинар #не_мехмат #ВШЭ

Уважаемые коллеги, приглашаем вас принять участие в заседании научного семинара "Современные проблемы математической логики" в ВШЭ.

Семинар пройдет в очном формате с одновременной трансляцией
на Математическом факультете ВШЭ, в аудитории 110 (ул. Усачева, д. 6). Мы будем транслировать доклад в zoom, но лучше приходите очно.
Если вам нужен пропуск в здание матфака, пришлите ваши ФИО и просьбу о пропуске на почту kudinov.andrey@gmail.com.

Дата и время: 30.01.2026 в 16:20

Докладчик: Анна Оверчук

Название: Модели вычисления и их сложность. Классические, вероятностные, квантовые.

Аннотация:
Хорошо известна одна из проблем тысячелетия: вопрос о равенстве классов сложности P и NP.
По своей сути, эта проблема, как и многие другие в теории сложности, упирается в сравнение различных математических моделей (концепций) вычислений. На практике оказывается крайне сложно установить строгие соотношения между принципиально разными вычислительными подходами.

В своем докладе я сосредоточусь на сравнении трёх ключевых моделей: классической(машина Тьюринга), вероятностной и квантовой.
Я расскажу о способах их формального определения, обсужу, как их расширяют вероятностные и квантовые подходы, и как сравнивать их вычислительную мощность между собой.

➰ ВК

#матлог #учёба #спецсеминар

"Рабочий семинар по математической логике" в Математическом институте им. В.А. Стеклова РАН (Москва, ул. Губкина, 8) под руководством С.Л. Кузнецова и С.О. Сперанского (ранее — семинар «Вероятностные и субструктурные логические системы») начинает работу в весеннем семестре.

Первое заседание: 11 февраля

Место проведения: МИАН, ком. 303

Время проведения: среда 16:00

Страница семинара: https://www.mathnet.ru/conf2533

‼Всем участникам (в т.ч. онлайн-участникам) просьба зарегистрироваться на странице семинара по ссылке выше. Будет возможность удалённого подключения через Контур Толк (ссылку получат зарегистрированные слушатели).

Цель семинара — познакомить участников с разнообразными результатами и методами в области математической логики и теоретической информатики. Предполагается, что программа семинара будет состоять из докладов продолжительностью 2-4 занятия, включающих достаточно подробные разборы актуальных работ (как недавних, так и классических) в данной области. В качестве источников будут выступать статьи и главы из книг, а также собственные тексты докладчиков.

Семинар призван помочь студентам, аспирантам и молодым учёным расширить свой кругозор и освоить более продвинутые техники.

➰ ВК

#матлог #учёба #спецкурс

С.Л. Кузнецов, С.О. Сперанский в Математическом институте им. В.А. Стеклова РАН (Москва, ул. Губкина, 8) прочитают спецкурс "Теория вычислимости и лямбда-исчисление".

Первая лекция: 11 февраля

Место проведения: МИАН, ком. 303

Время проведения: среда 18:00

Страница спецкурса: https://www.mathnet.ru/conf2697

‼Всем участникам (в т.ч. онлайн-участникам) просьба зарегистрироваться на странице курса по ссылке выше. Будет возможность удалённого подключения через Контур Толк (ссылку получат зарегистрированные слушатели).

Аннотация.
Формализация понятия вычислимости, построение универсальных вычислимых функций (прообразов операционных систем) и появление естественных примеров алгоритмически неразрешимых проблем — одни из ярчайших событий в истории современной математики и информатики, связанные с пионерскими работами Курта Гёделя, Алонзо Чёрча, Алана Тьюринга и Стивена Клини. Курс будет посвящён стоящему за этими событиями математическому аппарату и его развитию. В частности, мы обсудим знаменитую «проблему остановки», весьма полезную теорему Клини о неподвижной точке, вычислимость с оракулом (предложенную Тьюрингом) и арифметическую иерархию (тесно связанную с формальной арифметикой), а также то, как классифицировать алгоритмические проблемы по степени неразрешимости.

В одной из исторически первых формализаций понятия вычислимости использовалось так называемое лямбда-исчисление (предложенное Чёрчем). Лямбда-исчисление лежит в основе парадигмы функционального программирования, в которой программа представляется в виде сложного выражения (терма), а процесс вычисления заключается в применении упрощающих преобразований (редукций). В курсе будет представлено лямбда-исчисление в его бестиповом и типизованном вариантах. В первом реализуются все вычислимые функции, а во втором — только некоторый подкласс всюду определённых вычислимых функций. В конце курса также будет рассказано о связи лямбда-исчисления с доказуемостью в интуиционистской логике (соответствие Карри–Говарда) и его приложениях в системах автоматизированного поиска доказательств.

➰ ВК

#матлог #учёба #семинар #не_мехмат #ВШЭ

Научный семинар "Современные проблемы математической логики" в ВШЭ продолжает свою работу в новом полугодии!

❗Обратите внимание на аудиторию.

Семинар пройдет в очном формате с одновременной трансляцией
на Математическом факультете ВШЭ, в аудитории 110 (ул. Усачева, д. 6). Мы будем транслировать доклад в zoom, но лучше приходите очно.
Если вам нужен пропуск в здание матфака, пришлите ваши ФИО и просьбу о пропуске на почту kudinov.andrey@gmail.com.

Дата и время: 23.01.2026 в 16:20

Название: Верифицируемое вычисление и GKR-протокол

Докладчик: Амир Исмаилов

Аннотация:
В докладе будет представлено введение в теорию верифицируемого вычисления (SNARKs). Это область криптографии и теоретической информатики, занимающаяся созданием эффективно проверяемых (O(1) или O(log N)), коротких (O(1) или O(log N)), неинтерактивных доказательств корректности вычисления программ.

Мы поговорим об общей криптографической формализации задачи и, начиная с модели интерактивных протоколов с оракулами (IOP), введём несколько абстрактных компиляторов (Polynomial Commitment Schemes, Fiat-Shamir heuristic) для создания таких доказательств. Главным примером для нас будет Sumcheck-протокол и его обобщение, протокол GKR.

Если позволит время, то обсудим современные оптимизации GKR-протокола и направления исследования в области в целом.

Предполагается минимальное знакомство с вычислимостью и теорией сложности, а также знание абстрактной алгебры на уровне первого курса матфака. Все необходимые сведения из криптографии будут напоминаться по ходу доклада.

➰ ВК

14 января в 18:10 состоится 108-е заседание научно-теоретического семинара «Формальная философия».

Тема доклада: Теория научного объяснения Ч. С. Пирса. От трёх типов рассуждения – к типологии научных объяснений (часть 2).

Докладчик: Вера Шумилина.

Аннотация: Проблема существования (и конструирования) универсальной единой теории научного объяснения считается закрытой (Woodward & Ross, 2021). Со времени ее постановки Гемпелем и Оппенгеймом (1948) прошло лишь несколько десятилетий, когда существующий плюрализм теорий в различных дисциплинах (Mancosu et al., 2023; Machamer et al., 2000) поставил под вопрос возможность единой, подходящей для всех дисциплин, а не ориентированной на законосообразные физические объяснения, теории научного объяснения.

Продолжающийся в рамках эпистемологии научных объяснений спор эпистемических, включая унификационизм (Friedman, 1974; Kitcher, 1981, 1989), модель охватывающих законов (Hempel, 1965) и прагматический подход (van Fraassen, 1980), теорий с онтическими, в первую очередь каузальными моделями (Salmon, 1984; Woodward, 2003), показал нерелевантность нормативной установки в отношении теорий научного объяснения.

Сложившуюся к концу 20 века ситуацию в философии науки усугубил и методологический разрыв с логическими теориями объяснения (Douven, 2025). В докладе будет представлена теория, позволяющая разрешить противоречия логического, методологического и философско-научного подходов к теории научного объяснения на основании реконструированной теории научного объяснения Ч.С. Пирса. Она, в свою очередь, основана на типологии рассуждений как стадий научного исследования.

Реконструкция фокусируется на соблюдении эпистемологических требований. Показано, что теория соблюдает требования как эпистемического (связь объяснения и предсказания, обоснование объяснений), так и онтического (учёт различных отношений зависимости в объяснениях, обеспечение понимания) подхода.
_________________

Ждём вас в кабинете А-117 или в Zoom!

Анонс и регистрация: https://llfp.hse.ru/announcements/1110099141.html

#матлог #наука #ВШЭ #конференция

29 декабря на факультете компьютерных наук НИУ ВШЭ пройдёт мини-конференция «Logic Matters 2025» (программа ниже).

Место проведения — Москва, Покровский б-р, д. 11, ауд. F301. Планируется также возможность онлайн-подключения.

Для участия (в т.ч. получения пропуска в здание ВШЭ) нужно зарегистрироваться на странице https://cs.hse.ru/ai/clst/issa/logmatters/ . Просьба желающим зарегистрироваться как можно быстрее, во всяком случае, не позже четверга 25 декабря (если нужен пропуск).

Программа конференции:

10:00 — 10:30 сбор участников

10:30 — 10:45
Вступительное слово
Кузнецов Сергей Олегович, Директор Центра языковых и семантических технологий ФКН, НИУ ВШЭ

10:45 — 11:15
Строго позитивные логики и стройные порядки
Беклемишев Лев Дмитриевич, Математический институт им. В.А. Стеклова РАН, НИУ ВШЭ

11:15 — 11:45 кофе-брейк

11:45 — 12:15
Пайплайн для верификации сгенерированных LLM решений математических задач
Сазонова Варвара Андреевна, Московский государственный университет имени М.В.Ломоносова

12:15 — 12:30 перерыв

12:30 — 13:00
О вопросах сходимости и генерализации для нейронных схем малой глубины
Разборов Александр Александрович, Математический институт им. В.А. Стеклова РАН, University of Chicago

13:00 — 14:00 обед

14:00 — 14:30
AI в математике: последние новости
Николенко Сергей Игоревич, Санкт-Петербургское отделение Математического института им. В.А. Стеклова РАН (онлайн)

14:30 — 14:45 перерыв

14:45 — 15:15
Табличное разрешение классов типов
Соколов Павел Павлович, НИУ ВШЭ

15:15 — 15:45 кофе-брейк

15:45 — 16:15
О замыкающих ординалах для первопорядковых логик вероятности с распределением на носителе
Сперанский Станислав Олегович, Математический институт им. В.А. Стеклова РАН, НИУ ВШЭ

16:15 — 16:30 перерыв

16:30 — 17:00
Сложность эквациональных теорий двух классов решеток Клини с делениями
Кузнецов Степан Львович, Математический институт им. В.А. Стеклова РАН, НИУ ВШЭ

17:00 — …
Общая дискуссия «Могут ли нейронки рассуждать?»
Закрытие конференции

➰ ВК

#матлог #учёба #спецсеминар

17 декабря в 18:10 состоится 107-е заседание научно-теоретического семинара «Формальная философия».

Тема доклада: Теория научного объяснения Ч. С. Пирса. От трёх типов рассуждения – к типологии научных объяснений".

Докладчик: Вера Шумилина.

Аннотация: Проблема существования (и конструирования) универсальной единой теории научного объяснения считается закрытой (Woodward & Ross, 2021). Со времени ее постановки Гемпелем и Оппенгеймом (1948) прошло лишь несколько десятилетий, когда существующий плюрализм теорий в различных дисциплинах (Mancosu et al., 2023; Machamer et al., 2000) поставил под вопрос возможность единой, подходящей для всех дисциплин, а не ориентированной на законосообразные физические объяснения, теории научного объяснения.

Продолжающийся в рамках эпистемологии научных объяснений спор эпистемических, включая унификационизм (Friedman, 1974; Kitcher, 1981, 1989), модель охватывающих законов (Hempel, 1965) и прагматический подход (van Fraassen, 1980), теорий с онтическими, в первую очередь каузальными моделями (Salmon, 1984; Woodward, 2003), показал нерелевантность нормативной установки в отношении теорий научного объяснения.

Сложившуюся к концу 20 века ситуацию в философии науки усугубил и методологический разрыв с логическими теориями объяснения (Douven, 2025). В докладе будет представлена теория, позволяющая разрешить противоречия логического, методологического и философско-научного подходов к теории научного объяснения на основании реконструированной теории научного объяснения Ч.С. Пирса. Она, в свою очередь, основана на типологии рассуждений как стадий научного исследования.

Реконструкция фокусируется на соблюдении эпистемологических требований. Показано, что теория соблюдает требования как эпистемического (связь объяснения и предсказания, обоснование объяснений), так и онтического (учёт различных отношений зависимости в объяснениях, обеспечение понимания) подхода.
_____________________

Ждём вас в кабинете А-117 или в Zoom!

Анонс и регистрация: https://llfp.hse.ru/announcements/1110099141.html

➰ ВК

#матлог #учёба #спецсеминар #не_мехмат #МИАН

Математический институт им. В.А.Стеклова РАН

Общеинститутский семинар по математике и её приложениям (https://www.mathnet.ru/conf142)

Семинар состоится в четверг 18 декабря 2025 года в 16 часов в
МИАН, ул. Губкина, 8, в конференц-зале на 9-м этаже,
а также Онлайн, в сервисе Kontur Talk.

Кандидат физ.-матем. наук С. О. Сперанский

"Вычислительные аспекты элементарных теорий классов вероятностных пространств"

Аннотация:

Доклад будет посвящён алгоритмическим вопросам для элементарных теорий различных классов вероятностных пространств (конечных, дискретных, произвольных, безатомных). При этом будут рассмотрены как теории в односортном языке с переменными по событиям, так и теории в двухсортном языке, дополнительно содержащем переменные по вещественным числам. Кроме того, внимание будет уделено «слабым» пространствам, в которых меры подразумеваются конечно-аддитивными, но не обязательно счётно-аддитивными; такого рода пространства используются в семантике многих вероятностных логических систем, возникающих в теоретической информатике. Стоит отметить, что хотя основное внимание будет сосредоточено на языках, близких к традиционно изучаемым элементарным языкам полей и решёток, у практически всех сопутствующих результатов имеются естественные аналоги для так называемых «первопорядковых логик вероятности», которые возникли в работах Дж. Хальперна и чьи варианты продолжают активно изучаться (например, группой З. Огняновича в Белграде).

➰ ВК

#матлог #учёба #спецсеминар

Kolmogorov seminar on complexity (for receive the zoom link, please email nikolay.vereshchagin@gmail.com)

15 December, 18:30 MSK

Sasha Kozachinskiy

Language identification and generation in the limit.

I will finish my talk about language generation, this time I will present some about language generation for regular and context-free languages.

Annotation of the first part is below.

Assume we have a family of formal languages F. An adversary selects a language L from F and starts enumerating elements of L in some order. Our task is to guess L after seeing finitely many elements of the enumeration. If there is an algorithm that does it regardless of the adversary's actions, we call F identifiable in the limit. Angluin (1980) have obtained necessary and sufficient conditions for countable families to be identifiable in the limit and gave an example of the family of "pattern languages", satisfying these conditions.

Kleinberg and Mullainathan have recently considered a variation of this setting, where the task is not to guess L but to indicate an infinite subset of L after finitely many steps. Families, for which this is possible, are called generatable in the limit. They have shown that any countable family is generatable in the limit. Moreover, it can be done computably whenever membership query for the family is decidable. In the talk I will cover these results.

➰ ВК

#матлог #учёба #просеминар

💥В среду 17 декабря состоится очередное занятие просеминара по математической логике и информатике.

✨Тема: "Полугруппы с делениями - продолжение" (Пшеницын Тихон, выпускник кафедры, аспирант МИАН).
✨Аннотация. Бинарные отношения с операцией композиции, формальные языки с операцией конкатенации, компакты R^n с суммой Минковского — примеры полугрупп с делениями. На каждой из этих структур можно определить операции левого деления a\b и правого деления b/a, связанные с полугрупповой операцией соответствием Галуа. На занятии мы исследуем различные виды полугрупп с делениями и сравним их с точки зрения того, какие законы в них выполняются. Мы также рассмотрим смежный вид структур — прегруппы — и разберем пример, как ученые с помощью прегрупп описывают синтаксис предложений естественных языков.
✨Можно заранее порешать задачи (прикреплены к посту).

✅Просеминар проходит по средам в 15:00-16:35 в аудитории 406 (2 гуманитарный корпус).
✅По просьбам участников создан чат просеминара в телеграме: https://t.me/+8lzSUf8ghLAzMjRi
✅Информацию о просеминаре можно найти на странице logic.math.msu.ru/proseminar/.
⛔К сожалению, сайт кафедры сейчас работает нестабильно, поэтому ориентируйтесь на информацию в группе кафедры ВК или в телеграм-канале по хештегу #просеминар ‼

📝 Handout_Proseminar_Residuated_Semigroups.pdf

➰ ВК

#матлог #учёба #семинар #не_мехмат #ВШЭ

Уважаемые коллеги, приглашаем вас принять участие в заседании научного семинара "Современные проблемы математической логики" в ВШЭ.

Семинар пройдет в очном формате с одновременной трансляцией
на Математическом факультете ВШЭ, в аудитории 108 (ул. Усачева, д. 6). Мы будем транслировать доклад в zoom, но лучше приходите очно.
Если вам нужен пропуск в здание матфака, пришлите ваши ФИО и просьбу о пропуске на почту kudinov.andrey@gmail.com.

Дата и время: 12.12.2025 в 16:20

Название: Суперструктуры и нестандартный анализ

Докладчик: Лапушкин Евгений

Аннотация:
В докладе будет представлен подход к нестандартному анализу через суперструктуры и его теоретико-модельные аспекты.
Для множества X, содержащего базовые элементы того или иного математического контекста, мы построим универсум V(X), который содержит всевозможные объекты, которые могут понадобиться при работе с X. Этот универсум задает естественную модель в языке с символом принадлежности, где формулы с ограниченными кванторами допускают естественную интерпретацию. Мы обсудим принцип переноса, внутренние и внешние множества, а также посмотрим на приложения.

➰ ВК

#матлог #учёба #спецсеминар

Семинар "Вычислимость и неклассические логики" работает по пятницам с 16.45 в аудитории 425.

12 декабря 2025 г.

Г. Г. Черевиченко
"Определение подстановки и альфа-конверсии методом Jean-Louis Krivine".
Аннотация: доказать что-либо строго про подстановку и альфа-конверсию мучительно трудно, поэтому проблему почти всегда замалчивают. Но есть интересные нестандартные подходы, самым неожиданным из которых, видимо, является подход Кривина.

➰ ВК