Теоретические основы информатики

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