К первой паре / Алгебра. Лекция 9. Элементарная редукция, система Грёбнера и Критерий Бухбергера

Преподаватель бакалаврской программы «Прикладная математика и информатика» Роман Авдеев в девятой лекции по алгебре объясняет понятие элементарной редукции, системы Грёбнера, а также заводит речь о критерии Бухбергера. Следите за новостями Факультета Компьютерных Наук в соцсетях: 00:10 Напоминания про многочлены от нескольких переменных над полем 01:58 Понятие элементарной редукции 15:07 Лемма о конечности цепочек элементарных редукций 26:57 Остаток многочлена относительно системы многочленов 30:41 Понятие системы Грёбнера 33:53 Характеризация систем Грёбнера в терминах цепочек элементарных редукций 55:23 Понятие S-многочлена двух многочленов 59:43 Критерий Бухбергера, следствие, примеры 1:07:22 Доказательство критерия Бухбергера 🔗 За новостями Вышки Онлайн следите в наших социальных сетях: 🧘 Мы в Дзене: 🧑🏻‍💻 Наш блог на VC: