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