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