Компьютерное моделирование физических процессов
Построение графиков в Python, библиотека matplotlib
Автоматическое регулирование с обратной связью, компоненты системы управления
Моделирование случайных процессов, датчик псевдослучайных чисел, метод Монте-Карло
Метод рекуррентных соотношений, мгновенная и средняя скорость изменения величины
Моделирование полёта ракеты: законы Ньютона, сопротивление атмосферы, барометрическая формула
Корнев А.А., Лекции по курсу "Численные методы"
Кушниренко А. Г., Малый А. А. Запуск метеорологической ракеты как поучительный объект компьютерного моделирования в школьном курсе информатики.
Занятия начнутся в феврале. Как попасть на спецкурс?
Зарегистрироваться на платформе Мирера и вступить в группу по ссылке: https://mirera.ru/user/groups/698df490a60fcd25c01ef4d2
Курс имеет практическую направленность и требует самостоятельного изучения предложенных теоретических материалов и решений задач. Материалы с домашними заданиями открываются постепенно, по расписанию. В конце курса будет проведена финальная контрольная работа.
Начала теории формальных языков
Иерархия Хомского.
Конечные автоматы.
Автоматы с магазинной памятью (МП‑автоматы).
Синтаксический анализ для КС‑языков.
Практикум.
Рейуорд-Смит В. Дж. Теория формальных языков: Вводный курс.
Гинзбург С. Математическая теория контекстно‑свободных языков.
Занятия начнутся в марте. Как попасть на спецкурс?
Зарегистрироваться на платформе Мирера и вступить в группу по ссылке:
https://mirera.ru/user/groups/698dec496cefd9d7cba25a3d
Курс посвящен классическому разделу математической лингвистики и
теоретической информатики — теории формальных языков. В нем
рассмотрены классификация грамматик по Хомскому, регулярные
множества и выражения, конечные автоматы, автоматы с магазинной
памятью, программные утилиты
GREP, FLEX, BISON. Курс имеет практическую направленность,
рассматриваются части теории формальных языков, которые
применяются на практике при написании компиляторов, студенты
решают не менее 100+ практических заданий различной сложности за
курс, включая тестовые задания, практические задания,
сдают программы на Python, FLEX, BISON, задания на GREP и т.д.
Введение в современный анализ функций бесконечномерного аргумента II
Введение в функциональный суперанализ.
Введение в анализ комплексных функций на бесконечномерных банаховых пространствах над полем р-адических (гензелевых) чисел.
Применения этих исчислений в математической физике.
2. Богачев В.И., Смолянов О.Г., Соболев В.И. «Топологические векторные пространства и их приложения»
3. О.Г.Смолянов: Анализ на топологических линейных пространствах и его приложения (учебное пособие) -- Издательство Московского Университета -- 1979 -- 86 с.
4. И. Сигал, - Математические проблемы релятивистской физики, М., 1968.
5. Хренников А.Ю.: Суперанализ. 2005.
6. В.С.Владимиров, И.В.Волович, Е.И.Зеленов: Р-АДИЧЕСКИЙ АНАЛИЗ И МАТЕМАТИЧЕСКАЯ ФИЗИКА М.: Физматлит, 1994
7. Э. Хьюитт и К. Росс «Абстрактный гармонический анализ» в 2-х тт.
Структура групп и алгебр Ли
Системы корней
Представления полупростых алгебр Ли
Винберг, Онищик, "Семинар по группам Ли и алгебраическим группам"
Многообразие алгебр Ли
дифференциальные операторы. Структурные константы и тождество
Якоби. Многообразие алгебр Ли и орбиты действия группы GL(n).
Задача классификации алгебр Ли.
Подалгебра в алгебре Ли. Идеал. Простая алгебра Ли. Внешняя прямая сумма алгебр Ли.
Линейное представление алгебры Ли. Присоединенное представление.
Центр алгебры Ли. Дифференцирование алгебры Ли. Алгебра Ли дифференцирований.
Убывающий центральный ряд. Производный ряд. Нильпотентная алгебра Ли. Разрешимая алгебра Ли. Многообразия нильпотентных и разрешимых алгебр Ли.
Теорема Энгеля (идея доказательства). Критерий нильпотентности
алгебры Ли. Возрастающий центральный ряд.
Разрешимый радикал алгебры Ли. Свойства разрешимых идеалов алгебры Ли. Полупростая алгебра Ли. Теорема Ли (идея доказательства).
Коммутирующие операторы. Корневое разложение относительно коммутативной подалгебры
Свойства корневого разложения и достаточное условие полупростоты
алгебры Ли.
Симметрическая инвариантная билинейная форма на алгебре Ли. Идеал и его ортогональное дополнение. Форма Киллинга.
Критерий Картана разрешимости подалгебры в полной линейной алгебре Ли. Разложение Жордана линейного оператора. Существование
невырожденной инвариантной симметрической формы у полупростой
алгебры Ли.
Разложение полупростой алгебры Ли в прямую сумму простых алгебр.
Классические комплексные простые алгебры Ли.
Корневое разложение и инвариантная симметрическая билинейная форма. Связанные корни и достаточное условие простоты алгебры Ли.
Свойства корневого разложения sl(n, C).
Понятие торической подалгебры. Максимальный тор. Понятие картановской подалгебры. Максимальная нильпотентная подалгебра. Ранг алгебры Ли. Борелевская подалгебра простой алгебры Ли.
Конечномерные неприводимые представления алгебры Ли sl(2, C). Абстрактные системы корней и матрицы Картана. Примеры ранга два
Простые корни. Фундаментальная система корней. Положительные и отрицательные корни. Группа Вейля.
Схемы Дынкина и классификация простых комплексных алгебр Ли
Соотношения Серра. Понятие обобщенной матрицы Картана. Алгебры Каца-Муди и алгебры петель алгебры Ли. Простейшие примеры
Samelson H. Notes on Lie algebras. М."Мир 1969.
Джекобсон Н. Алгебры Ли. М."Мир 1964.
Кац В. Бесконечномерные алгебры Ли. М."Мир 1993.
Дополнительные главы линейной алгебры
Квадратичные формы.
Алгебры Клиффорда, периодичность Ботта.
Маломерные примеры спинорных представлений — спиноры Паули и
Дираĸа.
Модули над ĸольцами главных идеалов, Фробениусова форма линейного
оператора.
Квадратичные формы над ĸольцом целых чисел.
Квадратичные формы над на полем хараĸтеристиĸи 2, инвариант Арфа.
Г. Казанова, Веĸторная алгебра
Ж.-П.Серр. Арифметиĸа.
Дж. Милнор, Д. Хьюзмоллер. Симметричесĸие билинейные формы.
С. Ленг. Алгебра.
M.F. Atiyah, R. Bott, A. Shapiro Clifford modules
Дополнительные главы алгебры. Кольца и модули
Конечно порожденные коммутативные алгебры и аффинные многообразия.
Артиновы кольца.
D.Dummit, R.Foote, "Abstract algebra"
А.И. Кострикин, "Введение в алгебру"