Компьютерные науки

Мышление, вычисления и искусственный интеллект для школьников

Введение в теорию алгоритмов и интеллектуальных систем. Рассматриваются тест Тьюринга, проблема остановки, основы теории вычислений и философские вопросы создания искусственного разума.
Студентов 1538 Выпускников 186 Для всех
690 ₽ 1 200 ₽
или любая сумма на ваше усмотрение
Вы можете оплатить любую сумму, чтобы поддержать наш проект и авторов программы. Объем услуг не зависит от размера вашей оплаты.
Объем

36 час.
Длительность

30 дней
Нагрузка в неделю

9 час.
Формат обучения

Дистанционно (самостоятельно)
Описание Учебный курс адресован школьникам, увлеченным программированием и математикой, и вводит в круг идей искусственного интеллекта на доступном уровне. Материал раскрывает классические мысленные эксперименты, такие как тест Тьюринга и китайская комната, а также вводит понятия программы, языка и алгоритма и поясняет основы теории вычислений и формальных систем. Курс помогает старшеклассникам осознанно подойти к выбору профильного обучения в области информатики и интеллектуальных систем.
Цели
  • Сформировать у школьников начальное представление о задачах искусственного интеллекта.
  • Развить умение рассуждать о вычислимости и формальных системах.
  • Подготовить к более глубокому изучению алгоритмов и теории вычислений.
Чему я научусь?
  • Объяснять смысл теста Тьюринга и аргумента китайской комнаты.
  • Описывать понятия программы, языка и алгоритма на содержательном уровне.
  • Распознавать ключевые проблемы теории вычислений и формальных систем.

Авторы

Сатюков Роман Валерьевич
Сатюков Роман Валерьевич
Золотой медалист чемпионата мира по программированию.
Ярославцев Григорий Николаевич
Ярославцев Григорий Николаевич
Студент Спб АФТУ РАН, преподаватель программирования в лицее ФТШ.
Чему я научусь?
  • Объяснять смысл теста Тьюринга и аргумента китайской комнаты.
  • Описывать понятия программы, языка и алгоритма на содержательном уровне.
  • Распознавать ключевые проблемы теории вычислений и формальных систем.

Учебный план

Занятия
Экзамен экстерном Внимание! Экзамен экстерном не обязательный для сдачи. При желании вы можете его пройти, если хотите подтвердить свои знания по данному курсу без его изучения или поверить свои знания по нему. Экзамен экстерном можно сдать только один раз. 90 мин
1 Проблемы теории искусственного интеллекта "В лекции вводится понятие искусственного интеллекта, обсуждаются требования к нему. Описывается тест Тьюринга, в качестве контраргумента... "В лекции вводится понятие искусственного интеллекта, обсуждаются требования к нему. Описывается тест Тьюринга, в качестве контраргумента к нему рассматривается эксперимент ""китайская комната"". Рассказывается о различных точках зрения на возможности осмысления у машины. Даются понятия программы, языка, алгоритма." ещё
Проблемы теории искусственного интеллекта тест для курса Мышление, вычисления и искусственный интеллект для школьников 60 мин
2 Проблема остановки и возможность ее решения В лекции подробно рассматривается проблема остановки, проблема распознавания языка. Вводятся понятия вычислимых, полувычислимых и перечислимых языков.... В лекции подробно рассматривается проблема остановки, проблема распознавания языка. Вводятся понятия вычислимых, полувычислимых и перечислимых языков. Обсуждаются возможности алгоритмического доказательства теорем и возникающие при этом проблемы. Приводятся примеры. ещё
Проблема остановки и возможность ее решения тест для курса Мышление, вычисления и искусственный интеллект для школьников 60 мин
3 Проблемы непротиворечивости и полноты формальных систем В лекции вводится понятие формальной системы, приводится пример построения формальной системы для арифметики. Подробно обсуждаются проблемы... В лекции вводится понятие формальной системы, приводится пример построения формальной системы для арифметики. Подробно обсуждаются проблемы непротиворечивости и полноты формальных систем, доказывается теорема Геделя о неполноте. ещё
Проблемы непротиворечивости и полноты формальных систем тест для курса Мышление, вычисления и искусственный интеллект для школьников 60 мин
Тренировочный экзамен Внимание! Тренировочный экзамен экстерном не обязательный для сдачи. При желании вы можете его пройти, если хотите проверить свои знания курса перед сдачей экзамена. Тренировочный экзамен можно сдавать сколько угодно один раз. 90 мин
Экзамен 60 мин

Какой документ я получу?

Сертификат

Выдаётся автоматически после успешного завершения программы.

Удостоверение о повышении квалификации

Выдается при наличии среднего специального или высшего образования (необходимые документы).

Стоимость программы

690 ₽ 1 200 ₽
или любая сумма на ваше усмотрение
Вы можете оплатить любую сумму, чтобы поддержать наш проект и авторов программы. Объем услуг не зависит от размера вашей оплаты.