stringtranslate.com

Анджей Эренфойхт

Анджей Эренфойхт ( польск. Andrzej Ehrenfeucht [ˈand.ʐɛj ˈɛrɛnfɔjxt] , родился 8 августа 1932 года) — польско-американский математик и учёный-компьютерщик .

Жизнь

Анджей Эренфойхт сформулировал игру Эренфойхта-Фрэссе , используя метод туда и обратно, описанный в докторской диссертации Ролана Фрэссе . В честь Эренфойхта также названа последовательность Эренфойхта-Мицельского .

В 1971 году Эренфойхт был одним из основателей кафедры компьютерных наук в Университете Колорадо в Боулдере . В настоящее время он преподает и проводит исследования в университете, где он руководит проектом «breaking away» совместно с Патрисией Баггетт; проект, использующий практические занятия, направлен на повышение интереса учащихся старших классов к математике и технологиям .

Двое студентов Эренфойхта, Юджин Майерс и Дэвид Хаусслер , внесли вклад в секвенирование генома человека . Они, вместе с Гарольдом Габовым, Россом Макконнеллом и Гжегожем Розенбергом , выступили на двухдневном симпозиуме в Университете Колорадо в 2012 году, посвященном 80-летию Эренфойхта. [1]

В его честь вышло два выпуска журнала: один в честь его 65-летия в журнале Lecture Notes in Computer Science [ 2] и один в честь его 80-летия в журнале Theoretical Computer Science [3] .

Частная жизнь

Эренфойхт женился на дочери Альфреда Тарского Ине Тарской. [4]

Библиография

Книги

Статьи

(доступно через «Виртуальную библиотеку науки»)

Смотрите также

Ссылки

  1. ^ "Симпозиум в честь 80-летия Анджея Эренфойхта, выдающегося профессора компьютерных наук". Университет Колорадо в Боулдере . Архивировано из оригинала 2016-03-04 . Получено 2012-08-19 .
  2. ^ Ян Мычельский , Гжегож Розенберг, Арто Саломаа (ред.): Структуры в логике и информатике, подборка эссе в честь Анджея Эренфойхта. Lecture Notes in Computer Science 1261 Springer 1997, ISBN 3-540-63246-8 , страницы IX доступны для скачивания. Доступ 04-29-2009 
  3. ^ Розенберг, Г. (5 октября 2012 г.). «Формальные и естественные вычисления: в честь 80-летия Анджея Эренфойхта (специальный выпуск)». Теоретическая информатика . 457 : 1–180. doi : 10.1016/j.tcs.2012.07.015 .
  4. ^ Анита Б. Феферман и Соломон Феферман , Альфред Тарский: Жизнь и логика , Cambridge University Press, 2004. ISBN 0-521-80240-7 , стр. 239–242. 

Внешние ссылки