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