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