Информа́тика — наука об общих свойствах и закономерностях информации, а также методах ее поиска, передачи, хранения, обработки и использования в различных сферах деятельности человека. Термин informatique (информатика) образован путем слияния французских слов information (информация) и automatique (автоматики). В англоязычных странах используется его синоним — computer science (наука о компьютерной технике).
Понятие «информатика» возникло в конце 1960-х годов для обозначения научного направления, занимающегося автоматизированной обработкой информации с помощью электронных вычислительных систем (ЭВМ). С конца 1970-х годов за понятием «информатика» закрепились области, связанные с разработкой, созданием, использованием и материально-техническим обслуживанием систем обработки информации, включая компьютеры и их программное обеспечение, а также организационные, коммерческие, административные и социально-политические аспекты компьютеризации — массового внедрения компьютерной техники во все области жизни людей. Информатика включает в себя теорию кодирования информации, разработку методов и языков программирования, математическую теорию процессов передачи и обработки информации. Теоретическую основу информатики образуют дисциплины: теория алгоритмов, математическая логика, комбинаторный анализ.
Темами исследований в информатике являются вопросы: что можно, а что нельзя реализовать в программах (теория вычислимости и искусственный интеллект), каким образом можно решать специфические задачи с максимальной эффективностью (алгоритмы), в каком виде следует хранить и восстанавливать информацию специфического вида (структуры данных), как программы и люди должны взаимодействовать друг с другом (пользовательский интерфейс и языки программирования).
Согласно тезису Чёрча-Тьюринга, все известные типы вычислительных машин равны в своих возможностях: любое действие, выполнимое на одной вычислительной машине, выполнимо и на другой. Этот тезис считается фундаментальным принципом информатики. Машина Тьюринга и машина фон Неймана имеют сходство с большинством реально действующих компьютеров. В рамках информатики изучают и другие типы машин, не только практически осуществимые (параллельные и квантовые компьютеры), но и абстрактные математические модели (машина случайного доступа, которая имеет бесконечное число регистров). Первый факультет информатики был основан в 1962 году в университете Пердью (Purdue University), факультеты и кафедры информатики имеются в большинстве университетов мира. Высшей наградой за заслуги в области информатики является премия Тьюринга.
Темами исследований в информатике являются вопросы: что можно, а что нельзя реализовать в программах (теория вычислимости и искусственный интеллект), каким образом можно решать специфические задачи с максимальной эффективностью (алгоритмы), в каком виде следует хранить и восстанавливать информацию специфического вида (структуры данных), как программы и люди должны взаимодействовать друг с другом (пользовательский интерфейс и языки программирования).
Согласно тезису Чёрча-Тьюринга, все известные типы вычислительных машин равны в своих возможностях: любое действие, выполнимое на одной вычислительной машине, выполнимо и на другой. Этот тезис считается фундаментальным принципом информатики. Машина Тьюринга и машина фон Неймана имеют сходство с большинством реально действующих компьютеров. В рамках информатики изучают и другие типы машин, не только практически осуществимые (параллельные и квантовые компьютеры), но и абстрактные математические модели (машина случайного доступа, которая имеет бесконечное число регистров). Первый факультет информатики был основан в 1962 году в университете Пердью (Purdue University), факультеты и кафедры информатики имеются в большинстве университетов мира. Высшей наградой за заслуги в области информатики является премия Тьюринга.