Фундаментальные и общие проблемы математики. Основания математики, математическая логика

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

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

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

В работе рассматриваются элементарные свойства (выразимые в языке первого порядка) групп автоморфизмов абелевых p-групп.

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

Методические указания содержат варианты индивидуальных заданий по теме "Элементы комбинаторики" дисциплины "Основы дискретной математики", а также необходимый материал для самостоятельного изучения этой темы и выполнения индивидуального задания. Для качественного усвоения курса издание содержит подробные определения, примеры, иллюстрации и обоснования.

В учебном пособии излагаются основные понятия логики высказываний, исчисления высказываний, логики предикатов и исчисления предикатов. Оно может быть использовано при изучении дисциплин "Математическая логика", "Математическая логика и теория алгоритмов" и "Дискретная математика и математическая логика" (блок ОПД, ЕН), а также специальных дисциплин. Библиогр.: 50 назв.