Научно-исследовательский вычислительный центр МГУ Интеллектуальные информационны 10 алгебраические системы группоид моноид группа пример