Аннотация

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

Аннотация

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