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