Ярославский государственный университет им. П.Г. Демидова. Математика.

Пособие посвящено основам математической логики и теории алгоритмов. При этом исчисление высказываний представлено достаточно полно, для исчисления предикатов рассмотрены вопросы интерпретации, непротиворечивости и неразрешимости, теория алгоритмов представлена материалами по вычислимым функциям, разрешимым и перечислимым множествам, рассмотрены неразрешимые алгоритмические проблемы. Раздел формальной арифметики включает теорему Гёделя о неполноте.

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