Документ взят из кэша поисковой машины. Адрес оригинального документа : http://al.cs.msu.ru/static/seminars/catfl/
Дата изменения: Mon Apr 28 10:46:28 2008
Дата индексирования: Mon Oct 1 20:05:01 2012
Кодировка: koi8-r
Семинар «Компьютерная aлгебра и теория формальных языков» Moscow State University Computer Science department
Московский государственный университет им. М. В. Ломоносова

Факультет вычислительной математики и кибернетики

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


Семинар «Компьютерная aлгебра и теория формальных языков»

Занятия проходят посредам в 16:20 в аудитории 780.

Главное

Руководители

Студенты

Пакет Maple TFL

Материалы

Ссылки

Следующее заседание семинара состоится в среду 30 апреля , тема семинара -- отчет по курсовым работам, докладывают студенты 3 и 4 курсов.


На семинаре мы изучаем вопросы компьютерной алгебры и теории формальных языков.

Компьютерная алгебра (символьные вычисления) --- раздел информатики, методы которго нацелены на точное компьютерное решение на уровне формул как математических, так и других научно-технических задач. Среди систем компьютерной алгебры наибольшую известность и распространение получили Maple и Mathematica.

Теория формальных языков занимается вопросами представления и автоматического преобразования синтаксических структур различной природы. Она изучает формальные грамматики, конечные и магазинные автоматы, альтернативные графовые формализмы.

На семинаре также рассматриваются интересные алгоритмы, актуальные технологии программирования.

План докладов на весну 2008 года

Дата Тема доклада Докладчик
20.02.2008 Система LaTex Мальская Екатерина
05.03.2008 Введение в статистическую обработку текста и введение в теорию обучения машин Орлов Дмитрий
12.03.2008 Интегральное представление и суммирование в замкнутом виде Евгений Викторович Зима
19.03.2008 Инструменты для изготовления презентаций на основе TeX Юдочев Дмитрий
26.03.2008 Итерационные алгоритмы: деление полиномов Сорокин Антон
02.04.2008 Методы синтаксического анализа "сверху-вниз" Харченков Сергей, Строганов Александр
16.04.2008 Алгоритм Каармаркара - Лекшмана сдвига коэффициентов многочленов Платонов Денис
23.04.2008 Степенные ряды и линейные разностные уравнения С.А.Абрамов (ВЦ РАН)
23.04.2008 Блочные символьные матричные алгоритмы М.С.Зуев (Тамбовский университет)
30.04.2008 Отчетный семинар Студенты 3 и 4 курсов
07.05.2008 Отчетный семинар Студенты 5 курса

Архив докладов за осень 2007 года

Дата Тема доклада Докладчик
03.10.2007 Формальные системы в семантике естественных языков Дмитрий Орлов
10.10.2007 Параллельные алгоритмы. Нижние оценки сложности Устинов В.Д.
17.10.2007 Рекурсия и индукция Юдочев Д.В.
24.10.2007 Теория сложности Мерзляков В.В.
31.10.2007 Алгоритмы на графах. Поиск в глубину Сорокин А.С.
07.11.2007 projector Введение в систему Maple 10 Строганов А.Ю. и Харченков С.Л.
14.11.2007 Программирование в системе Maple 10 Строганов А.Ю. и Харченков С.Л.
21.11.2007 Parametric polynomial system solving with Maple J. Gerhard
28.11.2007 Один метод оптимизации вычисления градиента Платонов Д.В.
05.12.2007 Полиномиальное деление Федулкин Алексей
12.12.2007 Поиск медианы массива Мясников Алексей
19.12.2007 Отчетный семинар Все студенты

Архив докладов за весну 2007 года

Дата Тема доклада Докладчик
13.03.2007 Красно-черные деревья Александр Сучков
20.03.2007 Арифметика Пресбургера Евгений Вареник
27.03.2007 projector Теория Пойа Мальская Екатерина
03.04.2007 Комбинаторика Швейкина Ольга, Бортаковская Мария
10.04.2007 Матроиды Мерзляков Василий
17.04.2007 Теоретико-числовые алгоритмы Масалин Ержан
25.04.2007 Отчетный семинар Все студенты

Архив докладов за осень 2006 года

Дата Тема доклада Докладчик
28.09.2006 Поиск медианы из множества n чисел Алексей Федулкин
05.10.2006 Задача о суммах подмножеств Евгений Вареник
12.10.2006 Алгоритмы поиска подстрок Екатерина Мальская
19.10.2006 Система компьютерной алгебры Maple Александр Сучков
26.10.2006 Система компьютерной алгебры Maple (продолжение) Александр Сучков
02.11.2006 Сортировка с помощью кучи Ержан Масалин
09.11.2006 Регулярные языки Василий Мерзляков
16.11.2006 Жадные алгоритмы Алексей Федулкин
23.11.2006 Построение элементарных комбинаторных объектов Денис Платонов
30.11.2006 Системы непересекающихся подмножеств Алексей Мясников
07.12.2006 Синтаксический анализ КС-языков Александр Алексеев
14.12.2006 Отчетный семинар Все студенты

Архив докладов за весну 2006 года

Дата Тема доклада Докладчик
28.02.2006 Об оптимальности схемы Горнера Евгений Вареник
07.03.2006 40 лет быстрой сортировке: частный взгляд Дмитрий Логинов
14.03.2006 Модулярные вычисления и интерполяция Алексей Щербаков
21.03.2006 Арифметические схемы Александр Сучков
28.03.2006 projector Web 2.0 Павел Сутырин
04.04.2006 projector Формальные системы для визуализации развития растений Екатерина Мальская
11.04.2006 projector Двумерные формальные языки Григорий Плотников
18.04.2006 Вероятностые алгоритмы (Монте-Карло и Лас-Вегаса) Евгений Вареник
25.04.2006 Китайская теорема об остатках и алгоритм быстрого умножения Александр Алексеев
02.05.2006 Кратчайшие пути для пары вершин Алексей Мясников
16.05.2006 projectorОтчетный семинар Все студенты

Архив докладов за осень 2005 года

Дата Пвяювпке Докладчик
06.10.2005 Свободное программное обеспечение projector Павел Сутырин
13.10.2005 Клеточные автоматы projector Екатерина Мальская
20.10.2005 Система Компьютерной алгебры Maple. Обзор возможностей. Начала программирования projector Александр Алексеев
27.10.2005 Программирование в Maple projector Александр Сучков
03.11.2005 Символьные вычисления над последовательностями Дмитрий Логинов
10.11.2005 Построение выпуклой оболочки Алексей Мясников
17.11.2005 TeX - система верстки текстов с формуламиprojector Алексей Федулкин
24.11.2005 Алгоритмы быстрого умножения Антон Онуфриев
01.12.2005 Производящие функции. Формальные грамматики с однозначным выводом. Разбиения и разложения projector Павел Сутырин,
Григорий Плотников
08.12.2005 Отчетный семинар Все студенты

Valid HTML 4.01!