[Udemy] Введение в компьютерную логику. 2022 [Roman Dushkin]

120

Логический подход относится к нисходящему типу (англ. Top-Down AI) и означает создание экспертных систем, баз знаний и систем логического вывода и других систем, основанных на знаниях, имитирующих высокоуровневые психические процессы: мышление, рассуждение, речь, эмоции, творчество.

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

Курс «Компьютерная логика» погрузит вас в мир формальной логики в различных её аспектах (в том числе и через призму исчисления предикатов первого порядка и его программной реализации — языка программирования Пролог). Также вы узнаете о многих видах логики , а также сопутствующую информацию, необходимую для погружения в мир технологий искусственного интеллекта.

Содержание:
Модуль 1 — Введение в формальную логику

  • Основание логического подхода к ИИ
  • Виды логик
  • Наивная теория множеств
  • Диаграммы Венна
  • Двоичная система счисления
  • Перевод чисел из двоичной системы в десятичную и обратно

Модуль 2 — Логические операции и пропозициональные выражения

  • Логические операции и их таблицы истинности
  • Важные логические операции
  • Некоторые свойства логических операций
  • Диаграммы логических выражений
  • Пропозициональные выражения
  • Что такое тавтология
  • Правила де Моргана

Модуль 3 — Троичные и многозначные логики

  • Троичная логика
  • Импликация в троичной логике
  • Многозначные логики Лукасевича
  • Многозначная логика Поста

Модуль 4 — Логики и логический вывод

  • Что такое продукция
  • Хорновские выражения
  • Логический вывод
  • Правило резолюций
  • Автоматическое доказательство теорем

Модуль 5 — Формальные системы

  • Формальные системы
  • Теоремы Гёделя о неполноте
  • Диагонализация Кантора

Модуль 6 — Исчисление предикатов первого порядка

  • Исчисление предикатов первого порядка
  • Кванторы всеобщности и существования
  • Законы отрицания кванторов
  • Связанные и свободные переменные
  • Язык программирования ПРОЛОГ

Модуль 7 — Логические функции

  • Логическая функция
  • Функциональный базис
  • Конъюнктивная и дизъюнктивная нормальные формы
  • СДНФ и СКНФ
  • Преобразование функции в СДНФ
  • Преобразование функции в СКНФ
  • Для чего нужны СДНФ/СКНФ
  • Практический пример использования булевых функций

Модуль 8 — Оптимизация логических функций

  • Обзор методов оптимизации булевых функций
  • Карты Карно
  • Диаграмма Вейча
  • Метод неопределённых коэффициентов
  • Метод Куайна
  • Метод Куайна — МакКласки

Модуль 9 — Бонус: о вычислительных системах

  • Логические вентили из людей

Для прохождения курса не требуются какие-либо навыки программирования. Желательно, но необязательно понимание основ линейной алгебры.