Лекция 7. Д.Д. Киселев. Стандартные базисы Гребнера–Ширшова и смежные вопросы