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