Кафедра ИУ9 (original) (raw)
Теоретическая информатика
и компьютерные технологии
Кафедра осуществляет подготовку бакалавров по направлению «Прикладная математика и информатика» и магистров по направлению «Прикладная математика».
Мы готовим разработчиков математического и программного обеспечения для высокотехнологичных областей техники и современных информационных технологий с уклоном в высокоэффективное программирование, предусматривающее углублённые знания алгоритмов, технологий компиляции и оптимизации программного кода, особенностей создания многопоточных, параллельных и распределенных приложений.
Учебные планы предусматривают фундаментальную математическую подготовку, близкую к базовой математической подготовке на физико-математических специальностях классических университетов. Дополнительно, студенты знакомятся с рядом предметных областей, в которых активно используются новейшие достижения математики и программирования, включая лингвистику, биоинформатику и молекулярное моделирование.
Подготовка и преимущества
- Учебные планы по математике первых двух курсов близки к учебным планам общей математической подготовки механико-математического факультета и соответствуют учебным планам факультета ВМиК МГУ им. М.В. Ломоносова. Основные математические курсы читают преподаватели и сотрудники механико-математического факультета и факультета вычислительной математики и кибернетики МГУ им. М.В. Ломоносова.
- Усиленное изучение алгоритмов осуществляется с первых дней обучения.
- С первого курса вырабатывается практический навык быстрого и эффективного изучения языков и парадигм программирования.
- Ориентация программы бакалавриата на системное программирование и конструирование компиляторов.
- Углублённая подготовка в области компьютерной лингвистики, био-и хемоинформатики в магистратуре.
Особенности кафедры
- Углублённая математическая подготовка.
- Приоритет фундаментальной научной подготовки над общеинженерной.
- В несколько раз больший объём практических заданий по программированию.
- Ориентация на UNIX-подобные операционные системы.
Процесс обучения (курсовые и выпускные работы, НИР) и специализация выпускников кафедры базируется на следующих научных и производственных направлениях:
- разработка уникальных алгоритмов, включая решение задач класса NP;
- создание новых языков программирования;
- автоматический анализ исходных текстов программ;
- анализ архитектур и использования операционных систем, прикладного программного обеспечения на высокопроизводительных вычислительных установках;
- компьютерная лингвистика, включающая разнообразные задачи обработки текстов на естественных языках;
- разработка и системное обеспечение сложных информационных систем, со специальными алгоритмами обработки данных, включая геоинформационные, тестирующие и обучающие системы.
GitHub — веб-сервис для хостинга IT-проектов и их совместной разработки. Является одним из крупнейших онлайн-хранилищ совместной работы по всему миру.
Групповой аккаунт кафедры на GitHub предназначен для размещения учебных материалов и интересных кафедре программных проектов. Если желаете стать участником, обращайтесь на кафедру.
Provskell
Проект включает калькулятор арифметических выражений над ординалами и прувер, позволяющий интерактивно исследовать завершаемость систем переписывания термов путём подбора их интерпретации в ординальной алгебре. Проект основан на дипломной работе Пискунова Александра (бакалавриат, выпуск 2022 года)
Python Tracer
Интерактивный тренажёр по Python.
Тренажёр предназначен для обучения чтению программ на Python 3 студентов факультета «Лингвистика» по курсу «Основы программирования».
Проект основан на курсовой работе по курсу «Конструирование компиляторов» Сергея Голованя, написанной в 2017/2018 учебном году.
