🗊Презентация Кафедра алгоритмических языков

Факультет ВМК МГУ имени М.В. Ломоносова Кафедра алгоритмических языков

Кафедра алгоритмических языков Кафедра была создана в 1970 году одновременно с основанием самого факультета. Основатель и первый заведующий кафедрой – один из пионеров практической космонавтики и программирования в нашей стране Лауреат Ленинской премии член-корреспондент РАН Святослав Сергеевич Лавров. (1923-2004). В честь Святослава Сергеевича названа малая планета (№ 2354, Lavrov), открытая в 1978 году.

Заведующие кафедрой алгоритмических языков

Автоматический синтаксический анализ Предложена новая модель описания синтаксиса русского языка, реализована экспериментальная версия эвристического синтаксического анализатора, разработаны методы разрешения омонимии с помощью компьютерных словарей сочетаемости.

Работа с текстами на японском языке Создана экспериментальная система для автоматизации работы с текстами на японском языке: лингвистического анализа, получения справочной информации и т.д.

Анализ текстов по шаблонам Разработан комплекс программ анализа текстов по лексико-синтаксическим шаблонам, который включает средства построения приложений по автоматической обработке текста на русском языке, а также среду пользователя для анализа текстов по шаблонам ; комплекс опробован для решения прикладных задач, в том числе – терминологического анализа научно-технических текстов.

Служба тематических толковых словарей Создан и поддерживается общенациональный веб-ресурс «Служба тематических толковых словарей Glossary Commander» (www.glossary.ru), неоднократно занимавший первое место по посещаемости среди научных сайтов (данные рейтинга  Rambler Top 100).

Алгоритмы символьных вычислений Разрабатываются алгоритмы решения в символьном виде задач компьютерной алгебры: алгоритмы преобразования полиномиальных матриц; алгоритмы преобразования линейных дифференциальных и разностных систем; алгоритмы построения решений линейных дифференциальных и разностных систем. Ведется работа по модернизации существующих алгоритмов компьютерной алгебры. Разрабатываемые алгоритмы доступны в виде процедур для популярной системы компьютерной алгебры Maple.

Основные темы исследований Разработан новый метод описания формальных языков (L-графы), с его помощью решен ряд прикладных задач. Предложены новые методы синтеза программ (синтез по формальным спецификациям и на основе онтологии прецедентов); реализованы системы синтеза программ. Разработана методика, позволяющая интегрировать вычислительные модели различных языков программирования в среду C++. Созданы объектно-ориенти-рованные библиотеки, представляющие вычислительные модели языков Lisp, Scheme, Refal, Prolog и Planner.

Основные темы исследований Создан улучшенный алгоритм решения переборных задач методом ретроградного анализа, позволяющий в несколько раз ускорить классический алгоритм. Главное же, алгоритм эффективно распараллеливается для решения задач на суперкомпьютерах, что еще не удавалось никому в мире. С помощью алгоритма на суперкомпьютере Ломоносов было выполнено полное решение задачи игры в шахматы для 7 и менее фигур. Таблицы, названные «таблицами Ломоносова», объемом более 100 ТБ (в сжатом виде) позволяют сразу же получать оптимальное решение для игры в шахматы при 3-7 фигурах на доске. На основании таблиц зарубежные авторы (John Nunn, Guy Haworth) в 2013 г. году провели и опубликовали (в журнале Chess Endgame News) несколько исследований по шахматной эндшпильной теории. Международной федерацией заочных шахмат (ICCF) принято решение, начиная с 2014 года, прекращать игру и присуждать результаты партий по таблицам Ломоносова, если партия достигла эндшпиля, в котором известен результат по таблицам.

НИР: шахматная информатика Начальная позиция мата за 549 ходов (решение найдено по «таблицам Ломоносова»)

Магистерские программы кафедры Программа, по которой ведется обучение с 2008 года «Прикладные Интернет-технологии» Дисциплины специализации: -- Веб-ресурсы -- Язык гипертекстовой разметки HTML -- Веб-дизайн -- Интернет-приложения -- Протоколы Интернет -- Менеджмент Интернет-проектов -- Управление проектами (доп.главы) -- Веб-сервисы -- Технологии конструирования Интернет-приложений -- Защита информации в сети Интернет -- Веб-серверы -- Алгоритмическая поддержка Интернет-технологий

Магистерские программы кафедры Программа, обучение по которой началось в 2015 году: «Интеллектуальные системы» Дисциплины специализации: -- Параллельные вычисления -- Прикладной многомерный статистический анализ -- Методы интеллектуального анализа данных -- Парадигмы программирования -- Модели представления знаний и онтологии -- Математические методы анализа текста (на англ. языке) -- Прикладные задачи компьютерной лингвистики -- Программные системы управления проектами -- Интеллектуальный интерфейс

Спецкурсы в поддержку спецсеминаров Спецкурсы в поддержку спецсеминаров

Спасибо за внимание!