Теоретическая информатика, кибернетика · Теоретическая информатика, кибернетика (математика и компьютерные науки)

в СПбГУ · Санкт-Петербург

Год	БюджетПроходной балл на бюджетные места — сумма баллов последнего зачисленного в этом году.	ПлатноеПроходной балл на платные места в этом году.	Мест БЧисло бюджетных мест в этом году.	Мест ПЧисло платных мест в этом году.	Цена/год
2026	147	—	4	12	385 600 ₽

Профиль Теоретическая информатика, кибернетика в математике и компьютерных науках посвящён общим принципам вычислений, представления информации и управления сложными системами. Диссертации могут исследовать алгоритмы и их сложность, формальные языки, структуры данных, распределённые вычисления, кодирование, оптимальное управление и математические модели информационных процессов. Аспирант осваивает доказательство корректности, комбинаторные и вероятностные методы, построение формальных моделей и программную проверку гипотез. Главный результат обычно выражается в новом алгоритме, теореме или классе моделей. В СПбГУ направление развивается на границе фундаментальной математики и информатики. Профиль даёт возможность соединять вопросы вычислимости и сложности с прикладными задачами управления, сетей или анализа данных. Классическая университетская среда поддерживает взаимодействие с алгеброй, логикой, вероятностью и искусственным интеллектом. Подготовка строится вокруг самостоятельной задачи, регулярного семинарского обсуждения и строгого сопоставления результата с известными работами. Программа подходит выпускникам математики и компьютерных наук, которым интересны основания алгоритмов и общие закономерности обработки информации. Понадобятся дискретная математика, навыки доказательства и уверенное программирование. Степень кандидата физико-математических наук открывает возможности для исследований и преподавания, а также для работы в наукоёмких ИТ-командах. Полученная подготовка особенно полезна при разработке алгоритмов, формальной верификации, проектировании сложных систем и решении задач, где необходимо обосновать эффективность и корректность вычислений.

Теоретическая информатика исследует общие законы представления, передачи и обработки информации, а кибернетика – управление и взаимодействие в сложных системах. Объектами служат алгоритмы, формальные языки, вычислительные модели, автоматы, сети, системы принятия решений и управления. От прикладной разработки программ специальность отличается поиском общих закономерностей и доказуемых свойств, а от классической теории управления – более широким охватом информационных и алгоритмических процессов. Основные направления включают теорию алгоритмов и сложности, автоматы и формальные языки, кодирование, модели вычислений, искусственный интеллект, распознавание образов, оптимизацию, принятие решений, системный анализ и управление в условиях неопределённости. Диссертация может быть посвящена оценке сложности алгоритма, обучению модели при ограниченных данных, синтезу управления, интеллектуальному анализу текстов, устойчивости сетевой системы, распределённым вычислениям или верификации информационного процесса. Аспирант осваивает дискретную математику, вероятностные методы, оптимизацию, математическое моделирование, анализ алгоритмов и постановку вычислительных экспериментов. В зависимости от темы он работает с языками программирования, системами машинного обучения, симуляторами, решателями и средствами формальной проверки. Сдаются экзамены по истории и философии науки, иностранному языку и специальной дисциплине. Отрасль кандидатской степени определяется содержанием работы и профилем совета, чаще она относится к физико-математическим или техническим наукам. Результаты применяются в программных системах, робототехнике, связи, логистике, промышленном управлении, анализе данных и информационной безопасности. Специальность связана с математикой, вычислительной техникой, автоматикой и когнитивными исследованиями.

Кандидаты наук работают в НИИ, университетах, исследовательских подразделениях технологических и промышленных компаний, центрах искусственного интеллекта и систем управления. Типичные позиции – научный сотрудник, преподаватель, исследователь алгоритмов, специалист по машинному обучению, инженер по управлению, системный аналитик, архитектор алгоритмических решений или разработчик средств верификации. Степень полезна на должностях, где требуется создавать новые методы, доказывать их свойства и руководить исследовательской частью продукта. В академической сфере она служит основой самостоятельной карьеры, а в компаниях помогает отделять исследование от обычной разработки и отвечать за методическую корректность решения.