imported>Имиль26: Исправлены пунктуационные ошибки

2026-03-28T14:01:29Z

Исправлены пунктуационные ошибки

Новая страница

{{Однофамильцы|Дейкстра}}
{{Учёный
|Имя = Эдсгер Вибе Дейкстра
|Оригинал имени = {{lang-nl|Edsger Wybe Dijkstra}}
|Изображение = Edsger Wybe Dijkstra.jpg
|Ширина =
|Описание изображения =
|Гражданство =
|Научная сфера = [[информатика]]
|Место работы = [[Центр математики и информатики|Национальный исследовательский институт математики и информатики]]<br>[[Технический университет Эйндховена]]<br>[[Техасский университет в Остине]]
|Альма-матер =
|Научный руководитель =
|Знаменитые ученики =
|Известен как = создатель [[Алгоритм Дейкстры|алгоритма Дейкстры]] и [[Семафор (информатика)|семафоров]]<br>
один из основателей [[Структурное программирование|структурного программирования]]<br>
один из создателей операционной системы [[THE (операционная система)|THE]]
|Известна как =
|Награды и премии = [[Премия Тьюринга]]
|Роспись =
|Ширина росписи =
|Сайт =
}}
'''Э́дсгер Ви́бе Де́йкстра''' ({{lang-nl|Edsger Wybe Dijkstra}}<ref>{{IPA|[ˈɛtsxər ˈʋibə ˈdɛikstra]}} ''[[Медиа:Dijkstra.ogg|прослушать]]''</ref> ([[11 мая]] [[1930]], [[Роттердам]], [[Нидерланды]] — [[6 августа]] [[2002]], {{iw|Нюэнен||nl|Nuenen}}, Нидерланды) — нидерландский учёный, труды которого оказали влияние на развитие [[Информатика|информатики]] и [[Информационные технологии|информационных технологий]]; один из разработчиков концепции [[Структурное программирование|структурного программирования]], исследователь [[Формальная верификация|формальной верификации]] и [[Распределённые вычисления|распределённых вычислений]]. [[Премия Тьюринга|Тьюринговский лауреат]] (1972).

== Биография ==
Родился 11 мая 1930 года в [[Роттердам]]е, в семье учёных (отец — [[химик]], мать — [[математик]])<ref> O'Connor, J. J.; Robertson, E. F. (July 2008). "Dijkstra biography". MacTutor. School of Mathematics and Statistics, University of St Andrews, Scotland. Archived from the original on 11 October 2013. Retrieved 18 January 2014. </ref>.

По окончании школы поступил на факультет [[теоретическая физика|теоретической физики]] [[Лейденский университет|Лейденского университета]].

В 1951 году увлёкся [[программирование]]м, поступил на трёхнедельные [[компьютер]]ные курсы в [[Кембридж]]е, с 1952 года работал [[программист]]ом в [[Центр математики и информатики|Математическом центре Амстердама]] под руководством профессора [[ван Вейнгаарден, Адриан|Адриана ван Вейнгаардена]], впоследствии — автора одного из способов формального описания грамматики формальных языков — так называемых [[Двухуровневая грамматика|двухуровневых грамматик]] ван Вейнгаардена.

Уже в 1952 году принял решение окончательно специализироваться на программировании, но всё же окончил курс теоретической физики.

Во второй половине 1950-х годов, в поисках путей оптимизации разводки [[печатная плата|плат]]{{нет АИ|20|03|2014}}, разработал алгоритм поиска кратчайшего пути на графе, ставший известным как «[[алгоритм Дейкстры]]».

В 1957 году женился, по собственным воспоминаниям, в графе «профессия» анкеты, которую положено заполнять при бракосочетании, написал «программист» — и его заставили переписывать документы, заявив, что такой профессии не существует, в результате пришлось указать «физик-теоретик»<ref name="smprog">Edsger Dijkstra. [http://www.cs.utexas.edu/~EWD/ewd03xx/EWD340.PDF The Humble Programmer] {{Wayback|url=http://www.cs.utexas.edu/~EWD/ewd03xx/EWD340.PDF |date=20140626164215 }} // [[Communications of the ACM]], vol. 15 (1972), 10: 859—866]</ref>.

В 1958—1960 годах принимал участие в разработке языка программирования [[Алгол]], работал в команде по созданию [[компилятор]]а языка; соревнуясь с датской командой [[Наур, Петер|Петера Наура]], поклялся не бриться до завершения проекта и победил, написав компилятор за шесть недель, заодно изобретя новое правило компиляции — «вызов по имени».

В [[1960-е годы]] участвовал в создании [[операционная система|операционной системы]] [[THE (операционная система)|THE]], построенной в виде множества параллельно исполняющихся взаимодействующих процессов<ref>{{книга
|автор = Haldar, Sibsankar and Aravind, Alex A.
|заглавие = Operating Systems
|ответственный =
|ссылка = https://books.google.com/books?id=orZ0CLxEMXEC&lpg=PA198&dq=THE%20operating%20system%20dijkstra&pg=PA198#v=onepage&q=THE%20operating%20system%20dijkstra&f=false
|место =
|издательство = Pearson
|год = [[2010]]
|том =
|страниц = 580
|страницы = 198
|isbn = 978-81-317-3022-5
}}</ref>. Именно в ходе этой работы появились понятия синхронизации процессов, идея [[Семафор (информатика)|семафора]], а также была чётко осознана необходимость в структуризации процесса программирования и самих программ.

Длительное время работал в компании [[Burroughs Corporation|Burroughs]]. В [[1970-е годы]] вместе с [[Хоар, Чарльз Энтони Ричард|Тони Хоаром]] и [[Вирт, Никлаус|Никлаусом Виртом]] разработал основные положения [[Структурное программирование|структурного программирования]].

В последние годы жизни преподавал в [[Техасский университет|Техасском университете]].

Умер 6 августа 2002 года после долгой борьбы с [[Злокачественная опухоль|раком]]{{sfn|Умер Эдсгер Вайб Дейкстра}}{{sfn|Rupert}}.

== Научные достижения ==
Известность Дейкстре принесли его работы в области применения математической [[Логика|логики]] при разработке компьютерных программ.

Он активно участвовал в разработке [[Язык программирования|языка программирования]] [[Алгол]] и написал первый компилятор Алгол-60.

Будучи одним из авторов концепции [[Структурное программирование|структурного программирования]], он проповедовал отказ от использования инструкции [[GOTO]].

Также ему принадлежит идея применения «[[Семафор (информатика)|семафоров]]» для синхронизации процессов в многозадачных системах и алгоритм нахождения кратчайшего пути на [[орграф|ориентированном графе]] с неотрицательными весами рёбер, известный как [[алгоритм Дейкстры]].

Также предложил [[алгоритм сортировочной станции]] — способ разбора математических выражений, представленных в [[инфиксная нотация|инфиксной нотации]].

В [[1972 год]]у стал лауреатом [[Премия Тьюринга|премии Тьюринга]].

В 2002 году получил ежегодную премию, вручаемую {{нп2|Симпозиум по принципам распределённых вычислений|Симпозиумом по принципам распределённых вычислений|en|Symposium on Principles of Distributed Computing}} [[Ассоциация вычислительной техники|Ассоциации вычислительной техники]] «за публикацию, оказавшую наибольшее влияние на область распределённых вычислений»; в знак признания заслуг учёного с 2003 года эта премия носит название [[премия Дейкстры|премии Дейкстры]].

== Библиография ==
Автор нескольких книг и множества статей, самые известные публикации — книги «Дисциплина программирования», «Заметки по структурному программированию», статья «О вреде оператора GOTO» ({{lang-en|GOTO considered harmful}}).

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

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

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

В 1975 году на примере положения дел в Германии Дейкстра показал, что развитие программирования как науки на основе одного выбранного языка программирования невозможно.

Результатом такого подхода стал полный разрыв теории и практики программирования. Дейкстра отмечал, что принятие в Германии на правительственном уровне языка [[ALGOL 68]] в качестве фундаментального средства дальнейшего развития имело столь же парализующее действие, как и решение [[Правительство СССР|правительства СССР]] о переходе советской промышленности к копированию модельного ряда [[IBM/360]] в конце 1960 годов, которое учёный назвал величайшей победой Запада в [[Холодная война|холодной войне]]<ref>{{cite web |url=http://www.cs.utexas.edu/~EWD/transcriptions/EWD05xx/EWD506.html |title=Trip report E.W.Dijkstra: NATO Summer School Marktoberdorf 1975 |author=Edsger W. Dijkstra |date=1975-08-11 |website= |publisher=[[Техасский университет в Остине|The University of Texas at Austin]] |access-date=2017-07-25 |lang=en |archive-date=2017-07-13 |archive-url=https://web.archive.org/web/20170713215809/http://www.cs.utexas.edu/~EWD/transcriptions/EWD05xx/EWD506.html |url-status=live }}</ref>.

== Интересные факты ==
Интересные факты о Дейкстре:<ref>{{Статья|автор=Авачева Т. Г., Пруцков А. В.|заглавие=Современный взгляд на концепцию структурного программирования|ссылка=http://prutzkow.com/ru-ru/science/publications/modern-view-on-the-structured-programming-paradigm/|язык=|издание=Cloud of Science|тип=|год=2019|месяц=|число=|том=6|номер=4|страницы=|issn=|archive-date=2019-11-07|archive-url=https://web.archive.org/web/20191107143235/http://prutzkow.com/ru-ru/science/publications/modern-view-on-the-structured-programming-paradigm/}}</ref>

# Свои статьи Дейкстра нумеровал EWD0, EWD1, EWD2 и т. д.
# Факт о Дейкстре: «Известно, что он мало заинтересован в приеме на старшие курсы университета, где он преподает, студентов со знанием Фортрана по той причине, что вместе с этими знаниями могли привиться дурные привычки программирования».
# Еще одна цитата из Дейкстры<ref>{{Книга|автор=Дал У., Дейкстра Э., Хоор К.|заглавие=Структурное программирование |ответственный=|издание=|место=Москва|издательство=Мир|год=1972|страницы=|страниц=|isbn=}}</ref>: «Изящество, ясность и тому подобное в значительной степени определяются количественными аспектами. (Этим владел Моцарт: многие его произведения, от которых замирает дыхание, обманчиво просты; кажется, будто они созданы практически из ничего!)»

== Награды ==
* [[Премия Тьюринга]] (1972)
* [[Мемориальная премия Гарри Гуда]] (1974)
* [[Премия Дейкстры|Премия PODC за влиятельную публикацию]] (2002)
* [[C&C Prize]] (2002)

== Публикации ==
'''Книги'''
* {{книга|ответственный= ed. O.-J. Dahl, E.W. Dijkstra, C.A.R. Hoare |заглавие= Structured Programming |место= London |издательство= Academic Press |год= 1972}}
** {{книга|автор= Дал У., Дейкстра Э., [[Хоар, Чарльз Энтони Ричард|Хоор К.]] |заглавие= Структурное программирование |место= М. |издательство= [[Мир (издательство)|Мир]] |год= 1975 |страниц= 247}}
* {{книга|автор= Dijkstra E.W. |заглавие= A Discipline of Programming |издательство= Prentice-Hall |год= 1976}}
** {{книга|автор= Дейкстра Э. |заглавие= Дисциплина программирования |место= М. |издательство= Мир |год= 1978 |страниц= 275}}
* {{книга|автор= Dijkstra E.W. |заглавие= Selected Writings on Computing: A personal Perspective |издательство= Springer |год= 1982}}
* {{книга|автор= Dijkstra E.W., Feijen W.H.J. |заглавие= A Method of Programming |издательство= Addison-Wesley |год= 1988}}
* {{книга|автор= Dijkstra E.W., Scholten C.S. |заглавие= Predicate Calculus and Program Semantics |издательство= Springer |год= 1990}}

'''Основные статьи'''
* {{статья|автор= Dijkstra E.W. |заглавие= A note on two problems in connexion with graphs |ссылка= https://archive.org/details/sim_numerische-mathematik_1959_1/page/269 |издание= Numerische Mathematik |год= 1959 |volume= 1 |pages= 269–271 |doi= 10.1007/BF01386390}}
* {{статья|автор= Dijkstra E.W. |заглавие= Recursive Programming |ссылка= https://archive.org/details/sim_numerische-mathematik_1960-10-12_2_5/page/312 |издание= Numerische Mathematik |год= 1960 |volume= 2 |pages= 312–318 |doi= 10.1007/BF01386232}}
* {{статья|автор= Dijkstra E.W. |заглавие= Solution of a problem in concurrent programming control |издание= Communications of the ACM |год= 1965 |volume= 8 |pages= 569 |doi= 10.1145/363095.363143}}
* {{статья|автор= Dijkstra E.W. |заглавие= Go to statement considered harmful |издание= Communications of the ACM |год= 1968 |volume= 11 |pages= 147–148 |doi= 10.1145/362929.362947}}
* {{статья|автор= Dijkstra E.W. |заглавие= The structure of the “THE”-multiprogramming system |издание= Communications of the ACM |год= 1968 |volume= 11 |pages= 341–346 |doi= 10.1145/363095.363143}}
* {{статья|автор= Dijkstra E.W. |заглавие= Cooperating Sequential Processes |издание= Programming Languages: NATO Advanced Study Institute |год= 1968 |место= London |издательство= Academic Press |pages= 43–112}}
* {{статья|автор= Dijkstra E.W. |заглавие= Self-stabilizing systems in spite of distributed control |издание= Communications of the ACM |год= 1974 |volume= 17 |pages= 643–644 |doi= 10.1145/361179.361202}}
* {{статья|автор= Dijkstra E.W. |заглавие= Programming as a Discipline of Mathematical Nature |издание= American Mathematical Monthly |год= 1974 |volume= 81 |pages= 608–612 |doi= 10.1080/00029890.1974.11993624}}
* {{статья|автор= Dijkstra E.W. |заглавие= Guarded commands, nondeterminacy and formal derivation of programs |издание= Communications of the ACM |год= 1975 |volume= 18 |pages= 653–657 |doi= 10.1145/360933.360975}}
* {{статья|автор= Dijkstra E.W., Scholten C.S. |заглавие= Termination detection for diffusing computations |издание= Information Processing Letters |год= 1980 |volume= 11 |pages= 1–4 |doi= 10.1016/0020-0190(80)90021-6}}

== См. также ==
* [[Considered harmful]]

== Примечания ==
{{примечания}}

== Литература ==
* {{статья|автор= Boyer R.S., Feijen W., Gries D., Hoare C.A.R., Misra J., Moore J., Richards H. |заглавие= In memoriam: Edsger W. Dijkstra 1930-2002 |издание= Communications of the ACM |год= 2002 |volume= 45 |pages= 21–22 |doi= 10.1145/570907.570921}}
* {{статья|автор= Apt K. |заглавие= Edsger Wybe Dijkstra (1930–2002): A Portrait of a Genius |издание= Formal Aspects of Computing |год= 2002 |volume= 14 |pages= 92–98 |doi= 10.1007/s001650200029}}
* {{статья|автор= Misra J., Richards H. |заглавие= In Memoriam Edsger Wybe Dijkstra (1930–2002) |издание=|год= 2002 |ссылка= https://www.cs.utexas.edu/users/EWD/MemRes(A4).pdf}}
* {{статья|автор= Apt K. |заглавие= Edsger Dijkstra: The Man Who Carried Computer Science on His Shoulders |издание= Inference: International Review of Science |год= 2020 |volume= 5 |номер= 3 |ссылка= https://inference-review.com/article/the-man-who-carried-computer-science-on-his-shoulders}}

== Ссылки ==
{{викицитатник|Дейкстра, Эдсгер Вибе}}
* [https://web.archive.org/web/20080128211138/http://www.csin.ru/info/dijkstra-prize Премия Дейкстры] за выдающиеся работы в области распределенных вычислений
* [http://www.cs.utexas.edu/users/EWD/ E. W. Dijkstra Archive]{{ref|en}}
* {{cite news | url=http://news.cnet.com/2100-1001-949023.html | title=Computer science pioneer Dijkstra dies | access-date=2013-09-27 | author=Goodwins, Rupert | date=2002-08-08 | publusher=CNET News.com |ref=Rupert}}
* {{cite news | url=http://www.cnews.ru/news/2002/08/08/umer_edsger_vajb_dejkstra_odin_iz_osnovopolozhnikov_informatiki_134390 | title=Умер Эдсгер Вайб Дейкстра | access-date=2013-09-27 | date=2002-08-08 | publusher=CNews.ru |ref=Умер Эдсгер Вайб Дейкстра}}

{{Премия Тьюринга}}
{{Software Engineering}}
{{Внешние ссылки}}
{{rq|
{{стиль статьи|дата=2014-03-20}}
{{проверить факты|дата=2014-03-20}}
}}
{{Нерабочие сноски|дата=2024-04-16}}

[[Категория:Программисты Нидерландов]]
[[Категория:Учёные в области информатики Нидерландов]]
[[Категория:Лауреаты премии Дейкстры]]
[[Категория:Лауреаты премии Тьюринга]]
[[Категория:Умершие от рака]]
[[Категория:Создатели языков программирования]]
[[Категория:Лауреаты мемориальной премии Гарри Гуда]]
[[Категория:Персоналии:Технический университет Эйндховена]]
[[Категория:Авторы книг о компьютерах]]
[[Категория:Почётные члены Британского компьютерного общества]]
[[Категория:Почётные доктора Университета Квинс в Белфасте]]

Дейкстра, Эдсгер Вибе - История изменений

imported>Имиль26: Исправлены пунктуационные ошибки