Donald Knuth - Donald Knuth

Donald Knuth
KnuthAtOpenContentAlliance.jpg
Knut w 2005 r.
Urodzić się
Donald Ervin Knuth

( 10.01.1938 )10 stycznia 1938 (83 lata)
Milwaukee, Wisconsin , Stany Zjednoczone
Narodowość amerykański
Edukacja
Znany z
Małżonka(e) Nancy Jill Carter
Dzieci 2
Nagrody
Kariera naukowa
Pola
Instytucje Uniwersytet Stanforda ,
Uniwersytet w Oslo
Praca dyplomowa Skończone półpola i płaszczyzny rzutowe  (1963)
Doradca doktorski Marshall Hall, Jr.
Doktoranci
Strona internetowa cs .stanford .edu /~knuth

Donald Ervin Knuth ( / k ə n Ü θ / kə- NOOTH , urodzony 10 stycznia 1938), amerykański informatyk , matematyk i emerytowany profesor na Uniwersytecie Stanforda . Jest laureatem Nagrody Turinga ACM w 1974 roku , nieformalnie uważanej za Nagrodę Nobla w dziedzinie informatyki. Knuth został nazwany „ojcem analizy algorytmów ”.

Jest autorem wielotomowej pracy The Art of Computer Programming . Przyczynił się do opracowania rygorystycznej analizy złożoności obliczeniowej algorytmów i usystematyzowania jej formalnych technik matematycznych. W ten sposób spopularyzował także notację asymptotyczną . Oprócz fundamentalnego wkładu w kilka gałęzi informatyki teoretycznej , Knuth jest twórcą komputerowego systemu składu TeX , powiązanego języka definicji czcionek i systemu renderowania METAFONT oraz rodziny krojów pism Computer Modern .

Jako pisarz i uczony, Knuth stworzył systemy programowania komputerowego WEB i CWEB zaprojektowane w celu zachęcania i ułatwiania piśmiennego programowania oraz zaprojektował architektury zestawów instrukcji MIX / MMIX . Knuth zdecydowanie sprzeciwia się przyznawaniu patentów na oprogramowanie , wyrażając swoją opinię w Urzędzie Patentów i Znaków Towarowych Stanów Zjednoczonych oraz Europejskiej Organizacji Patentowej .

Biografia

Wczesne życie

Knuth urodziła się w Milwaukee , Wisconsin , aby Ervin Knuth i Henry Louise Marie Bohning. Opisuje swoje dziedzictwo jako „środkowo-luterański niemiecki”. Jego ojciec był właścicielem małej drukarni i uczył księgowości. Donald, uczeń Milwaukee Lutheran High School , myślał o pomysłowych sposobach rozwiązywania problemów. Na przykład, w ósmej klasie, wziął udział w konkursie na liczbę słów, które można by ułożyć z liter w „Gigantycznym barze Zieglera”; sędziowie zidentyfikowali 2500 takich słów. Z czasem zdobytym poza szkołą z powodu udawanego bólu brzucha i pracy nad problemem w drugą stronę, Knuth użył pełnego słownika i ustalił, czy każdy wpis słownikowy można utworzyć za pomocą liter we frazie. Za pomocą tego algorytmu zidentyfikował ponad 4500 słów, wygrywając konkurs. W nagrodę szkoła otrzymała nowy telewizor i wystarczającą ilość batoników, by mogli jeść wszyscy jego koledzy.

Edukacja

Knuth otrzymał stypendium z fizyki w Case Institute of Technology (obecnie część Case Western Reserve University ) w Cleveland w stanie Ohio, zapisując się na studia w 1956 roku. Dołączył również do oddziału Beta Nu bractwa Theta Chi . Studiując fizykę w Case, Knuth zapoznał się z IBM 650 , wczesnym komputerem komercyjnym . Po przeczytaniu instrukcji obsługi komputera Knuth postanowił przepisać kod asemblera i kompilatora dla maszyny używanej w jego szkole, ponieważ wierzył, że może zrobić to lepiej.

W 1958 roku Knuth stworzył program, który miał pomóc swojej szkolnej drużynie koszykówki wygrywać mecze. Przypisał „wartości” graczom, aby ocenić ich prawdopodobieństwo zdobycia punktów, co było nowatorskim podejściem, o którym później donosiły Newsweek i CBS Evening News .

Knuth był jednym z założycieli czasopisma Case Institute's Engineering and Science Review , które w 1959 roku zdobyło krajową nagrodę dla najlepszego magazynu technicznego. Następnie przeszedł z fizyki na matematykę i otrzymał dwa stopnie naukowe od Case w 1960 roku: tytuł licencjata nauk ścisłych, a jednocześnie magistrem nauk ścisłych specjalną nagrodą wydziału, który uznał jego twórczość za wyjątkowo wybitną.

W 1963 roku, z matematykiem Marshallem Hallem jako jego doradcą, uzyskał doktorat z matematyki na Kalifornijskim Instytucie Technologicznym .

Wczesna praca

Po otrzymaniu doktoratu Knuth dołączył do wydziału Caltech jako adiunkt.

Przyjął zlecenie napisania książki o kompilatorach języków programowania komputerów . Pracując nad tym projektem, Knuth zdecydował, że nie może odpowiednio potraktować tematu bez uprzedniego opracowania podstawowej teorii programowania komputerowego, która stała się Sztuką Programowania Komputerowego . Początkowo planował opublikować to jako jedną książkę. Kiedy Knuth opracował swój zarys książki, doszedł do wniosku, że potrzebuje sześciu tomów, a potem siedmiu, aby dokładnie omówić temat. Pierwszy tom opublikował w 1968 roku.

Tuż przed opublikowaniem pierwszego tomu The Art of Computer Programming , Knuth opuścił Caltech, aby podjąć pracę w dziale badań komunikacji Instytutu Analiz Obronnych , wówczas znajdującym się na kampusie Uniwersytetu Princeton , który przeprowadzał badania matematyczne w kryptografii w celu wsparcia bezpieczeństwa narodowego Agencja .

W 1967 Knuth wziął udział w konferencji Towarzystwa Matematyki Przemysłowej i Stosowanej i ktoś zapytał, co robi. W tym czasie informatyka została podzielona na analizę numeryczną, sztuczną inteligencję i języki programowania. Opierając się na swoich badaniach i książce The Art of Computer Programming , Knuth zdecydował, że następnym razem, gdy ktoś zapyta, powie: „Analiza algorytmów”.

Knuth następnie opuścił swoją pozycję i dołączył do wydziału Uniwersytetu Stanforda w 1969 roku, gdzie obecnie jest emerytowanym profesorem informatyki Fletcher Jones.

Pisma

Knuth jest pisarzem, a także informatykiem.

Sztuka Programowania Komputerowego ( TAOCP )

Główny artykuł: Sztuka programowania komputerowego

„Najlepszym sposobem komunikowania się między ludźmi jest historia”.

—  Donald Knuth

W latach 70. Knuth opisał informatykę jako „całkowicie nową dziedzinę bez prawdziwej tożsamości. A standard dostępnych publikacji nie był tak wysoki. było wyjaśnienie historii, która została bardzo źle opowiedziana”.

Od 1972 do 1973 Knuth spędził rok na Uniwersytecie w Oslo wśród ludzi takich jak Ole-Johan Dahl . Tutaj miał właściwie napisać siódmy tom swojej serii książek, tom, który miał dotyczyć języków programowania. Jednak Knuth skończył dopiero dwa pierwsze tomy, kiedy przyjechał do Oslo, a zatem spędził rok na trzecim tomie, obok nauczania. Trzeci tom serii ukazał się tuż po powrocie Knutha do Stanford w 1973 roku.

Do 2011 roku ukazały się pierwsze trzy tomy i pierwsza część tomu czwartego jego serii. Betonowe Matematyka: a Fundacja Informatyki . 2nd ed, który pochodzi z rozbudową części wstępów matematyczne tom 1 TAoCP , został również opublikowany. W kwietniu 2020 r. Knuth powiedział, że ciężko pracuje nad częścią B tomu 4 i przewiduje, że książka będzie miała co najmniej części od A do F.

Inne prace

Knuth jest również autorem surrealistyczne Liczb , matematyczny nowela o John Conway jest teoria mnogości budowy alternatywnego systemu liczb. Zamiast po prostu wyjaśniać temat, książka stara się pokazać rozwój matematyki. Knuth chciał, aby książka przygotowała uczniów do prowadzenia oryginalnych, twórczych badań.

W 1995 Knuth napisał przedmowę do książki A = B przez Marko Petkovšek , Herbert Wilf i Doron Zeilberger . Knuth jest także okazjonalnym współtwórcą zagadek językowych do Word Ways: The Journal of Leisure Linguistics .

Knuth zagłębił się również w matematykę rekreacyjną . Przyczynił artykuły do Journal of Mathematics rekreacyjne rozpoczynających się w 1960 roku i została uznana jako główny specjalista w Joseph Madachy „s matematyki na wakacjach .

Knuth pojawił się również w wielu filmach na YouTube dotyczących Numberphile i Computerphile, w których omawiał tematy od pisania Surreal Numbers do tego, dlaczego nie korzysta z poczty e-mail.

Prace dotyczące jego przekonań religijnych

Oprócz swoich pism o informatyce, Knuth, luteranin , jest także autorem 3:16 Bible Texts Illuminated , w którym bada Biblię w procesie systematycznego pobierania próbek , czyli analizy rozdziału 3, wersetu 16 każdego z nich. książka. Każdemu wersowi towarzyszy renderowanie w sztuce kaligraficznej, wykonane przez grupę kaligrafów pod przewodnictwem Hermanna Zapfa . Następnie został zaproszony do wygłoszenia serii wykładów na MIT na temat jego poglądów na religię i informatykę stojącą za jego projektem 3:16, co zaowocowało kolejną książką, Things a Computer Scientist Rarely Talks About , w której opublikował wykłady „Bóg i komputer Nauka” .

Opinia w sprawie patentów na oprogramowanie

Knuth zdecydowanie sprzeciwia się polityce przyznawania patentów na oprogramowanie dla trywialnych rozwiązań, które powinny być oczywiste, ale wyraża bardziej zniuansowane poglądy na nietrywialne rozwiązania, takie jak metoda programowania liniowego z punktem wewnętrznym . Swój sprzeciw wyraził bezpośrednio zarówno w Urzędzie Patentów i Znaków Towarowych Stanów Zjednoczonych, jak i Europejskiej Organizacji Patentowej .

Zadumy komputerowe

Knuth prowadzi kilka razy w roku nieformalne wykłady na Uniwersytecie Stanforda , które zatytułował „Rozmyślania komputerowe”. Do 2017 roku był profesorem wizytującym na Wydziale Informatyki Uniwersytetu Oksfordzkiego w Wielkiej Brytanii oraz honorowym członkiem Magdalen College .

Programowanie

Skład cyfrowy

W latach 70. wydawcy TAOCP porzucili Monotype na rzecz fotoskładu . Knuth był tak sfrustrowany, że ten ostatni system nie jest w stanie zbliżyć się do jakości poprzednich tomów, które były składane przy użyciu starszego systemu, że poświęcił czas na pracę nad cyfrowym składem i stworzył TeX i Metafont .

Programowanie piśmienne

Rozwijając TeX, Knuth stworzył nową metodologię programowania, którą nazwał programowaniem literackim , ponieważ uważał, że programiści powinni myśleć o programach jak o dziełach literackich. „Zamiast wyobrażać sobie, że naszym głównym zadaniem jest instruowanie komputera, co ma robić, skoncentrujmy się raczej na wyjaśnianiu ludziom, czego chcemy od komputera”.

Knuth ucieleśniał ideę piśmiennego programowania w systemie WEB . To samo źródło WEB jest używany do tkania pliku TeX oraz plączą się Pascal plik źródłowy. Te z kolei tworzą odpowiednio czytelny opis programu i wykonywalny plik binarny. Późniejsza iteracja systemu, CWEB , zastępuje Pascala C .

Knuth używał WEB do programowania TeX i METAFONT i opublikował oba programy jako książki: The TeXbook , który został pierwotnie opublikowany w 1984 roku i The METAFONTbook , który został pierwotnie opublikowany w 1986 roku. Mniej więcej w tym samym czasie LaTeX , obecnie szeroko stosowane makro Pakiet oparty na TeX został po raz pierwszy opracowany przez Leslie Lamport , który później opublikował swój pierwszy podręcznik użytkownika w 1986 roku.

Muzyka

Knuth jest organistą i kompozytorem . W 2016 roku ukończył utwór muzyczny na organy pt. Fantasia Apocalyptica , który określa jako „przekład greckiego tekstu Objawienia św. Jana Bożego na muzykę”. Premiera odbyła się w Szwecji 10 stycznia 2018 roku.

Życie osobiste

Donald Knuth poślubił Nancy Jill Carter w dniu 24 czerwca 1961, gdy był studentem na California Institute of Technology. Mają dwoje dzieci: Johna Martina Knutha i Jennifer Sierra Knuth.

chińskie imię

Knuth za chińskie imię jest Gao Dena ( chiński uproszczony :高德纳; tradycyjne chińskie :高德納; pinyin : Gao Dena ). W 1977 otrzymał to imię od Frances Yao , na krótko przed 3-tygodniową podróżą do Chin . W chińskim tłumaczeniu pierwszego tomu The Art of Computer Programming z 1980 roku ( chiń uproszczony :计算机程序设计艺术; chiński tradycyjny :電腦程式設計藝術; pinyin : Jìsuànjī chéngxù shèjì yìshù ), Knuth wyjaśnia, że ​​przyjął swoje chińskie imię, ponieważ chciał być znanym w tym czasie przez rosnącą liczbę programistów komputerowych w Chinach. W 1989 roku, jego chińska nazwa została umieszczona na szczycie Journal of Computer Science and Technology jest nagłówek, który Knuth mówi «czuję się w pobliżu wszystkich Chińczyków, choć nie mogę mówić język».

Problemy zdrowotne

W 2006 roku u Knutha zdiagnozowano raka prostaty . Przeszedł operację w grudniu tego samego roku i stwierdził, że „trochę radioterapii… jako środek ostrożności, ale rokowanie wygląda całkiem nieźle”, jak opisał w swojej autobiografii wideo.

Humor

Jeden z testów nagród Knutha

Knuth płacił znalazcy opłatę w wysokości 2,56 dolara za wszelkie błędy typograficzne lub pomyłki wykryte w jego książkach, ponieważ „256 pensów to jeden dolar szesnastkowy ”, a 0,32 dolara za „cenne sugestie”. Według artykułu w Massachusetts Institute of Technology „s Technology Review , te kontrole Knuth nagrody są«jednym z najbardziej cennych trofeów computerdom za». Knuth musiał zaprzestać wysyłania prawdziwych czeków w 2008 r. z powodu oszustwa bankowego, a zamiast tego wydaje teraz każdemu znalazcy błędu „zaświadczenie o wpłacie” z salda notowanego na giełdzie w swoim fikcyjnym „Bank of San Serriffe ”.

Kiedyś ostrzegł korespondenta: „Uważaj na błędy w powyższym kodzie; tylko udowodniłem, że jest poprawny, a nie próbowałem”.

Knuth opublikował swój pierwszy „naukowy” artykuł w szkolnym czasopiśmie w 1957 roku pod tytułem „ System miar i wag Potrzebie ”. W tym, że zdefiniowany podstawową jednostkę o długości jak grubość Mad nr 26 i nazwie podstawową jednostką siły „whatmeworry”. Mad opublikował artykuł w numerze 33 (czerwiec 1957).

Aby zademonstrować pojęcie rekurencji , Knuth celowo odniósł się do „definicji cyrkularnej” i „definicji cyrkularnej” w indeksie The Art of Computer Programming , tom 1 .

Przedmowa Matematyki konkretnej ma następujący akapit:

Kiedy DEK po raz pierwszy uczył matematyki konkretnej w Stanford, wyjaśnił nieco dziwny tytuł, mówiąc, że to jego próba nauczania matematyki na twardym, a nie miękkim kursie. Zapowiedział, że wbrew oczekiwaniom kolegów nie będzie wykładał teorii agregatów, twierdzenia Stone'a o osadzeniu ani nawet zagęszczania Stone-Čech . (Kilku studentów z wydziału inżynierii lądowej wstało i cicho opuściło salę.)

Na konferencji TUG 2010 Knuth ogłosił satyrycznego następcę TeXa opartego na XML , zatytułowanego „iTeX” ( wymawiane  [iː˨˩˦tɛks˧˥] , wykonywane z dzwonkiem), który obsługuje takie funkcje, jak arbitralnie skalowane jednostki irracjonalne , druk 3D , dane wejściowe z sejsmografów i monitorów serca, animacje i dźwięk stereofoniczny.

Nagrody i wyróżnienia

W 1971 Knuth został laureatem pierwszej nagrody ACM Grace Murray Hopper Award . Otrzymał wiele innych nagród, w tym Nagrodę Turinga , Narodowy Medal Nauki , Medal Johna von Neumanna oraz Nagrodę Kioto .

Knuth został wybrany Distinguished Fellow Brytyjskiego Towarzystwa Komputerowego (DFBCS) w 1980 roku w uznaniu wkładu Knutha w dziedzinę informatyki.

W 1990 roku otrzymał jedyny w swoim rodzaju tytuł naukowy Profesora Sztuki Programowania Komputerowego , który od tego czasu otrzymał tytuł Profesora Emerytowanego Sztuki Programowania Komputerowego .

Knuth został wybrany do Narodowej Akademii Nauk w 1975 r. Został również wybrany członkiem Narodowej Akademii Inżynierii w 1981 r. za zorganizowanie rozległych obszarów tematycznych informatyki, tak aby były one dostępne dla wszystkich segmentów społeczności komputerowej. W 1992 został współpracownikiem Francuskiej Akademii Nauk . Również w tym samym roku wycofał się z regularnych badań i nauczania na Uniwersytecie Stanforda , aby ukończyć The Art of Computer Programming . Został wybrany na członka zagranicznego Royal Society (ForMemRS) w 2003 roku .

Knuth został wybrany jako Fellow (pierwsza klasa stypendystów) Towarzystwa Matematyki Przemysłowej i Stosowanej w 2009 roku za wybitny wkład w matematykę. Jest członkiem Norweskiej Akademii Nauki i Literatury . W 2012 roku został stypendystą Amerykańskiego Towarzystwa Matematycznego i członkiem Amerykańskiego Towarzystwa Filozoficznego . Inne nagrody i wyróżnienia to:

Publikacje

Krótka lista jego publikacji obejmuje:

Sztuka programowania komputerowego :

  1. ——— (1997). Sztuka programowania komputerowego . 1: Podstawowe algorytmy (3rd ed.). Addison-Wesley Profesjonalista. Numer ISBN 978-0-201-89683-1.
  2. ——— (1997). Sztuka programowania komputerowego . 2: Algorytmy półnumeryczne (3rd ed.). Addison-Wesley Profesjonalista. Numer ISBN 978-0-201-89684-8.
  3. ——— (1998). Sztuka programowania komputerowego . 3: Sortowanie i wyszukiwanie (wyd. 2). Addison-Wesley Profesjonalista. Numer ISBN 978-0-201-89685-5.
  4. ——— (2011). Sztuka programowania komputerowego . 4A: Algorytmy kombinatoryczne. Addison-Wesley Profesjonalista. Numer ISBN 978-0-201-03804-0.
  5. ——— (2005). MMIX — komputer RISC na nowe tysiąclecie . 1, zeszyt 1. ISBN 978-0-201-85392-6.
  6. ——— (2008). Sztuka programowania komputerowego . 4, Zeszyt 0: Wprowadzenie do algorytmów kombinatorycznych i funkcji logicznych. Numer ISBN 978-0-321-53496-5.
  7. ——— (2009). Sztuka programowania komputerowego . 4, Fascykuł 1: Sztuczki i techniki bitowe, Binarne diagramy decyzyjne. Numer ISBN 978-0-321-58050-4.
  8. ——— (2005). Sztuka programowania komputerowego . 4, Zeszyt 2: Generowanie wszystkich krotek i permutacji. Numer ISBN 978-0-201-85393-3.
  9. ——— (2005). Sztuka programowania komputerowego . 4, Zeszyt 3: Generowanie wszystkich kombinacji i partycji. Numer ISBN 978-0-201-85394-0.
  10. ——— (2006). Sztuka programowania komputerowego . 4, Zeszyt 4: Generowanie wszystkich drzew — historia generowania kombinatorycznego. Numer ISBN 978-0-321-33570-8.
  11. ——— (2018). Sztuka programowania komputerowego . 4, Fascicle 5: Matematyczne eliminacje wstępne Redux, Backtracking, Dancing Links. Numer ISBN 978-0-134-67179-6.
  12. ——— (2015). Sztuka programowania komputerowego . 4, zeszyt 6: Spełnialność. Numer ISBN 978-0-134-39760-3.

Komputery i skład (wszystkie książki są w twardej oprawie, chyba że zaznaczono inaczej):

  1. ——— (1984). Komputery i skład . A, TeXbook. Czytanie, MA : Addison-Wesley. Numer ISBN 978-0-201-13447-6., x+483 os.
  2. ——— (1984). Komputery i skład . A, TeXbook. Czytanie, MA : Addison-Wesley. Numer ISBN 978-0-201-13448-3. (miękka okładka).
  3. ——— (1986). Komputery i skład . B, TeX: Program. Czytanie, MA : Addison-Wesley. Numer ISBN 978-0-201-13437-7., xviii+600 str.
  4. ——— (1986). Komputery i skład . C, METAFONTKsiążka. Czytanie, MA : Addison-Wesley. Numer ISBN 978-0-201-13445-2., xii+361 s.
  5. ——— (1986). Komputery i skład . C, METAFONTKsiążka. Czytanie, MA : Addison-Wesley. Numer ISBN 978-0-201-13444-5. (miękka okładka).
  6. ——— (1986). Komputery i skład . D, METAFONT: Program. Czytanie, MA : Addison-Wesley. Numer ISBN 978-0-201-13438-4., xviii+566 s.
  7. ——— (1986). Komputery i skład . E, komputerowe nowoczesne kroje pisma. Czytanie, MA : Addison-Wesley. Numer ISBN 978-0-201-13446-9., xvi+588 s.
  8. ——— (2000). Komputery i skład . Zestaw w pudełku AE. Czytanie, MA : Addison-Wesley. Numer ISBN 978-0-201-73416-4.

Księgi zebranych artykułów:

  1. ——— (1992). Programowanie piśmienne . Notatki z wykładu. Stanford, CA : Centrum Studiów Języka i Informacji —CSLI. Numer ISBN 978-0-937073-80-3.
  2. ——— (1996). Wybrane artykuły z informatyki . Notatki z wykładu. Stanford, CA : Centrum Studiów Języka i Informacji — CSLI. Numer ISBN 978-1-881526-91-9.
  3. ——— (1999). Typografia cyfrowa . Notatki z wykładu. Stanford, CA : Centrum Studiów Języka i Informacji — CSLI. Numer ISBN 978-1-57586-010-7.
  4. ——— (2000). Wybrane artykuły z analizy algorytmów . Notatki z wykładu. Stanford, CA : Centrum Studiów Języka i Informacji — CSLI. Numer ISBN 978-1-57586-212-5.
  5. ——— (2003). Wybrane artykuły na temat języków komputerowych . Notatki z wykładu. Stanford, CA : Centrum Studiów Języka i Informacji — CSLI. Numer ISBN 978-1-57586-381-8., ISBN  1-57586-382-0 (miękka oprawa )
  6. ——— (2003). Wybrane artykuły z matematyki dyskretnej . Notatki z wykładu. Stanford, CA : Centrum Studiów Języka i Informacji — CSLI. Numer ISBN 978-1-57586-249-1., ISBN  1-57586-248-4 (miękka oprawa )
  7. Donald E. Knuth, Selected Papers on Design of Algorithms (Stanford, Kalifornia: Center for the Study of Language and Information — CSLI Lecture Notes, nr 191), 2010. ISBN  1-57586-583-1 (tkanina), ISBN  1 -57586-582-3 (miękka okładka )
  8. Donald E. Knuth, Selected Papers on Fun and Games (Stanford, Kalifornia: Center for the Study of Language and Information-CSLI Lecture Notes, nr 192), 2011. ISBN  978-1-57586-585-0 (tkanina), ISBN  978-1-57586-584-3 (miękka oprawa )
  9. Donald E. Knuth, Companion to the Papers of Donald Knuth (Stanford, Kalifornia: Center for the Study of Language and Information-CSLI Lecture Notes, nr 202), 2011. ISBN  978-1-57586-635-2 (tkanina) , ISBN  978-1-57586-634-5 (miękka oprawa )

Inne książki:

  1. Graham, Ronald L ; Knuth, Donald E.; Patasznik, Oren (1994). Matematyka konkretna: podstawa informatyki (wyd. drugie). Czytanie, MA: Addison-Wesley. Numer ISBN 978-0-201-55802-9. MR  1397498 . xiv+657 s.
  2. Knutha, Donalda Erwina (1974). Liczby surrealistyczne: jak dwóch byłych studentów zwróciło się do czystej matematyki i odnalazło całkowite szczęście: matematyczna nowela . Addisona-Wesleya. Numer ISBN 978-0-201-03812-5.
  3. Donald E. Knuth, Stanford GraphBase: platforma dla kombinatorycznych obliczeń (New York, ACM Press) 1993. drugi druk w miękkiej oprawie 2009. ISBN  0-321-60632-9
  4. Donald E. Knuth, 3:16 Teksty biblijne oświetlone (Madison, Wisconsin: AR Editions), 1990. ISBN  0-89579-252-4
  5. Donald E. Knuth, Things a Computer Scientist Rarely Talks (Center for the Study of Language and Information — CSLI Lecture Notes nr 136), 2001. ISBN  1-57586-326-X
  6. Donald E. Knuth, MMIXware: A RISC Computer for the Third Millennium (Heidelberg: Springer-Verlag — Lecture Notes in Computer Science, nr 1750), 1999. viii+550 s. ISBN  978-3-540-66938-8
  7. Donald E. Knuth i Silvio Levy, System dokumentacji strukturalnej CWEB (Reading, Massachusetts: Addison-Wesley), 1993. iv+227 s. ISBN  0-201-57569-8 . Trzeci druk 2001 z obsługą hipertekstu, ii + 237 s.
  8. Donald E. Knuth, Tracy L. Larrabee i Paul M. Roberts, Pisanie matematyczne (Washington, DC: Mathematical Association of America), 1989. ii+115 s.
  9. Daniel H. Greene i Donald E. Knuth, Matematyka analizy algorytmów (Boston: Birkhäuser), 1990. viii+132 s.
  10. Donald E. Knuth, Mariages Stables: et leurs relations avec d'autres problèmes combinatoires (Montréal: Les Presses de l'Université de Montréal) , 1976. 106 s.
  11. Donald E. Knuth, Axioms and Hulls (Heidelberg: Springer-Verlag — Lecture Notes in Computer Science, nr 606), 1992. ix+109 s. ISBN  3-540-55611-7

Zobacz też

Bibliografia

Bibliografia

Zewnętrzne linki