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

Давным-давно, в первой половине XIX века, жил во Франции великий физик Андре Ампер, знаменитый своими исследованиями электричества. Все знают, что сила электрического тока измеряется в амперах, а прибор для измерения силы тока называется амперметр. И вот в 1834 году великий физик Ампер написал книгу про... Догадались? «Само собой, про электричество!» – скажете вы уверенно. И ошибётесь. Книга эта была одной из первых в мире работ по общенаучной философии, «науке о других науках». Никогда про такую...