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