А.Г. Пинус

В монографии рассматриваются вопросы классификации классических и универсальных алгебр в тех или иных естественных языках математической логики. С подробными доказательствами излагаются классические результаты: элементарная эквивалентность булевых алгебр и абелевых групп, теорема Кейслера—Шелаха об изоморфизме, теорема Мальцева об элементарной эквивалентности линейных групп над полями. Также в...

Дата выхода: июль 2016

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

Издательство: Издательство НГТУ
Дата выхода: январь 2003