Журавлев Ю. И., Флеров Ю. А., Вялый М. Н.
Показаны все результаты (2)Сортировка: самые недавние
Показаны все результаты (2)Сортировка: самые недавние

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

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