ФИЛОСОФИЯ, МАТЕМАТИКА И КОМПЬЮТЕРНЫЕ НАУКИ

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

Оставить заявку

9 месяцев

232 часа занятий с преподавателями

из них — 91 онлайн-занятие

длительность

онлайн по средам с 19:00 до 20:30
и субботам с 10:00 до 13:15 (мск)

3 офлайн-сессии по 2 дня в Санкт-Петербурге

формат

11 сентября 2026 года — 29 мая 2027 года

даты проведения

Для специалистов на стыке IT и гуманитарных наук и практик: тех, кто уже работает в цифровых компаниях, исследовательских или образовательных проектах и хочет лучше понимать технологическую сторону происходящего. Кому нужен язык, на котором можно одновременно обсуждать архитектуру системы, поведение людей и последствия решений — от интерфейсных и организационных до этических.

Для тех, кто думает о смене профессиональной траектории: у кого есть высшее образование — техническое или гуманитарное — и кто ищет перспективу для профессионального развития: выйти за пределы своей исходной специальности, сформировать междисциплинарную экспертизу. Кому важна не «ещё одна прикладная программа», а возможность собрать непротиворечивую картину того, как устроены современные цифровые экосистемы

Для кого?

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

Для всех независимых мыслителей на пересечении бизнеса, технологий и философии

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

МАТЕМАТИКА

- границы формализации и природа понимания
- познание как процесс, который не может быть полностью алгоритмизирован
- онтологические обязательства теорий, моделей и систем

Что значит «знать», «понимать», «обосновывать»?
Каковы онтологические предпосылки наших моделей?

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

- мышление о системах
- архитектурные паттерны
- анализ распределённых систем
- консенсус, отказоустойчивость, наблюдаемость
- формализация архитектурных инвариантов

Как эти формальные и философские ограничения проявляются в реальных системах?
Что происходит, когда вычисления разворачиваются во времени, в сети, между агентами?
Как проектировать системы, зная, что полного знания о них быть не может?

1

2

3

ФИЛОСОФИЯ

Что можно вычислить в принципе?
Какие формальные структуры существуют?
Какие свойства доказуемы?

КОМПЬЮТЕРНЫЕ НАУКИ

Как устроена программа

Занятия проходят в онлайн-формате два раза в неделю — в среду с 19:00 до 20:30 по мск, в субботу с 10:00 до 13:15. Три раза за год проводятся двухдневные офлайн-интенсивы: 11-12 сентября, 15-16 января и 28-29 мая. Для участников, которые не могут присутствовать на офлайн-сессиях, будет организована трансляция

В конце каждого курса участники сдают эссе, проектную работу или устный экзамен.

В течение всего обучения каждый участник работает над индивидуальным выпускным проектом, который может быть:
1) проектом новой модельной системы (организационной, информационной, киберфизической) или рекомендацией по развитию существующей
2) философским или междисциплинарным исследовательским проектом
3) решением рабочей проектной задачи обучающегося

Также возможна работа над проектом другого типа после согласования с научным руководителем. Научные руководители назначаются из числа кураторов программы в соответствии с темой проекта

Научитесь описывать архитектуру систем, используя философские концепции и математические методы, и переводить её в надёжные инженерные решения

Научитесь анализировать распределённую систему как целое с эмерджентными свойствами, временем жизни, причинностью и потоками данных

в результате обучения вы:

Сможете анализировать мультиагентные системы, где у разных участников разная информированность и разные цели, и проектировать решения с асимметрично распределенным знанием

Будете способны к самостоятельным исследованиям на стыке философии, математики и компьютерных наук и к созданию новых междисциплинарных связей

содержание программы

1 модуль

2 модуль

кураторы программы

илья егорычев

доктор философских наук, математик, философ, логик, главный эксперт математического журнала для взрослых Soulmaths, консультант по информационным технологиям в компании «Мир Эстейт»

Андрей родин

доктор философских наук, специалист по философии науки, математики и эпистемологии компьютерного представления знаний. Ранее работал в ИФ РАН и Смольном колледже СПбГУ, сейчас — в Университете Paris-Cité (Франция)

Вячеслав шириков

системный архитектор, сооснователь и технический директор ГК "Лартех" с 20‑летним опытом построения сложных распределённых IIoT‑систем с миллионами работающих устройств. С 2024 года курирует гранты по разработке индустриальных систем прикладного ИИ на базе СПбГУ и ННГУ. Область экспертизы: как проектировать сложные системы, принимать архитектурные решения в условиях реальных ограничении и доводить их до работающих продуктов

преподаватели

Георгий шабат

Доктор физико-математических наук, профессор РГГУ кафедры математики, логики и интеллектуальных систем в гуманитарной сфере, более 30 лет руководит семинаром "Графы на поверхностях и кривые над числовыми полями" на мехмате МГУ

константин пименов

Кандидат физико-математических наук. Область научных интересов --- ориентированные теории когомологий, A1-теория гомотопий, структурная теория колец и модулей, маломерная теория Галуа.
Доцент кафедры высшей алгебры и теории чисел СПбГУ, на которой работает с 2000 года

антон сюрин

Системный и бизнес аналитик с 20+ лет опытом работы, руководитель отдела проектирования, преподаватель в IT-школах OTUS, IBS

лев дворкин

Аспирант кафедры математической логики и теории алгоритмов мехмата МГУ. Лауреат премии «Молодым математикам России» (2024) за работу «О логиках доказуемости арифметики Нибергалля». Специализация: модальные логики, логики доказуемости

0лег демченко

Кандидат физико-математических наук, доцент СПбГУ, выпускник Европейского университета в Санкт-Петербурге

что вы получите?

установленного образца

Диплом о профессиональной переподготовке

Сообщество и экспертизу на стыке трёх дисциплин

стоимость

330 000

~~363 000~~

рублей при оплате до 21 июля

рублей

при оплате по полной стоимости доступна рассрочка на 3 платежа

возможна оплата от юридических лиц

оставить заявку

Для участия в программе необходимо предоставить документ о среднем профессиональном или высшем образовании или справку о статусе студента. Мы попросим вас прислать эти документы, когда получим заявку

Мы свяжемся с вами в течение 3 рабочих дней после отправки формы

Мы также предложим вам пройти небольшое мотивационное интервью с кураторами программы, которое позволит прояснить, как программа поможет в достижении ваших целей

о европейском университете

Европейский университет в Санкт-Петербурге — исследовательский университет постдипломного образования, основанный в 1994 году.
ЕУСПб объединяет лучшие традиции российской и мировой науки и готовит ученых и экспертов в области социальных и гуманитарных наук.

контакты

адрес

Россия, Санкт-Петербург, ул. Гагаринская, 6/1А, (вход со Шпалерной, дом 1)

+7 (812) 386-76-30

телефон

соцсети

сайт

https://eusp.org/

почта

dpo@eu.spb.ru

Задать вопрос