Скачать Введение в компьютерную логику - udemy (2022)

[bart]

Введение в компьютерную логику
udemy - Roman Dushkin

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

• Основание логического подхода к ИИ
• Виды логик
• Логические операции и их таблицы истинности
• Некоторые свойства логических операций
• Наивная теория множеств
• Диаграммы Венна
• Двоичная система счисления
• Перевод чисел из двоичной системы в десятичную и обратно
• Важные логические операции
• Диаграммы логических выражений
• Пропозициональные выражения
• Функциональный базис
• Конъюнктивная и дизъюнктивная нормальные формы
• Что такое тавтология
• Логический вывод
• Что такое продукция
• Троичная логика
• Импликация в троичной логике
• Многозначные логики Лукасевича
• Правило резолюций
• Автоматическое доказательство теорем
• Формальные системы
• Теоремы Гёделя о неполноте
• Диагонализация Кантора
• Исчисление предикатов первого порядка
• Кванторы всеобщности и существования
• Законы отрицания кванторов
• Связанные и свободные переменные
• Язык программирования ПРОЛОГ
• Логические вентили из людей
• Многозначная логика Поста

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



Продажник:

Для просмотра вы должны войти или зарегистрироваться.

Скачать: