Кафедра алгоритмических языков - презентация, доклад, проект скачать

Нажмите для полного просмотра!

Кафедра алгоритмических языков, слайд №1

Кафедра алгоритмических языков, слайд №2

Кафедра алгоритмических языков, слайд №3

Кафедра алгоритмических языков, слайд №4

Кафедра алгоритмических языков, слайд №5

Кафедра алгоритмических языков, слайд №6

Кафедра алгоритмических языков, слайд №7

Кафедра алгоритмических языков, слайд №8

Кафедра алгоритмических языков, слайд №9

Кафедра алгоритмических языков, слайд №10

Кафедра алгоритмических языков, слайд №11

Кафедра алгоритмических языков, слайд №12

Кафедра алгоритмических языков, слайд №13

Кафедра алгоритмических языков, слайд №14

Кафедра алгоритмических языков, слайд №15

Кафедра алгоритмических языков, слайд №16

Кафедра алгоритмических языков, слайд №17

Кафедра алгоритмических языков, слайд №18

Кафедра алгоритмических языков, слайд №19

Кафедра алгоритмических языков, слайд №20

Кафедра алгоритмических языков, слайд №21

Кафедра алгоритмических языков, слайд №22

Кафедра алгоритмических языков, слайд №23

Кафедра алгоритмических языков, слайд №24

Кафедра алгоритмических языков, слайд №25

Содержание ▲

Вы можете ознакомиться и скачать презентацию на тему Кафедра алгоритмических языков. Доклад-сообщение содержит 25 слайдов. Презентации для любого класса можно скачать бесплатно. Если материал и наш сайт презентаций Mypresentation Вам понравились – поделитесь им с друзьями с помощью социальных кнопок и добавьте в закладки в своем браузере.

Слайды и текст этой презентации

Слайд 1

Описание слайда:

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

Слайд 2

Описание слайда:

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

Слайд 3

Описание слайда:

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

Слайд 4

Описание слайда:

Слайд 5

Описание слайда:

Слайд 6

Описание слайда:

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

Слайд 7

Описание слайда:

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

Слайд 8

Описание слайда:

Слайд 9

Описание слайда:

Слайд 10

Описание слайда:

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

Слайд 11

Описание слайда:

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

Слайд 12

Описание слайда:

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

Слайд 13

Описание слайда:

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

Слайд 14

Описание слайда:

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

Слайд 15

Описание слайда:

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

Слайд 16

Описание слайда:

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

Слайд 17

Описание слайда:

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