Материал из Википедии — свободной энциклопедии (http://ru.wikipedia.org/wiki/Электронные_библиотеки )

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

Информатика не более наука о компьютерах, чем астрономия — наука о телескопах.

Эдсгер Дейкстра

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

История

Термин «информатика» был впервые введен в Германии Карлом Штейнбухом в 1957 году. В 1962 году этот термин был введен во французский язык Ф. Дрейфусом, который также предложил и переводы на ряд других европейских языков. В России термин «информатика» был введен А.И. Михайловым, А. И. Черным и Р. С. Гиляревским в 1968 году.

Отдельной наукой информатика была признана лишь в 1970-х; до этого она развивалась в составе математики, электроники и других технических наук. Некоторые начала информатики можно обнаружить даже в лингвистике. С момента своего признания отдельной наукой информатика разработала собственные методы и терминологию.

Первый факультет информатики был основан в 1962 году в университете Пердью (Purdue University). Сегодня факультеты и кафедры информатики имеются в большинстве университетов мира.

В России учителя и преподаватели информатики появились во всех школах в 1985 году одновременно с первым учебником А.П. Ершова «Основы информатики и вычислительной техники». Во всех вузах России преподаватели и кафедры информатики появились в 1991 году.

Высшей наградой за заслуги в области информатики является премия Тьюринга.

Разделы информатики

Теоретическая информатика

Это математическая дисциплина. Она использует методы математики для построения и изучения моделей обработки, передачи и накопления информации.

Математическая логика -- теория алгоритмов, исчисление высказываний и предикатов, теория параллельных вычислений, теория автоматов, теория сетей Петри, верификация, Булева логика, средства логического программирования представления знаний.

Вычислительная математика и вычислительная геометрия

Теория информации и теория кодирования

Системный анализ

Общая и математическая теория систем. Динамические системы. Информационные системы. Большие и сложные системы. Структурный анализ. Системное проектирование. Теория принятия решений (теория игр, математическое программирование, исследование операций, теория нечетких множеств).

Кибернетика

• Теория управления.
• Математическая лингвистика
• Бионика
• Нейронная сеть
• Биоинформатика

Программирование

Методы трансляции.

Способы трансляции компьютерных программ из одного языка программирования в другой. Теория построения трансляторов, таких как компиляторы, интерпретаторы и другие. Методы лексического и синтаксического анализа, управляемой трансляции и генерации кода трансляторов.

Языки программирования

Формальные парадигмы языков для выражения алгоритмов и свойств этих языков (к примеру, на каком языке лучше решить данную задачу). Структурное программирование. Функциональное и логическое программирование. Разработка алгоритмов и программ. Математическая семантика алгоритмов и программ.

Базы данных

Иерархические, сетевые и реляционные базы данных. Языки запросов. Поиск и обработка информации в базах данных. Распределенные базы данных. Защита информации в базах данных.

Поиск данных — изучение алгоритмов для поиска, накопления и обработки информации в документах и базах данных. Тесно связан с информационным поиском.

Искусственный интеллект

Экспертные системы. Базы знаний. Семантические сети. Представление знаний. Процедуры и законы логического вывода. Логическая модель баз знаний.

Информационные системы

Информационно-поисковые системы. Информационные сети и системы.

Вычислительная техника

Микропроцессоры. Персональные компьютеры. Накопители информации. Суперкомпьютеры. Вычислительные сети.

Прикладная информатика

Информатика в обществе

Персональные компьютеры. Интернет. Компьютерная грамотность. Электронные библиотеки. Программное обеспечение. Компьютерные вирусы. Компьютерные игры. Информационное общество. Информационно-поисковая система. Новые информационные технологии.

Информатика в природе