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