Извините, регистрация закрыта. Возможно, на событие уже зарегистрировалось слишком много человек, либо истек срок регистрации. Подробности Вы можете узнать у организаторов события.
Популярное изложение теории типов
В последнее время наметился новый подход к основаниям математики, отличный от классической логики и теории множеств. Его корни лежат в computer science и исследованиях по структуре программ, а ветви лежат в функциональном программировании, конструктивной логике, теории доказательств и даже геометрии. Наш лекторhttps://vk.com/fetisov_anton попробует дать неформальный обзор типов и их приложений.
О теории типов: ru.wikipedia.org/wiki/%D0%A2%D0%B5%...
Встреча пройдет в антикафе "Зеленая дверь" по адресу Милютинский переулок, дом 19\4. Оплата по тарифу антикафе.