Пинус

Элементарная и близкие к ней логические эквивалентности классических и универсальных алгебр, Бунина Е.И., Михалев А.В., Пинус А.Г., 2016

Элементарная и близкие к ней логические эквивалентности классических и универсальных алгебр, Бунина Е.И., Михалев А.В., Пинус А.Г., 2016.

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

Элементарная и близкие к ней логические эквивалентности классических и универсальных алгебр, Бунина Е.И., Михалев А.В., Пинус А.Г., 2016
Скачать и читать Элементарная и близкие к ней логические эквивалентности классических и универсальных алгебр, Бунина Е.И., Михалев А.В., Пинус А.Г., 2016
 

Основы универсальной алгебры, учебное пособие, Пинус А.Г., 2019

Основы универсальной алгебры, Учебное пособие, Пинус А.Г., 2019.

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

Основы универсальной алгебры, Учебное пособие, Пинус А.Г., 2019
Скачать и читать Основы универсальной алгебры, учебное пособие, Пинус А.Г., 2019
 

Условные термы и их применение в алгебре и теории вычислений, монография, Пинус А.Г., 2002

Условные термы и их применение в алгебре и теории вычислений, Монография, Пинус А.Г., 2002.

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

Условные термы и их применение в алгебре и теории вычислений, Монография, Пинус А.Г., 2002
Скачать и читать Условные термы и их применение в алгебре и теории вычислений, монография, Пинус А.Г., 2002