Поиск
Искать только в заголовках
Автор:
Искать только в заголовках
Автор:
Главная
Отзывы
Получить доступ
Стол заказов
FAQ
Обновление ссылок
Заработать
Поддержка
Вход
Регистрация
Поиск
Искать только в заголовках
Автор:
Искать только в заголовках
Автор:
Меню
Установить приложение
Установить
Ответить в теме
Главная
Каталог курсов
IT, ИИ, программирование, тестирование, аналитика
[Udemy] [Roman Dushkin] Введение в компьютерную логику (2022)
JavaScript отключён. Для полноценно использования нашего сайта, пожалуйста, включите JavaScript в своём браузере.
Вы используете устаревший браузер. Этот и другие сайты могут отображаться в нем неправильно.
Необходимо обновить браузер или попробовать использовать
другой
.
Сообщение
<blockquote data-quote="Slivopedia" data-source="post: 635" data-attributes="member: 1"><p><h3>[Udemy] [Roman Dushkin] Введение в компьютерную логику (2022)</h3><p></p><p>[ATTACH=full]420[/ATTACH]</p><p></p><p></p><p><strong>Логический подход относится к нисходящему типу (англ. Top-Down AI) и означает создание экспертных систем, баз знаний и систем логического вывода и других систем, основанных на знаниях, имитирующих высокоуровневые психические процессы: мышление, рассуждение, речь, эмоции, творчество.</strong></p><p><strong></strong></p><p><strong>Логический подход может быть проиллюстрирован применением для этих целей языка и системы логического программирования Пролог.</strong> Программы, записанные на языке Пролог, представляют наборы фактов и правил логического вывода без жесткого задания алгоритма как последовательности действий, приводящих к необходимому результату.</p><p></p><p><strong>Курс «Компьютерная логика» погрузит вас в мир формальной логики в различных её аспектах</strong> (в том числе и через призму исчисления предикатов первого порядка и его программной реализации — языка программирования Пролог). Также вы узнаете о многих видах логики , а также сопутствующую информацию, необходимую для погружения в мир технологий искусственного интеллекта.</p><p></p><p><strong>Основными рассматриваемыми темами курса являются:</strong></p><p>1. Основание логического подхода к ИИ</p><p>2. Виды логик</p><p>3. Логические операции и их таблицы истинности</p><p>4. Некоторые свойства логических операций</p><p>5. Наивная теория множеств</p><p>6. Диаграммы Венна</p><p>7. Двоичная система счисления</p><p>8. Перевод чисел из двоичной системы в десятичную и обратно</p><p>9. Важные логические операции</p><p>10. Диаграммы логических выражений</p><p>11. Пропозициональные выражения</p><p>12. Функциональный базис</p><p>13. Конъюнктивная и дизъюнктивная нормальные формы</p><p>14. Что такое тавтология</p><p>15. Логический вывод</p><p>16. Что такое продукция</p><p>17. Троичная логика</p><p>18. Импликация в троичной логике</p><p>19. Многозначные логики Лукасевича</p><p>20. Правило резолюций</p><p>21. Автоматическое доказательство теорем</p><p>22. Формальные системы</p><p>23. Теоремы Гёделя о неполноте</p><p>24. Диагонализация Кантора</p><p>25. Исчисление предикатов первого порядка</p><p>26. Кванторы всеобщности и существования</p><p>27. Законы отрицания кванторов</p><p>28. Связанные и свободные переменные</p><p>29. Язык программирования ПРОЛОГ</p><p>30. Логические вентили из людей</p><p>31. Многозначная логика Поста</p><p></p><p><strong>Чему вы научитесь:</strong></p><p>1. Понимание предмета и сути компьютерной логики</p><p>2. Понимание основ логик другого типа</p><p>3. Знание основ двоичной логики</p><p>4. Умение оптимизировать двоичные функции</p><p></p><p><strong>Для прохождения курса не требуются какие-либо навыки программирования. Желательно, но необязательно понимание основ линейной алгебры.</strong></p><p><strong></strong></p><p><strong>Для кого этот курс:</strong></p><p>1. Студенты технических вузов</p><p>2. Разработчики программного обеспечения</p><p>3. Инженеры-системотехники</p><p>4. Преподаватели технических вузов</p><p>5. Все, кто хочет понимать основы Computer Science</p><p></p><p><strong><u>Продажник:</u></strong></p><p><strong></strong></p><p><strong>*** Hidden text: cannot be quoted. ***</strong></p><p><strong></strong></p><p><strong></strong></p><p><strong><u>Скачать:</u></strong></p><p><strong></strong></p><p><strong>*** Hidden text: cannot be quoted. ***</strong></p><p><strong></strong></p></blockquote><p></p>
[QUOTE="Slivopedia, post: 635, member: 1"] [HEADING=2][Udemy] [Roman Dushkin] Введение в компьютерную логику (2022)[/HEADING] [ATTACH type="full"]420[/ATTACH] [B]Логический подход относится к нисходящему типу (англ. Top-Down AI) и означает создание экспертных систем, баз знаний и систем логического вывода и других систем, основанных на знаниях, имитирующих высокоуровневые психические процессы: мышление, рассуждение, речь, эмоции, творчество. Логический подход может быть проиллюстрирован применением для этих целей языка и системы логического программирования Пролог.[/B] Программы, записанные на языке Пролог, представляют наборы фактов и правил логического вывода без жесткого задания алгоритма как последовательности действий, приводящих к необходимому результату. [B]Курс «Компьютерная логика» погрузит вас в мир формальной логики в различных её аспектах[/B] (в том числе и через призму исчисления предикатов первого порядка и его программной реализации — языка программирования Пролог). Также вы узнаете о многих видах логики , а также сопутствующую информацию, необходимую для погружения в мир технологий искусственного интеллекта. [B]Основными рассматриваемыми темами курса являются:[/B] 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. Многозначная логика Поста [B]Чему вы научитесь:[/B] 1. Понимание предмета и сути компьютерной логики 2. Понимание основ логик другого типа 3. Знание основ двоичной логики 4. Умение оптимизировать двоичные функции [B]Для прохождения курса не требуются какие-либо навыки программирования. Желательно, но необязательно понимание основ линейной алгебры. Для кого этот курс:[/B] 1. Студенты технических вузов 2. Разработчики программного обеспечения 3. Инженеры-системотехники 4. Преподаватели технических вузов 5. Все, кто хочет понимать основы Computer Science [B][U]Продажник:[/U] *** Hidden text: cannot be quoted. *** [U]Скачать:[/U] *** Hidden text: cannot be quoted. *** [/B] [/QUOTE]
Вставить цитаты...
Имя
Проверка
Ответить
Главная
Каталог курсов
IT, ИИ, программирование, тестирование, аналитика
[Udemy] [Roman Dushkin] Введение в компьютерную логику (2022)
Верх
Низ
