6
Наиболее существенными достижениями теории, способствовавшими
появлению и развитию информатики, обычно считают:
1. Формулировка принципа двоичного кодирования, создание теории
кодирования и теории информации. Так, английский философ Френсис Бекон
(1561 — 1626) первым понял, что для кодирования информации достаточно двух
цифр и применил принцип двоичного кодирования для тайнописи. Его код был
пятиразрядным, состоящим из букв
А и В, и кодировал 24 буквы английского
алфавита: а — «ААААА»; b — «AAAAB»; c — «AAABA»; d — «AAABB». Затем
в развитии теории двоичного кодирования наблюдается некоторый «застой»,
который продолжается до второй половины 19 века, когда начинается
интенсивное развитие средств связи (изобретение телеграфа, а затем радио).
В середине 20 века французский ученый Грей строит двоичный код,
уменьшающий величину ошибки от воздействия
помех, а американский ученый
Ричард Хэмминг создает код, позволяющий исправлять ошибки. Существенно
новое направление придал делу американский ученый Клод Шеннон. Исходя из
своих исследований по криптографической надежности, выполненных во время
второй мировой войны, он создал теорию информации, базирующуюся
исключительно на статических предположениях об источнике сообщений.
Шеннон установил также, какое количество информации
можно передавать при
наличии помех. Аналогичные результаты независимо от него в то же время
получили Норберт Винер и советский математик Андрей Николаевич
Колмогоров.
2. Создание логического исчисления (алгебры логики). Решающим
шагом в создании логического исчисления стала разработка алгебры логики
англичанином Джорджем Булем в 1847 г. Введение понятий логической
переменной и логической функции
, формулировка законов алгебры логики и
разработка методов минимизации логических функций (работы Шеффера, Пирса,
Карно) позволили впоследствии создать теорию цифровых автоматов, которые
являются основной частью арифметико-логических устройств (АЛУ)
современных микропроцессоров.
3. Разработка теории алгоритмов, алгоритмических языков и
программирования. На протяжении веков термином «алгоритм» обозначали
инструкцию, предписание, рецепт, правило, в соответствии
с которым нужно что-
то сделать. Поворотным пунктом в развитии теории алгоритмов стала
формализация, то есть отказ от естественного языка с присущей ему неточностью
и обращение к символьным языкам для описания алгоритмов и их объектов.
Термин «алгоритмические языки» впервые ввел в обиход Боттенбурк в 1958 году.
В это же время начинают создаваться
алгоритмические языки с целью их
применения для программирования ЭВМ. Первым существенным достижением в
этой области стали Фортран и Алгол.
4. Формулировка принципов программного управления. В 1945 году
американский математик Джон фон Нейман сформулировал принципы
программного управления, которые используются в настоящее время при
построении ЭВМ: