Название: Условные термы и их применение в алгебре и теории вычислений
Автор: Пинус А.Г.
Издательство: НГТУ
Год: 2002
ISBN: 5-7782-0392-6
Формат: pdf
Страниц: 240
Размер: 14,9 Мб
Язык: русский

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