Donald Knuth - Donald Knuth

Donald Knuth
KnuthAtOpenContentAlliance.jpg
2005 yilda Knuth
Tug'ilgan
Donald Ervin Knut

(1938-01-10) 1938 yil 10-yanvar (82 yosh)
Miluoki, Viskonsin, BIZ.
MillatiAmerika
Ta'lim
Ma'lum
Turmush o'rtoqlarNensi Djil Karter
Bolalar2
Mukofotlar
Ilmiy martaba
Maydonlar
InstitutlarStenford universiteti
TezisYakuniy yarim maydonlar va proektsion tekisliklar  (1963)
Doktor doktoriMarshal Xoll, kichik[2]
Doktorantlar
Veb-saytCS.stanford.edu/ ~ knuth

Donald Ervin Knut (/kəˈnuːθ/[3] kə-YO'Q; 1938 yil 10-yanvarda tug'ilgan) - amerikalik kompyutershunos, matematik va professor emeritus da Stenford universiteti. U 1974 yil oluvchidir ACM Turing mukofoti, norasmiy ravishda Nobel mukofoti kompyuter fanlari.[4] Knut "ning otasi" deb nomlangan algoritmlarni tahlil qilish ".[5]

U ko'p jildli asar muallifidir Kompyuter dasturlash san'ati. U qattiq tahlilni ishlab chiqishda o'z hissasini qo'shdi hisoblash murakkabligi algoritmlari va u uchun tizimlashtirilgan rasmiy matematik texnikalar. Bu jarayonda u asimptotik yozuv. Bundan tashqari, bir nechta filiallarning asosiy hissalari nazariy informatika, Knuth - ning yaratuvchisi TeX kompyuter terish tizimi, tegishli METAFONT shriftni aniqlash tili va ko'rsatish tizimi va Kompyuter zamonaviy shriftlar oilasi.

Yozuvchi va olim sifatida Knut yaratgan WEB va CWEB rag'batlantirish va engillashtirish uchun mo'ljallangan kompyuter dasturlash tizimlari savodli dasturlash va loyihalashtirilgan MIX /MMIX ko'rsatmalar to'plami arxitekturalari. Knut berilishiga qat'iy qarshi dasturiy ta'minot patentlari ga o'z fikrini bildirgan Amerika Qo'shma Shtatlarining patent va savdo markalari bo'yicha idorasi va Evropa patent tashkiloti.

Biografiya

Hayotning boshlang'ich davri

Knut tug'ilgan Miluoki, Viskonsin, german-amerikaliklar Ervin Genri Knut va Luiza Mari Bohningga. Uning otasi kichik matbaa biznesiga egalik qilgan va buxgalteriya hisobidan dars bergan.[6] Donald, talaba Miluoki Lyuteran o'rta maktabi, muammolarni hal qilishning mohirona usullari haqida o'ylardi. Masalan, sakkizinchi sinfda u "Ziegler Giant Bar" dagi harflar qayta tuzilishi mumkin bo'lgan so'zlar sonini topish uchun tanlovga qatnashdi; sudyalar 2500 ta bunday so'zlarni aniqladilar. Oshqozon og'rig'i tufayli maktabdan vaqt uzilib, boshqa yo'l bilan ish olib borar ekan, Knut so'zsiz lug'atdan foydalangan va har bir lug'at jumlasidagi harflar yordamida tuzilishi mumkinligini aniqlagan. Ushbu algoritm yordamida u 4500 dan ortiq so'zlarni aniqladi va tanlovda g'olib bo'ldi.[7] Sovg'alar sifatida maktabga yangi televizor va barcha sinfdoshlari ovqatlanishi uchun etarli miqdorda konfetlar topshirildi.[8]

Ta'lim

Knut fizika bo'yicha stipendiya oldi Keys texnologiya instituti (endi qismi Case Western Reserve universiteti ) ichida Klivlend, Ogayo shtati, 1956 yilda ro'yxatdan o'tgan.[9] U shuningdek Beta Nu bo'limiga qo'shildi Theta Chi birodarligi. Case-da fizika o'qiyotganda, Knut bilan tanishdi IBM 650, erta reklama kompyuter. Kompyuter qo'llanmasini o'qib chiqib, Knut o'z maktabida ishlatilgan mashina uchun yig'ish va kompilyator kodini qayta yozishga qaror qildi, chunki u buni yaxshiroq qila olishiga ishongan.[10]

1958 yilda Knut o'z maktabining basketbol jamoasiga o'z o'yinlarida g'alaba qozonishiga yordam beradigan dastur yaratdi.[11] U o'yinchilarga ochko olish ehtimolini aniqlash uchun ularga "qadriyatlarni" berdi, bu yangicha yondashuv Newsweek va CBS Evening News keyinchalik xabar qilingan.[10]

Knut Case Institute-ning asoschilaridan biri edi Muhandislik va ilmiy tadqiqotlar1959 yilda eng yaxshi texnik jurnal sifatida milliy mukofotga sazovor bo'ldi.[12][13] Keyin u fizikadan matematikaga o'tdi va 1960 yilda Case dan ikki daraja oldi:[9] uning ilmiy bakalavri va shu bilan bir qatorda uning ishini juda zo'r deb hisoblagan fakultetning maxsus mukofoti bilan bir vaqtning o'zida fan ustasi.[10][4]

1963 yilda matematik bilan Marshal Xoll uning maslahatchisi sifatida,[2] u matematika fanlari nomzodini Kaliforniya texnologiya instituti.[14]

Erta ish

Doktorlik dissertatsiyasini olganidan keyin Knut Kaltechning fakultetiga assistent lavozimiga qo'shildi.[15]

U kompyuterda kitob yozish uchun komissiyani qabul qildi dasturlash tili kompilyatorlar. Ushbu loyihada ishlayotganda, Knut birinchi navbatda kompyuter dasturlashning asosiy nazariyasini ishlab chiqmasdan, mavzuni etarli darajada ko'rib chiqa olmasligiga qaror qildi. Kompyuter dasturlash san'ati. Dastlab u buni bitta kitob sifatida nashr etishni rejalashtirgan. Kitob o'zining konturini ishlab chiqayotganda, Knut mavzuni yaxshilab yoritib berish uchun olti jildni, so'ngra etti jildni talab qilgan degan xulosaga keldi. Birinchi jildi 1968 yilda nashr etilgan.[16]

Birinchi jildini nashr etishdan oldin Kompyuter dasturlash san'ati, Knuth Caltechni ishga joylashish uchun tark etdi Mudofaa tahlillari instituti aloqa tadqiqotlari bo'limi, keyin joylashgan joyda Princeton universiteti matematik tadqiqotlar olib boradigan shaharcha kriptografiya qo'llab-quvvatlash uchun Milliy xavfsizlik agentligi.

1967 yilda Knut sanoat va amaliy matematika jamiyati konferentsiyasida qatnashdi va kimdir u nima qilganini so'radi. O'sha paytda kompyuter fanlari raqamli tahlil, sun'iy intellekt va dasturlash tillariga bo'lingan edi. Uning tadqiqotiga asoslanib va Kompyuter dasturlash san'ati Knut keyingi safar kimdir undan: "Algoritmlarni tahlil qilish", - deb so'rashiga qaror qildi.[17]

Keyin Knut bu pozitsiyani tark etish uchun tark etdi Stenford universiteti 1969 yilda fakultet,[18] u hozirda Fletcher Jons kompyuter fanlari professori, Emeritus.[19][20]

Yozuvlar

Knut yozuvchi, shuningdek, kompyuter olimi.[15]

Kompyuter dasturlash san'ati (TAOCP)

Asosiy maqola: Kompyuter dasturlash san'ati

O'tgan asrning 70-yillarida Knut kompyuter fanini "haqiqiy o'ziga xosligi bo'lmagan mutlaqo yangi soha deb ta'riflagan. Mavjud nashrlarning darajasi ham unchalik yuqori emas edi. Ko'plab qog'ozlar shunchaki noto'g'ri edi ... Shunday qilib, mening turtkilarimdan biri juda yomon aytilgan hikoyani to'g'ridan-to'g'ri qo'yish edi. "[21] 2011 yilga kelib uning seriyasining birinchi uch jildi va to'rtinchi jildining birinchi qismi nashr etildi.[16] Beton matematika: kompyuter fanlari uchun asos 2-nashr, 1-jildning matematik dastlabki bo'limining kengayishi bilan yuzaga kelgan TAoCP, shuningdek nashr etilgan. 2020 yil aprel oyida Knut 4-jildning B qismida ishlashni juda qiyin deb aytdi va u kitobning kamida A dan F gacha bo'lgan qismlarini bo'lishini taxmin qildi.[17]

Boshqa asarlar

Knuth ham muallifi Surreal raqamlar,[22] matematik roman Jon Konvey "s to'plam nazariyasi muqobil raqamlar tizimini qurish. Kitob oddiygina mavzuni tushuntirish o'rniga, matematikaning rivojlanishini ko'rsatishga intilgan. Knit kitob o'quvchilarni o'ziga xos, ijodiy izlanishlarga tayyorlashini xohlagan.

1995 yilda Knut kitobga so'z boshini yozdi A = B tomonidan Marko Petkovšek, Gerbert Uilf va Doron Zayberberger.[23] Knuth shuningdek, vaqti-vaqti bilan til topishmoqlarining yordamchisi hisoblanadi So'z usullari: Rekreatsion lingvistika jurnali.[24]

Knut ham chuqur o'rganib chiqdi rekreatsiya matematikasi. U maqolalarni o'z hissasini qo'shdi Rekreatsiya matematikasi jurnali 1960-yillardan boshlab va uning asosiy hissasi sifatida tan olingan Jozef Madachi "s Ta'tilga oid matematika.[25]

Knuth shuningdek, bir qatorda paydo bo'lgan Sonli fayl[26] va Computerphile videolari yoqilgan YouTube u erda u syurreal raqamlarni yozishdan mavzularni muhokama qildi[27] nima uchun u elektron pochtani ishlatmasligiga.[28]

Knutning diniy e'tiqodlariga oid asarlar

Kompyuter fanlari bo'yicha yozganlaridan tashqari, Knut, a Lyuteran,[29] ham muallifi 3:16 Injil matnlari yoritilgan,[30] unda u Injilni jarayon orqali tekshiradi muntazam ravishda namuna olish, ya'ni har bir kitobning 3-bobi, 16-oyati tahlili. Har bir oyat kalligrafiya guruhi rahbarligidagi xattotlar tomonidan taqdim etilgan xattotlik san'ati bilan birga keladi Hermann Zapf. Keyinchalik, u MITda o'zining 3:16 loyihasi asosida din va kompyuter fanlari haqidagi o'z qarashlari bo'yicha ma'ruzalar to'plamini o'qishga taklif qilindi, natijada yana bir kitob paydo bo'ldi, Kompyuter olimi kamdan-kam gapiradigan narsalar, u erda ma'ruzalarni nashr etdi "Xudo va kompyuter fanlari".

Dasturiy ta'minot patentlari to'g'risida fikr

Akademik va ilmiy jamoatchilik a'zosi sifatida Knut berish siyosatiga qat'iy qarshi dasturiy ta'minot patentlari aniq bo'lishi kerak bo'lgan ahamiyatsiz echimlar uchun, ammo kabi noan'anaviy echimlar uchun ko'proq nuansli fikrlarni bildirgan ichki nuqta usuli ning chiziqli dasturlash.[31] U o'z kelishmovchiligini to'g'ridan-to'g'ri ikkalasiga ham bildirdi Amerika Qo'shma Shtatlarining patent va savdo markalari bo'yicha idorasi va Evropa patent tashkiloti.[32]

Kompyuter musiqalari

Knut yiliga bir necha marta norasmiy ma'ruzalar o'qiydi Stenford universiteti, u "Kompyuter musiqasi" deb nomlangan. U tashrif buyurgan professor edi Oksford universiteti kompyuter fanlari bo'limi 2017 yilgacha Buyuk Britaniyada va Faxriy a'zosi Magdalena kolleji.[33][34]

Dasturlash

Raqamli matn terish

1970-yillarda noshirlar TAOCP tashlab qo'yilgan Monotip foydasiga Fotosuratga olish. Keyingi tizim yordamida eski tizim yordamida yozuvlar to'plami kiritilgan avvalgi jildlarning sifatiga yaqinlasha olmaganligi sababli Knut shu qadar asabiylashdiki, u vaqt ajratib, raqamli matn terish bo'yicha ish olib bordi. TeX va Metafont.[35]

Savodli dasturlash

TeXni ishlab chiqishda Knut o'zi dasturlashning yangi metodikasini yaratdi savodli dasturlash, chunki u dasturchilar dasturlarni adabiyot asarlari deb o'ylashlari kerak deb hisoblagan. "Bizning asosiy vazifamiz kompyuterga nima qilishni o'rgatish deb tasavvur qilish o'rniga, keling, odamlarga kompyuter nima qilishni xohlashini tushuntirishga e'tibor qaratsak."[36]

Knut savodli dasturlash g'oyasini o'zida mujassam etgan WEB tizim. Xuddi shu WEB manbai odatlangan to'quv TeX fayli va chalkashlik a Paskal manba fayli. Ular o'z navbatida dasturning o'qilishi mumkin bo'lgan tavsifini va mos ravishda bajariladigan ikkilikni ishlab chiqaradi. Keyinchalik tizimning takrorlanishi, CWEB, Paskalni o'rniga C.

Knet WEB-dan TeX va METAFONT dasturlarini ishlab chiqishda foydalangan va ikkala dasturni ham kitob sifatida nashr etgan: TeXbook, dastlab 1984 yilda nashr etilgan va METAFONTbook, dastlab 1986 yilda nashr etilgan.[37] Xuddi shu vaqtda, LaTeX, TeX asosida hozirda keng tarqalgan bo'lib qabul qilingan makro to'plam birinchi bo'lib tomonidan ishlab chiqilgan Lesli Lamport, keyinchalik 1986 yilda birinchi foydalanuvchi qo'llanmasini nashr etdi.[38]

Musiqa

Knuth - bu organist va a bastakor. 2016 yilda u uchun musiqiy asarni yakunladi organ sarlavhali Fantasia Apocalyptica, uni "Yunoncha matnning tarjimasi Aziz Ilohiy Vahiy musiqa bilan "" filmi namoyish etildi Shvetsiya 2018 yil 10-yanvar kuni.[39]

Shaxsiy hayot

Donald Knut Nensi Djil Karterga 1961 yil 24-iyunda Kaliforniya Texnologiya Instituti aspiranti bo'lganida uylandi. Ularning ikkita farzandi bor: Jon Martin Knut va Jennifer Syerra Knut.[40]

Xitoycha ism

Knutniki Xitoycha ism Gao Dena (soddalashtirilgan xitoy : 高 德纳; an'anaviy xitoy : 高 德納; pinyin : Gāo dé nà).[41][3] 1977 yilda unga bu ism berilgan Frensis Yao, 3 haftalik sayohat qilishdan biroz oldin Xitoy.[3][42] Uning 1980 yilgi jildida Kompyuter dasturlash san'ati (soddalashtirilgan xitoy : 计算机 程序 设计 艺术; an'anaviy xitoy : 電腦 程式 設計 藝術; pinyin : Jìsuànjī chéngxù shèjì yìshù), Knut o'zining xitoycha ismini qabul qilganligini tushuntiradi, chunki u o'sha paytda Xitoyda kompyuter dasturchilarining ko'payib borayotgani bilan taniqli bo'lishni xohlagan. 1989 yilda uning xitoycha nomi tepada joylashgan Kompyuter fanlari va texnologiyalar jurnali"s sarlavha, Knutning aytishicha, "men o'zimni barcha xitoyliklarga yaqin his qilaman, ammo sizning tilingizda gaplasha olmayman".[42]

Sog'liqni saqlash muammolari

2006 yilda Knutga tashxis qo'yilgan prostata saratoni. U o'sha yilning dekabr oyida jarrohlik amaliyotini boshdan kechirgan va "ozgina nurlanish terapiyasi ... ehtiyotkorlik chorasi sifatida, ammo prognoz juda yaxshi ko'rinishga ega", deb aytgan edi u o'zining video avtobiografiyasida.[43]

Hazil

Bittasi Knutning mukofoti tekshiriladi

Knut ilgari a topuvchi uchun to'lov uning kitoblarida topilgan har qanday tipografik xatolar yoki xatolar uchun $ 2,56, chunki "256 tiyin bitta o'n oltinchi dollar "," qimmatli takliflar "uchun esa 0,32 dollar." maqolasida keltirilgan Massachusets texnologiya instituti "s Texnologiyalarni ko'rib chiqish, bular Knuth mukofot cheklari "kompyuterning eng qimmatbaho sovrinlari qatoriga" kiradi. Bank firibgarligi sababli Knuth 2008 yilda haqiqiy chexlarni jo'natishni to'xtatishi kerak edi va buning o'rniga har bir xato qidiruvchiga o'zining xayoliy "Bank of of the public" balansidan "depozit sertifikati" beradi. San-Serriff ".[44]

U bir marta muxbirga: "Yuqoridagi koddagi xatolardan ehtiyot bo'ling; men buni to'g'ri isbotladim, sinab ko'rmadim."[3]

Knut o'zining birinchi "ilmiy" maqolasini 1957 yilda maktab jurnalida "The Potrzebi Og'irliklar va o'lchovlar tizimi ". Unda u asosiy birlik ning uzunlik qalinligi sifatida Telba 26-sonli va ning asosiy birligi deb nomlangan kuch "nima". Telba maqolani 33-sonida (1957 yil iyun) nashr etdi.[45][46]

Tushunchasini namoyish qilish rekursiya, Knuth qasddan "Dairesel ta'rif" va "Ta'rif, dumaloq" ni bir-biriga indeksida ko'rsatgan Kompyuter dasturlash san'ati, 1-jild.

So'zi Beton matematika quyidagi xatboshiga ega:

DEK birinchi marta Stenfordda beton matematikadan dars berganida, u biroz g'alati nomni tushuntirib berdi, chunki bu yumshoq o'rniga qattiq bo'lgan matematika kursini o'qitishga urinish edi. U o'zining hamkasblari kutganidan farqli o'laroq, shunday bo'lganini e'lon qildi emas agregatlar nazariyasini o'rgatishga boradigan, na Toshning ko'milish teoremasi, hatto Tosh-texnologik ixchamlashtirish. (Qurilish bo'limining bir nechta talabalari o'rnidan turdilar va jimgina xonadan chiqib ketishdi).

TUG 2010 konferentsiyasida Knut kinoya haqida e'lon qildi XML - "iTeX" nomli TeX asosidagi voris (talaffuz qilingan[iː˨˩˦tɛks˧˥], o'zboshimchalik bilan o'lchamdagi mantiqsiz birliklar kabi xususiyatlarni qo'llab-quvvatlaydigan qo'ng'iroq chalishi bilan ijro etilgan) 3D bosib chiqarish, seysmograflar va yurak monitorlari, animatsiya va stereofonik ovoz.[47][48][49]

Mukofotlar va sharaflar

1971 yilda Knut birinchisini oldi ACM Grace Murray Hopper mukofoti.[50] U turli xil mukofotlarga sazovor bo'ldi, shu jumladan Turing mukofoti, Milliy ilm medali, Jon fon Neyman medali, va Kioto mukofoti.[50]

Knutning kompyuter fanlari sohasidagi hissasini inobatga olib, 1980 yilda Britaniya kompyuter jamiyatining (DFBCS) taniqli a'zosi etib saylandi.[51]

1990 yilda unga yagona ilmiy unvon berilgan Kompyuter dasturlash san'ati professori, keyinchalik qayta ko'rib chiqilgan Professor Qochish Kompyuter dasturlash san'ati.

Knut saylandi Milliy fanlar akademiyasi 1975 yilda. 1992 yilda u sherik bo'ldi Frantsiya Fanlar akademiyasi. O'sha yili, u muntazam tadqiqot va o'qituvchilikdan nafaqaga chiqqan Stenford universiteti tugatish uchun Kompyuter dasturlash san'ati. U saylandi 2003 yilda Qirollik Jamiyatining (ForMemRS) xorijiy a'zosi.[1]

Knut Fellow (birinchi darajali Fellows) sifatida saylandi Sanoat va amaliy matematika jamiyati matematikaga qo'shgan ulkan hissasi uchun 2009 yilda.[52] U a'zosi Norvegiya fan va adabiyot akademiyasi.[53] 2012 yilda u sherigiga aylandi Amerika matematik jamiyati.[54] Boshqa mukofot va sharaflarga quyidagilar kiradi:

Nashrlar

Uning nashrlarining qisqa ro'yxatiga quyidagilar kiradi:[68]

Kompyuter dasturlash san'ati:

  1. ——— (1997). Kompyuter dasturlash san'ati. 1: Asosiy algoritmlar (3-nashr). Addison-Uesli Professional. ISBN  978-0-201-89683-1.
  2. ——— (1997). Kompyuter dasturlash san'ati. 2: Seminumerical algoritmlar (3-nashr). Addison-Uesli Professional. ISBN  978-0-201-89684-8.
  3. ——— (1998). Kompyuter dasturlash san'ati. 3: Saralash va qidirish (2-nashr). Addison-Uesli Professional. ISBN  978-0-201-89685-5.
  4. ——— (2011). Kompyuter dasturlash san'ati. 4A: Kombinatorial algoritmlar. Addison-Uesli Professional. ISBN  978-0-201-03804-0.
  5. ——— (2005). MMIX - Yangi ming yillik uchun RISC kompyuteri. 1, fasl 1. ISBN  978-0-201-85392-6.
  6. ——— (2008). Kompyuter dasturlash san'ati. 4, 0 faski: Kombinatorial algoritmlar va mantiqiy funktsiyalarga kirish. ISBN  978-0-321-53496-5.
  7. ——— (2009). Kompyuter dasturlash san'ati. 4, Fascicle 1: Bitwise hiyla-nayranglari va usullari; Ikkilik qarorlar diagrammasi. ISBN  978-0-321-58050-4.
  8. ——— (2005). Kompyuter dasturlash san'ati. 4, fasl 2: Barcha Tupl va Permutatsiyalarni yaratish. ISBN  978-0-201-85393-3.
  9. ——— (2005). Kompyuter dasturlash san'ati. 4, fasl 3: Barcha birikmalar va bo'linmalar yaratish. ISBN  978-0-201-85394-0.
  10. ——— (2006). Kompyuter dasturlash san'ati. 4, fasl 4: Barcha daraxtlarni yaratish - Kombinatorial avlod tarixi. ISBN  978-0-321-33570-8.
  11. ——— (2018). Kompyuter dasturlash san'ati. 4, Fascicle 5: Matematik Preliminaries Redux; Orqaga qaytish; Raqsga havolalar. ISBN  978-0-134-67179-6.
  12. ——— (2015). Kompyuter dasturlash san'ati. 4, 6-fasl: qoniqishlilik. ISBN  978-0-134-39760-3.

Kompyuterlar va matn terish (agar boshqacha ko'rsatilmagan bo'lsa, barcha kitoblar muqovali):

  1. ——— (1984). Kompyuterlar va matn terish. A, TeXbook. O'qish, MA: Addison-Uesli. ISBN  978-0-201-13447-6., x + 483pp.
  2. ——— (1984). Kompyuterlar va matn terish. A, TeXbook. O'qish, MA: Addison-Uesli. ISBN  978-0-201-13448-3. (yumshoq qopqoq).
  3. ——— (1986). Kompyuterlar va matn terish. B, TeX: Dastur. O'qish, MA: Addison-Uesli. ISBN  978-0-201-13437-7., xviii + 600pp.
  4. ——— (1986). Kompyuterlar va matn terish. C, METAFONTbook. O'qish, MA: Addison-Uesli. ISBN  978-0-201-13445-2., xii + 361pp.
  5. ——— (1986). Kompyuterlar va matn terish. C, METAFONTbook. O'qish, MA: Addison-Uesli. ISBN  978-0-201-13444-5. (yumshoq qopqoq).
  6. ——— (1986). Kompyuterlar va matn terish. D, METAFONT: Dastur. O'qish, MA: Addison-Uesli. ISBN  978-0-201-13438-4., xviii + 566pp.
  7. ——— (1986). Kompyuterlar va matn terish. E, kompyuterning zamonaviy shriftlari. O'qish, MA: Addison-Uesli. ISBN  978-0-201-13446-9., xvi + 588pp.
  8. ——— (2000). Kompyuterlar va matn terish. A-E qutisi to'plami. O'qish, MA: Addison-Uesli. ISBN  978-0-201-73416-4.

To'plangan hujjatlar kitoblari:

  1. ——— (1992). Savodli dasturlash. Ma'ruza yozuvlari. Stenford, CA: Til va axborotni o'rganish markazi —CSLI. ISBN  978-0-937073-80-3.[69]
  2. ——— (1996). Kompyuter fanlari bo'yicha tanlangan maqolalar. Ma'ruza yozuvlari. Stenford, CA: Til va ma'lumotlarni o'rganish markazi - CSLI. ISBN  978-1-881526-91-9.[70]
  3. ——— (1999). Raqamli tipografiya. Ma'ruza yozuvlari. Stenford, CA: Til va ma'lumotlarni o'rganish markazi - CSLI. ISBN  978-1-57586-010-7.[71]
  4. ——— (2000). Algoritmlarni tahlil qilish bo'yicha tanlangan maqolalar. Ma'ruza yozuvlari. Stenford, CA: Til va ma'lumotlarni o'rganish markazi - CSLI. ISBN  978-1-57586-212-5.[72]
  5. ——— (2003). Kompyuter tillari bo'yicha tanlangan maqolalar. Ma'ruza yozuvlari. Stenford, CA: Til va ma'lumotlarni o'rganish markazi - CSLI. ISBN  978-1-57586-381-8., ISBN  1-57586-382-0 (qog'ozli)[73]
  6. ——— (2003). Diskret matematika bo'yicha tanlangan maqolalar. Ma'ruza yozuvlari. Stenford, CA: Til va ma'lumotlarni o'rganish markazi - CSLI. ISBN  978-1-57586-249-1., ISBN  1-57586-248-4 (qog'ozli)[74]
  7. Donald E. Knut, Algoritmlarni loyihalash bo'yicha tanlangan hujjatlar (Stenford, Kaliforniya: Til va ma'lumotlarni o'rganish markazi - CSLI ma'ruza eslatmalari, № 191), 2010 y. ISBN  1-57586-583-1 (mato), ISBN  1-57586-582-3 (qog'ozli)[75]
  8. Donald E. Knut, o'yin-kulgi va o'yinlar bo'yicha tanlangan hujjatlar (Stenford, Kaliforniya: Til va ma'lumotlarni o'rganish markazi - CSLI ma'ruza eslatmalari, № 192), 2011 yil. ISBN  978-1-57586-585-0 (mato), ISBN  978-1-57586-584-3 (qog'ozli)[76]
  9. Donald E. Knut, Donald Knutning hujjatlari uchun sherigi (Stenford, Kaliforniya: Til va ma'lumotlarni o'rganish markazi - CSLI ma'ruza eslatmalari, № 202), 2011 y. ISBN  978-1-57586-635-2 (mato), ISBN  978-1-57586-634-5 (qog'ozli)[77]

Boshqa kitoblar:

  1. Grem, Ronald L; Knut, Donald E.; Patashnik, Oren (1994). Beton matematika: informatika uchun asos (Ikkinchi nashr). Reading, MA: Addison-Uesli. ISBN  978-0-201-55802-9. JANOB  1397498. xiv + 657 pp.
  2. Knuth, Donald Ervin (1974). Surreal raqamlar: ikkita sobiq talaba sof matematikaga qanday o'girilib, to'liq baxtni topishdi: matematik roman. Addison-Uesli. ISBN  978-0-201-03812-5.[22]
  3. Donald E. Knut, Stenford Graf bazasi: Kombinatorial hisoblash uchun platforma (Nyu-York, ACM Press) 1993. ikkinchi qog'ozli nashr 2009. ISBN  0-321-60632-9
  4. Donald E. Knut, 3:16 Injil matnlari yoritilgan (Madison, Viskonsin: A-R Editions), 1990 yil. ISBN  0-89579-252-4
  5. Donald E. Knut, Kompyuter olimi kamdan-kam gapiradigan narsalar (Til va ma'lumotlarni o'rganish markazi - CSLI ma'ruza bayonlari № 136), 2001 yil. ISBN  1-57586-326-X
  6. Donald E. Knut, MMIXware: Uchinchi ming yillik uchun RISC kompyuteri (Heidelberg: Springer-Verlag - Kompyuter fanida ma'ruza eslatmalari, 1750-son), 1999. viii + 550pp. ISBN  978-3-540-66938-8
  7. Donald E. Knut va Silvio Levi, CWEB tuzilgan hujjatlashtirish tizimi (Reading, Massachusets: Addison-Wesley), 1993. iv + 227pp. ISBN  0-201-57569-8. Uchinchi marta chop etish 2001 yilda gipermatnli qo'llab-quvvatlash bilan, ii + 237 pp.
  8. Donald E. Knut, Tracy L. Larrabee va Pol M. Roberts, Matematik Yozish (Vashington, Kolumbiya: Amerika Matematik Uyushmasi), 1989. ii + 115pp
  9. Daniel H. Grin va Donald E. Knut, Algoritmlarni tahlil qilish matematikasi (Boston: Birkhäuser), 1990. viii + 132pp.
  10. Donald E. Knut, Mariages Stables: et leurs Relations avec d'autres problèmes combinatoires (Montréal: Les Presses de l'Université de Montréal), 1976. 106-bet.
  11. Donald E. Knut, Aksiomalar va Xulls (Heidelberg: Springer-Verlag - Kompyuter fanida ma'ruza eslatmalari, 606-son), 1992. ix + 109pp. ISBN  3-540-55611-7

Shuningdek qarang

Adabiyotlar

  1. ^ a b "Professor Donald Knut ForMemRS". London: Qirollik jamiyati. Arxivlandi asl nusxasi 2015 yil 17-noyabrda.
  2. ^ a b v Donald Knuth da Matematikaning nasabnomasi loyihasi
  3. ^ a b v d Knuth, Donald Ervin. "Tez-tez so'raladigan savollar". Bosh sahifa. Stenford universiteti. Arxivlandi asl nusxasidan 2019 yil 3 avgustda. Olingan 2-noyabr, 2010.
  4. ^ a b "A.M. Turing mukofoti; Donald (" Don ") Ervin Knut". ACM. 1974. Arxivlangan asl nusxasi 2019 yil 17 oktyabrda. Olingan 6 yanvar, 2020.
  5. ^ Karp, Richard M. (1986 yil fevral). "Kombinatorika, murakkablik va tasodif". ACM aloqalari. 29 (2): 98–109. doi:10.1145/5657.5658.
  6. ^ Molli Nayt Raskin (2013). Yaxshi vaqt yo'q: Danni Levinning qisqacha, ajoyib hayoti - Internetni o'zgartirgan daho. Da Capo Press, birlashtirilgan. 61-62 betlar. ISBN  978-0-306-82166-0.
  7. ^ Feygenbaum, Edvard. "Donald Knutning og'zaki tarixi" (PDF). Kompyuter tarixi muzeyi. Kompyuter tarixi muzeyi. Olingan 17 sentyabr, 2020.
  8. ^ Shasha, Dennis Elliott; Lazere, Keti A (1998). Ularning ongidan: 15 buyuk kompyuter olimlarining hayoti va kashfiyotlari. Springer. p. 90. ISBN  978-0-387-98269-4.
  9. ^ a b "Donald E. Knut". Encyclopedia.com. Encyclopedia.com. Olingan 17 sentyabr, 2020.
  10. ^ a b v Koshi, Tomas (2004). Ilovalar bilan diskret matematik. Akademik matbuot. p. 244. ISBN  978-0-12-421180-3. Arxivlandi asl nusxasidan 2012 yil 12 noyabrda. Olingan 30 iyul, 2011.
  11. ^ Lyons, Keyt (2018 yil 25-sentabr). "Donald Knut, basketbol va sportdagi kompyuterlar". Klayd ko'chasi arxivi. Arxivlandi asl nusxasi 2019 yil 16-avgustda. Olingan 16 avgust, 2019.
  12. ^ "Theta Chi ning Beta Nu, Beta Nu bobining tarixi".. CWRU. Arxivlandi asl nusxasi 2016 yil 4 sentyabrda. Olingan 15 aprel, 2019.
  13. ^ "Beta Nu, Teta Chi". Teta Chi. Arxivlandi asl nusxasi 2019 yil 21 dekabrda. Olingan 21 dekabr, 2019.
  14. ^ Knut, Donald Ervin (1963). "Oxirgi yarim maydonlar va proektsion samolyotlar" (PDF). CaltechPhD dissertatsiyasi
  15. ^ a b Knuth, Donald Ervin. "Tarjimai hol". Stenford universiteti. Arxivlandi asl nusxasidan 2019 yil 3 avgustda. Olingan 26 mart, 2020.
  16. ^ a b Kuth, Donald Ervin (3 avgust, 2019). "Kompyuter dasturlash san'ati (TAOCP)". Arxivlandi asl nusxasi 2019 yil 3-avgustda. Olingan 6 fevral, 2018.
  17. ^ a b D'Agostino, Syuzan (2020 yil 16-aprel). "Hikoyalarni aytib berishni to'xtata olmaydigan kompyuter mutaxassisi". Quanta jurnali. Olingan 19 aprel, 2020.
  18. ^ "Vaqt jadvali | Stenford kompyuter fanlari". cs.stanford.edu. Arxivlandi asl nusxasidan 2020 yil 17 fevralda. Olingan 19 iyul, 2019.
  19. ^ Knuth, Donald Ervin. "Uy sahifasi". Stenford universiteti. Arxivlandi asl nusxasidan 2019 yil 27 noyabrda. Olingan 16 mart, 2005.
  20. ^ "Donald Knut". Profillar. Stenford universiteti. Arxivlandi asl nusxasi 2016 yil 12-iyun kuni. Olingan 24 avgust, 2020.
  21. ^ "BBVA Foundation chegara bilimlari mukofotlari". Arxivlandi asl nusxasi 2016 yil 19 avgustda. Olingan 15 oktyabr, 2016.
  22. ^ a b Knuth, Donald Ervin. "Surreal raqamlar". Bosh sahifa. Arxivlandi asl nusxasidan 2019 yil 3 avgustda. Olingan 26 mart, 2020.
  23. ^ Zayberg. "DEK". Rutjers. Arxivlandi asl nusxasi 2017 yil 28 avgustda. Olingan 26 mart, 2020.
  24. ^ "Tilshunoslar ro'yxati - jurnal sahifasi". linguistlist.org. Arxivlandi asl nusxasidan 2019 yil 10 sentyabrda. Olingan 19 iyul, 2019.
  25. ^ Madachi, Jozef S.,Ta'tilga oid matematika, Thomas Nelson & Sons Ltd. 1966 yil
  26. ^ "Raqamlar va narsalar to'g'risida videolar". Sonli fayl. Arxivlandi asl nusxasi 2018 yil 4-noyabr kuni. Olingan 16 avgust, 2019.
  27. ^ Numberphile (2016 yil 27-iyun), Surreal raqamlar (birinchi kitobni yozish) - raqamli fayl, olingan 19 iyul, 2019
  28. ^ Computerphile (2015 yil 21-avgust), Nima uchun Don Knut elektron pochtadan foydalanmaydi - Computerphile, arxivlandi asl nusxasidan 2018 yil 11 iyulda, olingan 19 iyul, 2019
  29. ^ Platoni 2006 yil.
  30. ^ Knuth, Donald Ervin (1991). 3:16: Injil matnlari yoritilgan. Medison, WI: A-R nashrlari. ISBN  978-0-89579-252-5.
  31. ^ "Barcha savollarga javoblar" (PDF). Izohlar (maqola). 2002 yil mart. Arxivlandi (PDF) asl nusxasidan 2019 yil 30 aprelda. Olingan 26 mart, 2020.
  32. ^ Knuth, Donald Ervin. "Dasturiy ta'minot patentlariga qarshi" (PDF). Arxivlandi asl nusxasi (PDF) 2015 yil 24 sentyabrda. Olingan 1 fevral, 2020Xat AQSh va Evropadagi patent idoralariga.
  33. ^ "Professor Donald Knut". Magdalena kolleji. Arxivlandi asl nusxasi 2011 yil 4 yanvarda. Olingan 6 dekabr, 2010.
  34. ^ "Bildirishnomalar". Oksford universiteti gazetasi. 30 oktyabr 2014 yil. Arxivlangan asl nusxasi 2015 yil 15 mayda. Olingan 21 may, 2015.
  35. ^ Knut, Donald Ervin (1997). "Raqamli tipografiya (Kioto mukofoti ma'ruzasi, 1996)" (PDF). Arxivlandi asl nusxasi (PDF) 2018 yil 27 yanvarda.
  36. ^ Knut, Donald Ervin (1984). "Savodli dasturlash" (PDF). Arxivlandi asl nusxasi (PDF) 2019 yil 19-avgustda. Olingan 26 mart, 2020.
  37. ^ "Knuth: kompyuterlar va matn terish". www-cs-faculty.stanford.edu. Arxivlandi asl nusxasi 2019 yil 11 aprelda. Olingan 19 iyul, 2019.
  38. ^ "LaTeX, professional matn terish va ilmiy nashrga aniq, texnik bo'lmagan kirish". Matematik kassa. 2015 yil 5 sentyabr. Arxivlangan asl nusxasi 2019 yil 24 iyulda. Olingan 19 iyul, 2019.
  39. ^ de Groot, Martin (2018 yil 3-noyabr). "San'at va madaniyat: polimat o'zining dahosini quvur organi uchun multimediya ishiga jalb qiladi". Vaterloo mintaqasidagi rekord.
  40. ^ O'Konnor, J. J .; Robertson, E. F. (2015). "Donald Ervin Knut". Sent-Endryus universiteti. Arxivlandi asl nusxasidan 2017 yil 5 oktyabrda. Olingan 20 oktyabr, 2017.
  41. ^ Reutenauer, Artur. "TeXning qisqacha tarixi, II jild". TUGboat: 68–72. ISSN  0896-3207.
  42. ^ a b Knuth, Donald Ervin (1980). 计算机 程序 设计 技巧 (Ji suan ji cheng xu she ji ji qiao) [Kompyuter dasturlash san'ati]. Guan, JiWen tomonidan tarjima qilingan; Su, Yunlin. Pekin: Mudofaa sanoati nashriyoti Co. Men xitoylik ko'plab kompyuter dasturchilari 1977 yilda yurtingizga tashrif buyurishimdan oldin Frensis Yao tomonidan berilgan mening xitoycha ismim Gao Dena-ni tanishni o'rganishadi deb umid qilaman. Men hali ham o'sha uch haftalik tashrifimni juda yaxshi eslayman va men ham Gao Denani bosh qismida ko'rganidan xursand bo'lishdi Kompyuter fanlari va texnologiyalar jurnali 1989 yildan beri. Bu ism meni o'zingizni barcha xitoyliklar bilan yaqin his qilaman, garchi men sizning tilingizda gapira olmasam.
  43. ^ "Donald Knut: 85 - Saraton kasalligini engish". Hikoyalar veb-sayti. 2006 yil aprel. Olingan 2 may, 2012.[doimiy o'lik havola ]
  44. ^ "0 va 1 larda Muqaddas Kitobni qayta yozish". Texnologiyalarni ko'rib chiqish. Arxivlandi asl nusxasi 2013 yil 16 fevralda.
  45. ^ Knut, Donald Ervin (1957 yil iyun). "Potrzebi vazn va o'lchovlar tizimi". Mad Magazine. № 33. Arxivlangan asl nusxasi 2018 yil 6-noyabr kuni. Olingan 26 mart, 2020.
  46. ^ Kidder, Treysi (2016). Pulga to'la yuk mashinasi. Tasodifiy uy. p. 68. ISBN  9780812995244.
  47. ^ Don Knut (2010). "TUG". Zeeba TV. Arxivlandi asl nusxasidan 2016 yil 25 martda. Olingan 26 mart, 2020konferensiya
  48. ^ Knuth, Donald Ervin, Yerni silkitadigan e'lon, Zeeba TVvideo yozuvlari
  49. ^ Knuth, Donald Ervin (2010). "Zilzila to'g'risida e'lon" (PDF). TUGboat. 31 (2): 121–24. ISSN  0896-3207. Arxivlandi (PDF) asl nusxasidan 2019 yil 13 aprelda. Olingan 26 mart, 2020.
  50. ^ a b v d e f g Valden, Devid. "Donald (" Don ") Ervin Knut" Arxivlandi 2019 yil 17 oktyabr, soat Orqaga qaytish mashinasi, ACMTuring. Qabul qilingan 27 oktyabr 2019 yil.
  51. ^ Anon (2016). "Hurmatli izdoshlar to'plami". Britaniya Kompyuter Jamiyati. Arxivlandi asl nusxasi 2016 yil 4 martda. Olingan 10 sentyabr, 2014.
  52. ^ "Do'stlar". Siam. 2009 yil. Arxivlandi asl nusxasidan 2019 yil 21 aprelda. Olingan 26 mart, 2020.
  53. ^ "Gruppe 1: Matematiske fag" (Norvegiyada). Norvegiya fan va adabiyot akademiyasi. Arxivlandi asl nusxasi 2013 yil 10-noyabrda. Olingan 7 oktyabr, 2010.
  54. ^ Amerika Matematik Jamiyati a'zolari ro'yxati Arxivlandi 2019 yil 6 sentyabr, soat Orqaga qaytish mashinasi, 2013-01-27 da olingan.
  55. ^ Knut, D. E. (1974). "Informatika va uning matematikaga aloqasi". Amer. Matematika. Oylik. 81 (4): 323–343. doi:10.2307/2318994. JSTOR  2318994. Arxivlandi asl nusxasidan 2019 yil 20 fevralda. Olingan 26 mart, 2020.
  56. ^ Knut, D. E. (1992). "Notation to'g'risida ikkita eslatma". Amer. Matematika. Oylik. 99 (5): 403–422. arXiv:matematik / 9205211. Bibcode:1992yil ...... 5211K. doi:10.2307/2325085. JSTOR  2325085. S2CID  119584305. Arxivlandi asl nusxasidan 2019 yil 20 fevralda. Olingan 26 mart, 2020.
  57. ^ "Amerika matematik jamiyati". Arxivlandi asl nusxasidan 2016 yil 7 oktyabrda. Olingan 15 oktyabr, 2016.
  58. ^ Knut, Donald E. (1979). "Matematik tipografiya". Buqa. Amer. Matematika. Soc. (N.S.). 1 (2): 337–372. doi:10.1090 / s0273-0979-1979-14598-1. JANOB  0520078. Arxivlandi asl nusxasidan 2017 yil 24 sentyabrda. Olingan 26 mart, 2020.
  59. ^ "Prezidentning Milliy Ilmiy Medali: Qabul qiluvchilar haqida batafsil ma'lumot - NSF - Milliy Ilmiy Jamg'arma". www.nsf.gov. Arxivlandi asl nusxasidan 2018 yil 23 noyabrda. Olingan 26 mart, 2020.
  60. ^ "Amerika yutuqlar akademiyasining Oltin lavha mukofotlari". www.achievement.org. Amerika yutuqlar akademiyasi.
  61. ^ "Xarvi". Il: Technion. 1995. Arxivlangan asl nusxasi 2011 yil 21 iyulda.
  62. ^ "Donald Knut: 1998 yildagi do'st". Kompyuter tarixi muzeyi. 2015. Arxivlangan asl nusxasi 2018 yil 13 martda. Olingan 12 mart, 2018.
  63. ^ "21656 Knuth (1999 PX1)". Kichik sayyoralar markazi. Arxivlandi asl nusxasidan 2016 yil 8 mayda. Olingan 23 fevral, 2019.
  64. ^ "MPC / MPO / MPS arxivi". Kichik sayyoralar markazi. Arxivlandi asl nusxasidan 2019 yil 5 martda. Olingan 23 fevral, 2019.
  65. ^ "Katayanagi". CMU. Arxivlandi asl nusxasi 2019 yil 15 iyunda. Olingan 6 yanvar, 2020.
  66. ^ Galardonados (2010). "Fronteras" (ispan tilida). ES: FBBVA. Arxivlandi asl nusxasi 2016 yil 19 avgustda.
  67. ^ Myers, Endryu (2001 yil 1-iyun). "Stenford Don Knut, kompyuter dasturlashning kashshof qahramoni". Stenford hisoboti. Arxivlandi asl nusxasidan 2011 yil 23 iyunda. Olingan 27 iyun, 2011.
  68. ^ Knuth, Donald Ervin. "Kitoblar". Bosh sahifa (ro'yxat). Arxivlandi asl nusxasidan 2019 yil 3 avgustda. Olingan 26 mart, 2020.
  69. ^ Knuth, Donald Ervin. "Savodli dasturlash". Bosh sahifa. Arxivlandi asl nusxasidan 2019 yil 3 avgustda. Olingan 26 mart, 2020.
  70. ^ Knuth, Donald Ervin. "Informatika bo'yicha tanlangan maqolalar". Bosh sahifa. Arxivlandi asl nusxasidan 2019 yil 3 avgustda. Olingan 26 mart, 2020.
  71. ^ Knuth, Donald Ervin (1983). "Raqamli tipografiya". Ilmiy Amerika. 249 (2): 106–119. Bibcode:1983SciAm.249b.106B. doi:10.1038 / Scientificamerican0883-106. Arxivlandi asl nusxasidan 2019 yil 5 mayda. Olingan 26 mart, 2020.
  72. ^ Knuth, Donald Ervin. "Algoritmlarni tahlil qilish bo'yicha tanlangan maqolalar". Bosh sahifa. Arxivlandi asl nusxasidan 2019 yil 3 avgustda. Olingan 26 mart, 2020.
  73. ^ Knuth, Donald Ervin. "Kompyuter tillari bo'yicha tanlangan hujjatlar". Bosh sahifa. Arxivlandi asl nusxasidan 2019 yil 3 avgustda. Olingan 26 mart, 2020.
  74. ^ Knuth, Donald Ervin. "Diskret matematika bo'yicha tanlangan maqolalar". Bosh sahifa. Arxivlandi asl nusxasidan 2019 yil 3 avgustda. Olingan 26 mart, 2020.
  75. ^ Knuth, Donald Ervin. "Algoritmlarni loyihalash bo'yicha tanlangan maqolalar". Bosh sahifa. Arxivlandi asl nusxasidan 2019 yil 3 avgustda. Olingan 26 mart, 2020.
  76. ^ Knuth, Donald Ervin. "O'yin-kulgi va o'yinlar to'g'risida tanlangan hujjatlar". Bosh sahifa. Arxivlandi asl nusxasidan 2019 yil 3 avgustda. Olingan 26 mart, 2020.
  77. ^ Knuth, Donald Ervin. "Donald Knutning hujjatlariga sherik"] ". Bosh sahifa. Arxivlandi asl nusxasidan 2019 yil 3 avgustda. Olingan 26 mart, 2020.

Bibliografiya

Tashqi havolalar