Форма обучения:
дистанционная
Стоимость самостоятельного обучения:
бесплатно
Доступ:
свободный
Документ об окончании:
 
Уровень:
Для всех
Длительность:
4:43:00
Студентов:
1184
Выпускников:
131
Качество курса:
4.40 | 4.29
В курсе дается введение в теорию искусственного интеллекта. Этот курс читался на летней компьютерной школе для участников олимпиад по информатике.
Рассказывается о тесте Тьюринга и "китайской комнате", даются понятия программы, языка и алгоритма, объясняются основы теории вычислений и формальных систем.
Специальности: Программист
 

План занятий

Занятие
Заголовок <<
Дата изучения
Лекция 1
49 минут
Проблемы теории искусственного интеллекта
В лекции вводится понятие искусственного интеллекта, обсуждаются требования к нему. Описываеся тест Тьюринга, в качестве контаргумента к нему рассматривается эксперимент "китайская комната". Рассказывается о различных точках зрения на возможности осмысления у машины. Даются понятия программы, языка, алгоритма.
Оглавление
-
Лекция 2
1 час 16 минут
Проблема остановки и возможность ее решения
В лекции подробно рассматривается проблема остановки, проблема распознавания языка. Вводятся понятия вычислимых, полувычислимых и перечислимых языков. Обсуждаются возможности алгоритмического доказательства теорем и возникающие при этом проблемы. Приводятся примеры.
Оглавление
-
Лекция 3
50 минут
Проблемы непротиворечивости и полноты формальных систем
В лекциии вводится понятие формальной системы, приводится пример построения формальной системы для арифметики. Подробно обсуждаются проблемы непротиворечивости и полноты формальных систем, доказывается теорема Геделя о неполноте.
Оглавление
-
1 час 40 минут
-
Евгений Коченюк
Евгений Коченюк
Россия, Санкт-Петербург
Юрий Тарасов
Юрий Тарасов
Россия, Мегион, средняя школа №1, 1993