Новосибирский государственный университет Факультет информационных технологий Современные проблемы информатики и вычислительной техники

А.М.Федотов

Персоны в коллекции "Современные проблемы информатики"

Эдсгер Вибе Дейкстра
11 мая 1930 — 6 августа 2002

Основные достижения:

Дал определение науке информатике:
"informatics - научное направление, изучающее модели, методы и средства сбора, хранения, обработки и передачи информации - совокупность дисциплин естественно объединяющихся с целью семантической (смысловой) обработки информации."

Помимо обсуждения специальных вопросов, в своих статьях и книгах Дейкстра последовательно отстаивал необходимость математического подхода к программированию, который предполагает предварительное точное, всестороннее математическое описание задачи и способа её решения, формальное доказательство правильности выбранного алгоритма и последующую реализацию алгоритма в виде максимально простой, структурированной программы, корректность которой должна быть формально доказана. По мнению Дейкстры, господствующий в компьютерной индустрии подход к программированию как к процессу достижения результата методом проб и ошибок («написать код — протестировать — найти ошибки — исправить — протестировать — …») порочен, поскольку стимулирует программистов не думать над задачей, а писать код, при этом совершенно не гарантирует корректность программ, которая не может быть доказана тестированием в принципе.

Дейкстра многократно предостерегал от попыток превратить разработку программ в некий тривиальный процесс; по его мнению, программирование, в сути своей — чрезвычайно сложная научная и инженерная деятельность, и никакие новые методы и инструменты не смогут кардинально изменить это положение — они лишь освобождают программиста от части рутинной работы. Попытки же превратить программирование в простое занятие, доступное каждому, обречены на провал.

Афоризмы:
- Информатика не более наука о компьютерах, чем астрономия — наука о телескопах.
- Помимо математических способностей, жизненно важным качеством программиста является исключительно хорошее владение родным языком.
- Если отладка — процесс удаления ошибок, то программирование должно быть процессом их внесения.
- Студентов, ранее изучавших Бейсик, практически невозможно обучить хорошему программированию. Как потенциальные программисты они подверглись необратимой умственной деградации.
- Вопрос «умеет ли компьютер думать» имеет не больше смысла, чем вопрос «умеет ли подводная лодка плавать».
- Проекты, предлагающие программирование на естественном языке, гибельны по своей сути.
- Глубоко ошибается тот, кто думает, что изделиями программистов являются программы, которые они пишут. Программист обязан создавать заслуживающие доверия решения и представлять их в форме убедительных доводов, а текст написанной программы является лишь сопроводительным материалом, к которому эти доказательства применимы.
- Программирование на КОБОЛе калечит мозг, поэтому обучение ему должно трактоваться как преступление.
- На любом языке можно написать фортрановскую программу.
- Средства не виноваты в том, что их безграмотно используют.
- Тестирование программы может весьма эффективно продемонстрировать наличие ошибок, но безнадежно неадекватно для демонстрации их отсутствия.

• Разработал основные принципы структурного программирования (совместно с Тони Хоаром и Никлаусом Виртом ).
• Работы в области применения математической логики при разработке компьютерных программ.
• Участвовал в разработке языка программирования Алгол и написал первый компилятор Алгол-60.
• Будучи одним из авторов концепции структурного программирования, он «проповедовал» отказ от использования инструкции GOTO.
• Выдвинул идею применения «семафоров» для синхронизации процессов в многозадачных системах.
• Автор алгоритма нахождения кратчайшего пути на ориентированном графе с неотрицательными весами рёбер, известный как Алгоритм Дейкстры.

Краткая биография:

Э́дсгер Ви́бе Де́йкстра (Edsger Wybe Dijkstra) — нидерландский учёный, идеи которого оказали большое влияние на развитие компьютерной индустрии и программирования.

В 1972 году Дейкстра стал лауреатом премии Тьюринга.

В 1980 году удостоен звания "Компьютерный пионер".

Публикации персоны:

1. Дейкстра Э. Дисциплина программирования // М.: Мир, 1978. - С. 275.
2. Дейкстра Эдсгер "ПРОГРАММИСТКИЕ БАСНИ"
3. Дал У., Дейкстра Э., Хоор К. Структурное программирование / пер. с англ. С.Д. Зеленцкого, В.В. Мартынюка, Л.В. Ухова ; под ред. Э.З. Любимского, В.В. Мартынюка. — М.: Мир, 1975. — С. 247.
4. Дейкстра Э. Конец компьютерной науки? // Открытые системы, #12, 2001

Ключевые термины:  Программирование;   Информатика;   Программирование структурное;   Алгоритм Дейкстры;   история ит;

Контекстный поиск: Задайте образец для поиска:

Федотов Анатолий Михайлович

НГУ ФИТ НГУ ИВТ СО РАН