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

[Малыш Джон]

Автор: Udemy
Название: Введение в компьютерную логику (2022)

Описание:

Поймите логику работы компьютеров.

Логический подход относится к нисходящему типу (англ. 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


Содержание:

Модуль 1 - Введение в формальную логику

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Подробнее:

Скачать:

 

[Leon4ik]

Большое спасибо!

 

[sakitoru]

Должно быть интересно

 

[evgeniaaaaa]

Программирование мне не особо близко, но ради общего развития решила глянуть пару уроков.
И стало немного не по себе: преподавателя от робота отличает только любовь вставлять "А-а-а" через несколько слов.
Нет ощущения, что у уроков и курса есть какой-то скелет, нет повествования, выводов. Есть ощущение, что ты пришла в отдел техподдержки с конкретной проблемой, а там над тобой начинают издеваться, накидывая абстрактные вопросы о том, как космические корабли бороздят просторы вселенной, вкл/выкл и тому подобное. Ощущение того. что перед тобой пустая, бесчувственная машина с прописанной программой на уничтожение бесперспективного на её взгляд человечества. Именно поэтому ИИ ужасает - когда понимаешь кто и из каких соображений его создаёт.
Вероятно курс даёт какие-то базовые практические знания, но человеку с эмоциями для их получения нужно будет продираться через скупую и хаотичную подачу информации, как через лес с терновником.