Заседание НУСа «Математическая Логика и Теория Категорий»
В эту субботу, 7 декабря, состоится третье заседание научно-учебного семинара «Математическая логика и теория категорий»!
Ждём Вас в 11:30 по адресу Старая Басманная ул., д. 21/4, стр. 1 в аудитории А-122 для обсуждения категории запятой, декартового квадрата, пределов и многого другого!
Научно-учебный семинар «Математическая Логика и Теория Категорий» нацелен на совместное изучение основ и актуальных результатов в сфере категорной логики, теории типов и теории моделей. Особое внимание уделяется изучению проблем и подходов, находящихся на пересечении математики, формальной философии, логики и теоретической информатики. В рамках семинаров предполагается введение в основные понятия и темы математических дисциплин напрямую связанных с категорной логикой. Основная задача семинара — совместное изучение основ категорной логики, поэтому участие не предполагает специальных знаний в указанных выше сферах.
Если Вы хотите присоединиться к семинару или выступить с докладом, то свяжитесь с организаторами (aagrigoryan_3@edu.hse.ru / riaiupov@edu.hse.ru). Семинар проходит по субботам в 11:30 в аудитории A-122. Семинар проводится в гибридном формате. Обязательно свяжитесь с организаторами, если Вам нужен пропуск.
Ссылка на чат семинара: https://t.me/+q7rhQuAMOcs0MTYy
