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