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