Теория сложности доказательств

Теория сложности доказательств
9 сентября 2010 четверг 18:00
Автор изображения: telegraph

Лекторы

Александр Куликов

Александр Куликов

Кандидат физико-математических наук, научный сотрудник ПОМИ РАН, директор Computer Science Center, координатор Computer Science клуба в Петербурге.

Эдуард Гирш

Эдуард Гирш

Кандидат физико-математических наук, ведущий научный сотрудник ПОМИ РАН.

Лекция

18:00–19:00 — На открытии осеннего семестра будет рассказано об истории создании клуба, курсах предстоящего семестра и некоторых нововведениях. Также о кафедре математических и информационных технологий Академического университета, об Академии современного программирования, о физико-математическом клубе, о недавно прошедшей Школе Microsoft по структурам данных и алгоритмам и о готовящейся школе CSEDays.Application 2010.

19:00–20:35 — После собрания Эдуард Гирш прочтёт первую лекцию курса по теории сложности доказательств.

Организатор

Computer Science клуб

Computer Science клуб

Основная цель — предоставить студентам Санкт–Петербурга возможность получить образование в области Theoretical Computer Science.

Цена

бесплатно

Комментарии

Комментировать