Дональд Кнут

Матеріал з Вікіпедії — вільної енциклопедії.
Перейти до навігації Перейти до пошуку
Дональд Кнут
англ. Donald Ervin Knuth
Дональд Кнут
Дональд Кнут
Народився 10 січня 1938(1938-01-10)[1][2][…] (81 рік)
Мілуокі, США США
Місце проживання США
Громадянство Flag of the United States.svg США
Національність американець
Діяльність математик, інформатик, історик математики, письменник, програміст, викладач університету, інженер
Alma mater Західний резервний університет Кейза
Каліфорнійський технологічний інститут
Сфера інтересів інформатика, програмування
Заклад Стенфордський університет
Науковий ступінь доктор філософії[2] (1963)
Науковий керівник Marshall Hall[d][4]
Відомі учні Вон Пратт[en]
Роберт Седжвік[en]
Аспіранти, докторанти Леонідас Ґібас[d], Michael Fredman[d], Scott Kim[d], Vaughan Pratt[d], Robert Sedgewick[d], Jeffrey Vitter[d] і Андрей Бродер
Член Французька академія наук[5], Норвезька академія наук[6], Американське математичне товариство, Національна академія наук США[2][7], Американська академія мистецтв і наук[2][8], Російська академія наук[9], Баварська академія наук[10], Національна інженерна академія США[d][11], Association for Computing Machinery[2], Інститут інженерів з електротехніки та електроніки[12], Американське філософське товариство, British Computer Society[d][13], Лондонське математичне товариство[14] і Лондонське королівське товариство[15]
Відомий завдяки: «Мистецтво програмування»
ΤΕΧ, METAFONT
Алгоритм Кнута — Моріса — Пратта
Алгоритм Кнута — Бендікса[en]
Алгоритм Робінсона — Шенстеда — Кнута[en]
Нагороди

Ґрант Гуггенгайма (1972)

премія Тюрінга (1974)

медаль Джона фон Неймана (1995)

премія Гарві (1995)

Національна наукова медаль США (1979)

Медаль Фарадея (2011)

Нагорода імені Грейс Мюррей Гоппер[d] (1971)

Гіббсівська лекція[d] (1978)

член Лондонського Королівського Товариства[d] (2003)

Turing Lecture[d] (2011)

CHM Fellow Awards (1998)

медаль Франкліна (1988)

Kyoto Prize in Advanced Technology[d] (1996)

ACM Software System Award[d] (1986)

W. Wallace McDowell Award[d] (1980)

Paul R. Halmos - Lester R. Ford Awards[d] (1975, 1993)

BBVA Foundation Frontiers of Knowledge Awards (2010)

Leroy P. Steele Prize[d] (1986)

John von Neumann Lecture[d] (2016)

honorary doctor of ETH Zürich[d] (2005)

почесний доктор[d] (2001)

Fellow of the Association for Computing Machinery[d] (1994)

ACM Fellow[d]

SIAM Fellow[d]

Fellow of the British Computer Society[d]

Fellow of the American Mathematical Society[d]

honorary doctorate of the University of Glasgow[d] (2011)

іноземний член Лондонського королівського товариства[d]

почесний доктор Гарвардського університету[d] (2003)

honorary doctorate of the Masaryk University[d] (1996)

Особ. сторінка www-cs-faculty.stanford.edu/~knuth

CMNS: Дональд Кнут на Вікісховищі

Дональд Ервін Кнут (англ. Donald Ervin Knuth, 10 січня 1938) — інформатик, ідеолог програмування та почесний професор Стенфордського університету. Автор фундаментальної праці «Мистецтво програмування»; вважається одним з батьків аналізу складності алгоритмів. Розробник типографічної системи TeX та пов'язаної мови визначення шрифтів і системи їх рендерингу METAFONT.

Біографія[ред. | ред. код]

Народився 10 січня 1938 року у США.

Оскільки Кнут завжди вважав монографію «Мистецтво програмування» основним проектом свого життя, у 1990 році він вийшов на пенсію, із твердим наміром повністю зосередитися на написанні відсутніх частин і приведенні у порядок існуючих.

Визнання[ред. | ред. код]

Професор Кнут удостоєний багатьох премій та нагород в області програмування та обчислювальної математики, серед яких премія Тюринга (1974), Національна наукова медаль США (1979) та AMS Steele Prize за серію науково-популярних статей, премія Харві[en] (1995 рік), премія Кіото (1996) за за досягнення в області передових технологій, премія імені Грейс Мюррей Хоппер[en] (1971).

У кінці січня 2009 року Кнут займав 20-те місце у списку найцитованіших авторів у проекті CiteSeer.

Бібліографія[ред. | ред. код]

  • Donald Knuth. The Art of Computer Programming . — Addison-Wesley Professional, 2015. — Т. Volume 4, Fascicle 6: Satisfiability. — xiii+310 с. — ISBN 978-0-13-439760-3.
  • Knuth D. E. 3:16 Bible Texts Illuminated. — A-R Editions, 1990. — ISBN 0-89579-252-4.
  • Knuth D. E. Axioms and Hulls. — Springer-Verlag, 1992. — ISBN 3-540-55611-7.
  • Knuth D. E. Companion to the Papers of Donald Knuth. — Stanford : Center for the Study of Language and Information, 2011. — ISBN 1-57586-635-3.
  • Knuth D. E. Computer Modern Typefaces. — Addison-Wesley, 1986. — ISBN 0-201-13446-2.
  • Knuth D. E., Levy S. The CWEB System of Structured Documentation. — Addison-Wesley, 1993. — ISBN 0-201-57569-8.
  • Knuth D. E. Literate Programming. — Stanford : Center for the Study of Language and Information, 1992. — ISBN 0-937073-80-6.
  • Knuth D. E., Larrabee T. L., Roberts P. M. Mathematical Writing. — Mathematical Association of America, 1989. — ISBN 0-88385-063-X.
  • Knuth D. E. METAFONT: The Program. — Addison-Wesley, 1986. — ISBN 0-201-13438-1.
  • Knuth D. E. MMIXware: A RISC Computer for the Third Millennium. — Springer-Verlag, 1999. — ISBN 978-3-540-66938-8.
  • Knuth D. E. Selected Papers on Analysis of Algorithms. — Stanford : Center for the Study of Language and Information, 2000. — ISBN 1-57586-212-3.
  • Knuth D. E. Selected Papers on Computer Languages. — Stanford : Center for the Study of Language and Information, 2003. — ISBN 1-57586-381-2.
  • Knuth D. E. Selected Papers on Computer Science. — Stanford : Center for the Study of Language and Information, 1996. — ISBN 1-881526-91-7.
  • Knuth D. E. Selected Papers on Design of Algorithms. — Stanford : Center for the Study of Language and Information, 2010. — ISBN 1-57586-583-1.
  • Knuth D. E. Selected Papers on Discrete Mathematics. — Stanford : Center for the Study of Language and Information, 2003. — ISBN 1-57586-249-2.
  • Knuth D. E. Selected Papers on Fun and Games. — Stanford : Center for the Study of Language and Information, 2010. — ISBN 1-57586-585-0.
  • Knuth D. E. The Stanford GraphBase: A Platform for Combinatorial Computing. — ACM Press, 1994. — ISBN 0-201-54275-7.
  • Knuth D. E. TeX: The Program. — Addison-Wesley, 1986. — ISBN 0-201-13437-3.
  • Knuth D. E. Things a Computer Scientist Rarely Talks About. — Stanford : Center for the Study of Language and Information, 2001. — ISBN 1-57586-327-8.

Лекції та інтерв'ю[ред. | ред. код]

Примітки[ред. | ред. код]

  1. Національна бібліотека Німеччини, Державна бібліотека в Берліні, Баварська державна бібліотека та ін. Record #121578437 // Німецька нормативна база даних — 2012—2016.
  2. а б в г д http://amturing.acm.org/award_winners/knuth_1013846.cfm
  3. Архів історії математики Мактьютор
  4. Математична генеалогія — 1997.
  5. https://www.academie-sciences.fr/fr/Liste-des-membres-de-l-Academie-des-sciences-/-K/donald-knuth.html
  6. http://www.dnva.no/c26849/artikkel/vis.html?tid=40116
  7. http://www.nasonline.org/member-directory/members/53709.html
  8. https://www.amacad.org/person/donald-ervin-knuth
  9. http://www.ras.ru/win/db/show_per.asp?P=.id-60526.ln-en
  10. https://badw.de/data/footer-navigation/personentreffer.html?tx_badwdb_badwperson%5Bper_id%5D=1599&tx_badwdb_badwperson%5BpartialType%5D=BADWPersonDetailsPartial&tx_badwdb_badwperson%5Baction%5D=show&tx_badwdb_badwperson%5Bcontroller%5D=BADWPerson
  11. https://www.nae.edu/29072/Dr-Donald-E-Knuth
  12. https://www.ieee.org/content/dam/ieee-org/ieee/web/org/about/hon_mem_rl.pdf
  13. https://www.gla.ac.uk/news/archiveofnews/2011/february/headline_189206_en.html
  14. http://www-history.mcs.st-andrews.ac.uk/Biographies/Knuth.html
  15. https://royalsociety.org/people/donald-knuth-11764

Див. також[ред. | ред. код]

  • 21656 Кнут - астероїд, названий на честь науковця

Посилання[ред. | ред. код]