Аннотации:
Рассмотрен метод "управляемого переоткрытия" (разновидность генетического метода) при обучении сложнейшим разделам абстрактной алгебры, включающим конгруэнции в (универсальных) алгебрах, а также фактор-алгебры по конгруэнциям, теоремы о гомоморфизмах для алгебр.