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