Илья Мещерин: Основы теории множеств и логика

В Кочерге вновь планируется цикл семинаров по теории алгоритмов — науке, которая является свзующим звеном между программированием и абстрактной математикой. Это область с огромным числом нерешенных вопросов, в числе которых одна из проблем тысячелетия — проблема «P=NP?». В планах: — дать формальное определение алгоритма как машины Тьюринга, обсудить, какие проблемы являются алгоритмически неразрешимыми и почему, — рассмотреть примеры разрешимых проблем, для которых быстрые алгоритмы известны и для которых нет, — поговорить о классах сложности P и NP, об NP-полноте классических задач и о том, почему ответ на вопрос «P=NP?» так сложен и так важен. От слушателей ожидается владение математикой и программированием на уровне выпускника 11-го класса профильной школы. Опыт решения олимпиадных задач по информатике будет плюсом. Ведущий — Илья Мещерин, студент 6 курса кафедры дискретной математики МФТИ, студент Школы анализа данных Яндекса.