53 с. (Автор не указан.) Данный курс служит формированию знаний и умений, которые образуют теоретический фундамент, необходимый для постановки и решения задач в области информатики, для корректного понимания ограничений, возникающих при создании вычислительных структур, алгоритмов и программ обработки информации. Содержание: Назначение курса. Логические представления. История...
МГАПИ, Москва, проф. Мацнев А.П., 2004 г. Основы математической логики. Алгебра логики. Введение в формальные системы. Исчисление высказываний. Исчисление предикатов и теории первого порядка. Неклассические логики. Теория алгоритмов.
Теория алгоритмов. Различные подходы к определению алгоритма: Машина с неограниченными регистрами (МНР). Машина Тьюринга - Поста. Нормальные алгоритмы Маркова. Реализация функции натурального переменного. Эквивалентность трех подходов к понятию алгоритма. Булевы функции. Основные определения. Дизъюнктивные нормальные формы. Логические исчисления. Исчисление высказываний (ИВ)....
Сентенциональные связки.
Элементарные формулы.
Составные формулы.
Истинностные функции.
Исчисления высказывания.
Тавтологии в исчислении высказываний.
Эквивалентность высказываний.
Теоремы об эквивалентности.
Логические следствия.
Основные теоремы о логическом следствии.
Метод доказательства от противного.
Основные понятия исчисления предикатов.
Логика высказываний.
Лингвистические соображения, формулы.
Таблицы истинности, общезначимость.
Правило подстановки, совокупность общезначимых формул.
Отношение следования.
Сокращенные таблицы истиности.
Доказуемость и выводимость.
Теорема о дедукции.
Непротиворечивость, правила введения и удаления.
Полнота.
Логика предикатов.
Лингвистические соображения, формулы....
Элементы математической логики. Логические операции, логические функции, функции алгебры логики. Свойства конъюнкции, дизъюнкции и отрицания. Свойства функций сложения по модулю 2, импликации, штриха Шеффера и стрелки Пирса (функции Вебба). Основные классы ФАЛ. Минимальные формы, Карты Карно. Тождественно истинные формулы. Отношение равносильности и эквивалентность. Элементы...
Операции логики Буля.
Формы представления булевых операций.
Методы доказательства в логике Буля.
Задания на практическую работу по логике высказываний.
Введение в логику высказываний.
Построение доказательств в логике высказываний.
Аксиоматический метод.
Таблицы истинности.
Метод Вонга.
Метод натурального исчисления.
Задания на практическую работу по логике высказываний....
Комментарии