Главное
Руководители
Студенты
Пакет 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 года
Архив докладов за весну 2007 года
13.03.2007 |
Красно-черные деревья |
Александр Сучков |
20.03.2007 |
Арифметика Пресбургера |
Евгений Вареник |
27.03.2007 |
Теория Пойа |
Мальская Екатерина |
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 года
Архив докладов за осень 2005 года
|