Авторы: Роман Сатюков, Григорий Ярославцев
Роман
Сатюков,...
Сатюков,...
Форма обучения:
дистанционная
Стоимость самостоятельного обучения:
бесплатно
Доступ:
свободный
Документ об окончании:
Вам нравится? Нравится 26 студентам
Уровень:
Для всех
Длительность:
1:48:00
Студентов:
1340
Выпускников:
172
Качество курса:
4.40 | 4.29
В курсе дается введение в теорию искусственного интеллекта. Этот курс читался на летней компьютерной школе для участников олимпиад по информатике.
Рассказывается о тесте Тьюринга и "китайской комнате", даются понятия программы, языка и алгоритма, объясняются основы теории вычислений и формальных систем.
Специальности: Программист
Теги: интеллект, искусственная жизнь
План занятий
Занятие
Заголовок <<
Дата изучения
Проблемы теории искусственного интеллекта
В лекции вводится понятие искусственного интеллекта, обсуждаются требования к нему. Описывается тест Тьюринга, в качестве контраргумента к нему рассматривается эксперимент "китайская комната". Рассказывается о различных точках зрения на возможности осмысления у машины. Даются понятия программы, языка, алгоритма.
-
Проблема остановки и возможность ее решения
В лекции подробно рассматривается проблема остановки, проблема распознавания языка. Вводятся понятия вычислимых, полувычислимых и перечислимых языков. Обсуждаются возможности алгоритмического доказательства теорем и возникающие при этом проблемы. Приводятся примеры.
-
Проблемы непротиворечивости и полноты формальных систем
В лекции вводится понятие формальной системы, приводится пример построения формальной системы для арифметики. Подробно обсуждаются проблемы непротиворечивости и полноты формальных систем, доказывается теорема Геделя о неполноте.
-