- Регистрация
- 22 Февраль 2018
- Сообщения
- 11.997
Автор: udemy
Название: Введение в компьютерную логику (2022)
Описание:
Логический подход относится к нисходящему типу (англ. Top-Down AI) и означает создание экспертных систем, баз знаний и систем логического вывода и других систем, основанных на знаниях, имитирующих высокоуровневые психические процессы: мышление, рассуждение, речь, эмоции, творчество.
Логический подход может быть проиллюстрирован применением для этих целей языка и системы логического программирования Пролог. Программы, записанные на языке Пролог, представляют наборы фактов и правил логического вывода без жесткого задания алгоритма как последовательности действий, приводящих к необходимому результату.
Курс «Компьютерная логика» погрузит вас в мир формальной логики в различных её аспектах (в том числе и через призму исчисления предикатов первого порядка и его программной реализации — языка программирования Пролог). Также вы узнаете о многих видах логики , а также сопутствующую информацию, необходимую для погружения в мир технологий искусственного интеллекта. Основными рассматриваемыми темами курса являются:
- Основание логического подхода к ИИ
- Виды логик
- Логические операции и их таблицы истинности
- Некоторые свойства логических операций
- Наивная теория множеств
- Диаграммы Венна
- Двоичная система счисления
- Перевод чисел из двоичной системы в десятичную и обратно
- Важные логические операции
- Диаграммы логических выражений
- Пропозициональные выражения
- Функциональный базис
- Конъюнктивная и дизъюнктивная нормальные формы
- Что такое тавтология
- Логический вывод
- Что такое продукция
- Троичная логика
- Импликация в троичной логике
- Многозначные логики Лукасевича
- Правило резолюций
- Автоматическое доказательство теорем
- Формальные системы
- Теоремы Гёделя о неполноте
- Диагонализация Кантора
- Исчисление предикатов первого порядка
- Кванторы всеобщности и существования
- Законы отрицания кванторов
- Связанные и свободные переменные
- Язык программирования ПРОЛОГ
- Логические вентили из людей
- Многозначная логика Поста
Для прохождения курса не требуются какие-либо навыки программирования. Желательно, но необязательно понимание основ линейной алгебры.
Подробнее:
Скачать:
Название: Введение в компьютерную логику (2022)
Описание:
Логический подход относится к нисходящему типу (англ. Top-Down AI) и означает создание экспертных систем, баз знаний и систем логического вывода и других систем, основанных на знаниях, имитирующих высокоуровневые психические процессы: мышление, рассуждение, речь, эмоции, творчество.
Логический подход может быть проиллюстрирован применением для этих целей языка и системы логического программирования Пролог. Программы, записанные на языке Пролог, представляют наборы фактов и правил логического вывода без жесткого задания алгоритма как последовательности действий, приводящих к необходимому результату.
Курс «Компьютерная логика» погрузит вас в мир формальной логики в различных её аспектах (в том числе и через призму исчисления предикатов первого порядка и его программной реализации — языка программирования Пролог). Также вы узнаете о многих видах логики , а также сопутствующую информацию, необходимую для погружения в мир технологий искусственного интеллекта. Основными рассматриваемыми темами курса являются:
- Основание логического подхода к ИИ
- Виды логик
- Логические операции и их таблицы истинности
- Некоторые свойства логических операций
- Наивная теория множеств
- Диаграммы Венна
- Двоичная система счисления
- Перевод чисел из двоичной системы в десятичную и обратно
- Важные логические операции
- Диаграммы логических выражений
- Пропозициональные выражения
- Функциональный базис
- Конъюнктивная и дизъюнктивная нормальные формы
- Что такое тавтология
- Логический вывод
- Что такое продукция
- Троичная логика
- Импликация в троичной логике
- Многозначные логики Лукасевича
- Правило резолюций
- Автоматическое доказательство теорем
- Формальные системы
- Теоремы Гёделя о неполноте
- Диагонализация Кантора
- Исчисление предикатов первого порядка
- Кванторы всеобщности и существования
- Законы отрицания кванторов
- Связанные и свободные переменные
- Язык программирования ПРОЛОГ
- Логические вентили из людей
- Многозначная логика Поста
Для прохождения курса не требуются какие-либо навыки программирования. Желательно, но необязательно понимание основ линейной алгебры.
Подробнее:
Для просмотра содержимого вам необходимо авторизоваться.
Скачать:
Скрытый контент для пользователей All-dar.