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

В прошлом году в Санкт-Петербургском академическом университете открылся бакалавриат (А), готовящий студентов по информатике с дальнейшей специализацией по теоретической информатике, разработке программного обеспечения или биоинформатике.

В этом году в Санкт-Петербургском государственном университете открывается бакалавриат (Ч) по математике и теоретической информатике.

Поскольку я принимал участие в создании обеих этих программ, коллеги настойчиво рекомендуют мне объясниться. (Зовут меня Эдуард Гирш, и я работаю в лаборатории математической логики ПОМИ РАН.)

Да, в обеих этих программах имеется теоретическая информатика, то есть theoretical computer science. Да, круг преподавателей существенно пересекается. Да, обе программы — в городе Санкт-Петербурге. Да, в обоих случаях теоретическая информатика — это базовые курсы по алгоритмам, дискретной математике и комбинаторике, сложности вычислений (P vs NP, многие слышали, наверное) и дальнейшие курсы по… ещё разнообразным алгоритмам, по криптографии, по машинному обучению и… (всего не перечислить).

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

Однако редко кто по окончании школы твёрдо знает, что ему нужно, и не меняет своего мнения в дальнейшем (например, я в своё время поступал, чтобы стать программистом… но как-то по-другому получилось). Две образовательных программы различаются не теоретической информатикой, а альтернативой — что, если не?..

Условно говоря, программа при лаборатории Чебышёва — это математика + теоретическая информатика, а программа Академического университета — это программирование + теоретическая информатика. То есть если вам интересна и другая математика — вам в (Ч), а если вам интересно программировать — в (А). Или от противного: если вам противно программировать, вам в (Ч), а если вы боитесь реально большого объёма сложной современной математики — вам в (А).

Надеюсь, я понятно объяснил (что непонятно — спрашивайте).

P.S. Предвижу возможный вопрос: а есть ли где-нибудь все три в одном флаконе — математика, теоретическая информатика и программирование? В ответ напомню анекдот про попугая, которого если дёрнуть за левую ногу — говорит по-английски, а если за правую — по-французски. "- А что будет, если его дёрнуть за обе ноги?" "- Тогда я упаду!" — отвечает попугай.

P.P.S. Disclaimer: эта заметка не претендует на полноту всех возможностей заниматься теоретической информатикой, она посвящена различиям между программами (А) и (Ч).