«Введение в компьютерную логику» [Udemy]

Поймите логику работы компьютеров. Логический подход относится к нисходящему типу (англ. Top-Down AI) и означает создание экспертных систем, баз знаний и систем логического вывода и других систем, основанных на знаниях, имитирующих высокоуровневые психические процессы: мышление, рассуждение, речь, эмоции, творчество. Логический подход может быть проиллюстрирован применением для этих целей языка и системы логического программирования Пролог. Программы, записанные на языке Пролог, представляют наборы фактов и правил логического вывода без жесткого задания алгоритма как последовательности действий, приводящих к необходимому результату. Курс «Компьютерная логика» погрузит вас в мир формальной логики в различных её аспектах (в том числе и через призму исчисления предикатов первого порядка и его программной реализации — языка программирования Пролог). Также вы узнаете о многих видах логики , а также сопутствующую информацию, необходимую для погружения в мир технологий искусственного интеллекта. Основными рассматриваемыми темами курса являются: 1. Основание логического подхода к ИИ 2. Виды логик 3. Логические операции и их таблицы истинности 4. Некоторые свойства логических операций 5. Наивная теория множеств 6. Диаграммы Венна 7. Двоичная система счисления 8. Перевод чисел из двоичной системы в десятичную и обратно 9. Важные логические операции 10. Диаграммы логических выражений 11. Пропозициональные выражения 12. Функциональный базис 13. Конъюнктивная и дизъюнктивная нормальные формы 14. Что такое тавтология 15. Логический вывод 16. Что такое продукция 17. Троичная логика 18. Импликация в троичной логике 19. Многозначные логики Лукасевича 20. Правило резолюций 21. Автоматическое доказательство теорем 22. Формальные системы 23. Теоремы Гёделя о неполноте 24. Диагонализация Кантора 25. Исчисление предикатов первого порядка 26. Кванторы всеобщности и существования 27. Законы отрицания кванторов 28. Связанные и свободные переменные 29. Язык программирования ПРОЛОГ 30. Логические вентили из людей 31. М ногозначная логика Поста Чему вы научитесь: 1. Понимание предмета и сути компьютерной логики 2. Понимание основ логик другого типа 3. Знание основ двоичной логики 4. Умение оптимизировать двоичные функции Для прохождения курса не требуются какие-либо навыки программирования. Желательно, но необязательно понимание основ линейной алгебры. Для кого этот курс: 1. Студенты технических вузов 2. Разработчики программного обеспечения 3. Инженеры-системотехники 4. Преподаватели технических вузов 5. Все, кто хочет понимать основы Computer Science