|
Andrzej Ehrenfeucht (, born August 8, 1932) is a Polish American mathematician and computer scientist. He formulated the Ehrenfeucht–Fraïssé game, using the back-and-forth method given by Roland Fraïssé in his thesis. The Ehrenfeucht–Mycielski sequence is also named after him. Ehrenfeucht married Alfred Tarski's daughter Ina Tarski.〔Anita B. Feferman and Solomon Feferman, ''Alfred Tarski: Life and Logic'', Cambridge University Press, 2004. ISBN 0-521-80240-7, pp. 239–242.〕 In 1971 he was a founding member of the Department of Computer Science at the University of Colorado. Ehrenfeucht is currently teaching and doing research at the University of Colorado, where he runs the project "breaking away" together with Patricia Baggett. The project aims at raising high school students' interest in mathematics and technology with hands-on projects. Two of his students, Eugene Myers and David Haussler, were contributors to the sequencing of the human genome. Haussler and Myers, along with Harold Gabow, Ross McConnell and Grzegorz Rozenberg spoke at a two-day symposium in honor of his 80th birthday, which was organized at the University of Colorado in 2012.〔(【引用サイトリンク】 title=The 80th Birthday Symposium for Andrzej Ehrenfeucht, Distinguished Professor of Computer Science ) 〕 Two journal issues have come out in his honor, one at his 65th birthday in Lecture Notes in Computer Science,〔Jan Mycielski, Grzegorz Rozenberg, Arto Salomaa (Eds.): Structures in Logic and Computer Science, A Selection of Essays in Honor of Andrzej Ehrenfeucht. Lecture Notes in Computer Science 1261 Springer 1997, ISBN 3-540-63246-8, (pages I-X available for download ). Accessed 04-29-2009〕 and one at his 80th in Theoretical Computer Science.〔 〕 == Bibliography == Books authored or co-authored by Ehrenfeucht include: * Andrzej Ehrenfeucht, Tero Harju, Ion Petre, David M. Prescott and Grzegorz Rozenberg. Computation in living cells : gene assembly in ciliates. Springer, 2004. ISBN 3-540-40795-2 * Patricia Baggett and Andrzej Ehrenfeucht. Breaking Away from the Math Book: creative projects for grades K-6. ISBN 1-56676-299-5 * Andrzej Ehrenfeucht, Tero Harju, Grzegorz Rozenberg: The Theory of 2-Structures: A Framework for Decomposition and Transformation of Graphs. World Scientific, 1999. ISBN 981-02-4042-2 Ehrenfeucht's papers published in ''Fundamenta Mathematicae''. Access through (Wirtualna Biblioteka Nauki ). * Chen Chung Chang, Andrzej Ehrenfeucht, ("A Characterization of Abelian Groups" ), Fundamenta Mathematicae 51, No. 2, ss. 141-147 (1962). * Andrzej Ehrenfeucht, ("An Application of Games to the Completness Problem for Formalized Theories" ), Fundamenta Mathematicae 49, No. 2, ss. 129-141 (1960). * Andrzej Ehrenfeucht, ("On Theories Categorical in Power" ), Fundamenta Mathematicae 44, No. 2, ss. 241-248 (1957). * Andrzej Ehrenfeucht, Andrzej Mostowski, ("Models of Axiomatic Theories Admitting Automorphisms" ), Fundamenta Mathematicae 43, No. 1, ss. 50-68 (1956). 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「Andrzej Ehrenfeucht」の詳細全文を読む スポンサード リンク
|