1 |
Название дисциплины |
Компьютерная алгебра |
2 |
Курс обучения, специальность |
3, 1-31 03 09 Компьютерная математика и системный анализ |
3 |
Семестр обучения |
6 |
4 |
Количество кредитов |
2 |
5 |
ФИО лектора |
Профессор Садовский Антон Павлович, д.ф.-м.н. |
6 |
Цели изучения дисциплины |
Формирование навыков решения практических задач, связанных с полиномиальными системами. |
7 |
Пререквизиты |
Компьютерная математика, Алгебра и теория чисел |
8 |
Содержание дисциплины |
Аффинное многообразие и полиномиальный идеал. Алгоритм деления в кольце многочленов нескольких переменных. Теорема Гильберта о базисе. Базисы Гребнера. Теоремы об исключении и продолжении. Результанты. |
9 |
Рекомендуемая литература |
1. Садовский, А. П. Полиномиальные идеалы и многообразия / А. П. Садовский. — Минск: БГУ, 2008. — 200 с. 2. Кокс, Дэвид. Идеалы, многообразия и алгоритмы = Ideals, Varieties, and Algorithms: Введение в вычислительные аспекты алгебраической геометрии и коммутативной алгебры / Д. Кокс, Дж. Литтл, Д. О’Ши; Пер.с англ. Ю.Ю. Кочеткова под ред. В.Л. Попова. — Москва: Мир, 2000. — 687с. |
10 |
Методы преподавания |
Смешанный с элементами дистанционного обучения, проблемный, исследовательский |
11 |
Язык обучения |
Русский |
12 |
Условия(требования), текущий контроль |
Отчеты по лабораторным работам с их устной защитой |
13 |
Форма текущей аттестации |
Зачет |