• 10 декабря 2015, четверг
  • Москва, Милютинский переулок, дом 19\4

Суть теории типов и её применение в народном хозяйстве

Регистрация на событие закрыта

Извините, регистрация закрыта. Возможно, на событие уже зарегистрировалось слишком много человек, либо истек срок регистрации. Подробности Вы можете узнать у организаторов события.

Другие события организатора

Общество скептиков
3032 дня назад
10 декабря 2015, начало в 19:30
Москва
Милютинский переулок, дом 19\4

Популярное изложение теории типов

В последнее время наметился новый подход к основаниям математики, отличный от классической логики и теории множеств. Его корни лежат в computer science и исследованиях по структуре программ, а ветви лежат в функциональном программировании, конструктивной логике, теории доказательств и даже геометрии. Наш лекторhttps://vk.com/fetisov_anton попробует дать неформальный обзор типов и их приложений.

О теории типов: ru.wikipedia.org/wiki/%D0%A2%D0%B5%...

Встреча пройдет в антикафе "Зеленая дверь" по адресу Милютинский переулок, дом 19\4. Оплата по тарифу антикафе.

Регистрация

Рекомендуемые события

Организуете события? Обратите внимание на TimePad!

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

Узнать больше