В любой науке есть фундамент, без которого невозможно правильное понимание ее прикладных аспектов (пример: математика – теория чисел, теория множеств, мат. логика и нек. др.). Так же и с информатикой – можно изучить насколько программ и даже научиться программировать на каком-то одном языке, но это не вся информатика, не самая главная и интересная ее часть. Теоретические основы информатики – пока не вполне сложившийся, устоявшийся раздел науки. Он возникает на наших глазах, что делает его особенно интересным. Теоретическая информатика, подобно теоретическим основам других наук, формируется в значительной мере под влиянием потребностей современной науки и общества...

Словосочетание “теоретическая информатика” звучит противоречиво — мы привыкли, что информатика, программирование — это максимально про практику. Но информатика - это логичное продолжение математики, которая может быть как прикладной, так и теоретической. Разделы Основные задачи теоретической информатики связаны с теорией вычислительного обучения, алгоритмами, вычислительной сложностью, теорией информации и теорией кодирования. Коротко расскажем о некоторых из этих задач. Теория вычислительного обучения посвящена созданию и изучению систем машинного обучения...