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

В курсе дается введение в теорию искусственного интеллекта. Этот курс читался на летней компьютерной школе для участников олимпиад по информатике.

Рассказывается о тесте Тьюринга и "китайской комнате", даются понятия программы, языка и алгоритма, объясняются основы теории вычислений и формальных систем.

1. Проблемы теории искусственного интеллекта
2. Проблема остановки и возможность ее решения
3. Проблемы непротиворечивости и полноты формальных систем