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

Эдсгер Уибе Дейкстра (; мамыр 11, 1930 – тамыз 6, 2002) Дат компьютер ғалымы. 1972 жылы бағдарламалық тілдерді дамытуға қосқан елеулі үлестері үшін Тюринг марапатын иеленді, 1984 жылдар 2000 аралығында Остиндегі Техас университетінің компьютер ғылымдары факультетінде Шлюберже Центенниал басшысы болды. 2002 жылы дүние салғаннан кейін ACM атынан өзара стабилизациялаушы бағдарлама есептеуіші еңбегі үшін PODC ықпалды зерттеу жұмысы марапатына тағайындалды. Бұл әржылдық марапат бір жылдан соң Дейкстра марапаты атауына ауыстырылды. Тағы қараңыз * Дейкстра алгоритмі * Dining philosophers problem * Guarded Command Language and Predicate transformer semantics * Semaphore (programming) * Smoothsort * "The Cruelty of Really Teaching Computer Science" Сілттемелер Дейкстра еңбектері * (EWD215) * (EWD340) [http://www.cs.utexas.edu/~EWD/ewd03xx/EWD340.PDF PDF], 1972 ACM Turing Award lecture * (EWD498) * [http://www.cs.utexas.edu/users/EWD/transcriptions/EWD11xx/EWD1166.html From My Life (EWD1166)] * Dijkstra, E.W. (August 1975), Guarded commands, nondeterminacy and formal derivation of program. Communications of the ACM, 18(8):453–457. [http://doi.acm.org/10.1145/360933.360975] * Dijkstra, E.W. (1976), A Discipline of Programming, Prentice-Hall Series in Automatic Computation, ISBN 0-13-215871-X — A systematic introduction to a version of the guarded command language with many worked examples * Selected Writings on Computing: A Personal Perspective, Texts and Monographs in Computer Science, Springer-Verlag, 1982, ISBN 0-387-90652-5 * A Method of Programming, E.W. Dijkstra, W.H.J. Feijen, trsl. by J. Sterringa, Addison Wesley 1988, ISBN 0-201-17536-3 * E. W. Dijkstra and Carel S. Scholten (1990). Predicate Calculus and Program Semantics. Springer-Verlag ISBN 0-387-96957-8 — An abstract, formal treatment of Predicate transformer semantics *O.-J. Dahl, Edsger W. Dijkstra, C. A. R. Hoare Structured Programming, Academic Press, London, 1972 ISBN 0-12-200550-3 **this volume includes an expanded version of the Notes on Structured Programming ([http://www.cs.utexas.edu/users/EWD/ewd02xx/EWD249.PDF EWD249]), including an extended example of using the structured approach to develop a backtracking algorithm to solve the 8 Queens problem. **[http://dl.acm.org/citation.cfm?id1243380&jmpcit&collportal&dlGUIDE#CIT a pdf version of this book is available in the ACM Classic Books Series] Дейкстра жайлы еулогиялар * [https://web.archive.org/web/20041206193322/http://www.digidome.nl/edsger_wybe_dijkstra.htm Biography] Digidome * [http://homepages.cwi.nl/~apt/ps/dijkstra.pdf Edsger Wybe Dijkstra (1930–2002): A Portrait of a Genius] (PDF) Obituary in Formal Aspects of Computing with a short biography * [http://www.cs.utexas.edu/users/EWD/memorial/gries.html How can we explain Edsger W. Dijkstra to those who didn't know him?] by David Gries * [http://www.cs.utexas.edu/users/EWD/memorial/moore.html Dijkstra Eulogy] by J Strother Moore * [http://www.cs.rutgers.edu/~szegedy/dijkstra.html In Memoriam Edsger Wybe Dijkstra] by Mario Szegedy * [http://www.adeptis.ru/vinci/m_part7.html Photos of Edsger Dijkstra] * [http://www.cs.utexas.edu/users/EWD/misc/vanVlissingenInterview.html 1985 Interview with Edsger Dijkstra, which he considered the best of his life] Сыртқы сілттемелер * [http://purl.umn.edu/107247 Oral history interview with Edsger W. Dijkstra], Charles Babbage Institute University of Minnesota, Minneapolis. Dijkstra recounts his early education and training as a theoretical physicist and as a 'programmer'. Dijkstra describes his work developing software, and his activities at several early information processing conferences. Dijkstra discusses the development of ALGOL 60, Dijkstra's algorithm, THE multiprogramming system. Comments on such figures as Aad van Wijngaarden, Gerrit Blaauw, F.L. Bauer, Peter Naur, Tony Hoare, Niklaus Wirth, Alan Perlis. Compares the origins of computing science in Europe and America. Oral history interview 2001. [http://cacm.acm.org/magazines/2010/8/96632-an-interview-with-edsger-w-dijkstra/fulltext Extract] published in Communications of the ACM Vol. 53 No. 8 (Aug. 2010): 41-47. * [http://www.cs.utexas.edu/users/EWD/ E. W. Dijkstra Archive] * [http://purl.umn.edu/40969 Burroughs Corporation Records - Edsger W. Dijkstra Papers], Charles Babbage Institute, University of Minnesota. Dijkstra worked as a research fellow with Burroughs Corporation beginning in 1973. * [http://www.cs.utexas.edu/users/EWD/video-audio/NoorderlichtVideo.html Noorderlicht: Discipline in Thought] Video interview, 2001-04-10 **[http://noorderlicht.vpro.nl/afleveringen/3502225/ original here], only in Dutch, bandwidth options * [http://www.speechpedia.org/EdsgerDijkstra/1996/12/08/Edsger-Dijkstras-Convocation-Speech/ Edsger Dijkstra's Convocation Speech]