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