Роберт МакНотон - Robert McNaughton

Бұл мақала математик туралы. Актер үшін қараңыз Роберт МакНотон.

Роберт Форбс Макнотон, кіші. (1924–2014) американдық болған математик, логик, және информатик бірнеше маңызды үлестермен ресми тілдер, грамматика және қайта жазу жүйелері, және сөз тіркесімі.[1]

McNaughton бастапқыда шыққан Бруклин бакалавр дәрежесін алды Колумбия университеті.[1]Ол кандидаттық диссертациясын аяқтады. кезінде Гарвард университеті; оның диссертациясы, Жүйелердің бірізділігін орнату туралы, жетекшілік етті Виллард Ван Орман Квин.[2]Ол сабақ берді Пенсильвания университеті содан кейін Rensselaer политехникалық институты.[1]

Ол 2014 жылы қайтыс болды Трой, Нью-Йорк.[1]

Әдебиеттер тізімі

  1. ^ а б в г. Коркоран, Джон; Нарендран, Палиат; Томас, Вольфганг (қазан 2014), «Репортер Роберт МакНотон 1924 - 2014», Теориялық компьютерлік ғылымдардың Еуропалық қауымдастығының хабаршысы, 114
  2. ^ Роберт МакНотон кезінде Математика шежіресі жобасы