Исчисление высказываний (ИВ). Основные понятия. Алгебра высказываний. Основные логические операции. Правила записи сложных суждений. Законы эквивалентных преобразований формул. Проблемы разрешимости формул. Таблицы истинности. Метод дедуктивного вывода. Modus ponens. Метод дедуктивного вывода. Modus tollens. Основные аксиомы вывода. Принцип резолюции. Исчисление предикатов. Основные понятия. Алгебра предикатов. Основные логические операции. Правила записи сложных суждений. Законы эквивалентных преобразований. Сколемовская стандартная форма формулы. Основные аксиомы вывода. Исчисление нечётких множеств. Основные понятия. Алгебра нечётких множеств. Логика нечётких высказываний. Основные понятия. Реляционная алгебра. Основные и дополнительные унарные операторы. Реляционная логика. Основные понятия.