Wersja z 04:30, 1 sty 2016 edytuj MalarzBOT (dyskusja \| edycje) Boty, Redaktorzy, Uprawnieni do logowania się z zablokowanych adresów IP 4 851 708 edycji m MalarzBOT: regeneracja szablonu {{Biogram infobox}} ← poprzednia edycja		Wersja z 20:51, 30 lis 2016 edytuj anuluj edycję Paweł Ziemian BOT (dyskusja \| edycje) Boty 1 384 760 edycji m zamieniam magiczny ISBN na szablon następna edycja →
Linia 19: \|www = http://www.cs.colorado.edu/~andrzej/ }} '''Andrzej Ehrenfeucht''' (ur. [[8 sierpnia]] [[1932]] w [[Wilno\|Wilnie]]) - amerykański matematyk polskiego pochodzenia. Zięć [[Alfred Tarski\|Alfreda Tarskiego]] (poślubił jego córkę Inę<ref>Anita B. Feferman and Solomon Feferman, ''Alfred Tarski: Life and Logic'', Cambridge University Press, 2004. {{ISBN \|0-521-80240-7}}, ss. 239–242.</ref>). Znany m.in. z zaadapotowania idei [[Roland Fraïssé\|Rolanda Fraïssé]] dotyczącej badania elementarnej równoważności [[model (matematyka)\|modeli]] w języku [[teoria gier\|teorii gier]] ([[gra Ehrenfeuchta–Fraïsségo]])<ref>Wilfrid Hodges, "Elementary Predicate Logic", [w:] Dov M. Gabbay and Franz Guenthner (red.) ''Handbook of Philosophical Logic'', 2nd edition, Vol. 2, Springer, 2001. {{ISBN \|978-0-7923-7126-7}}, ss. 1-129. Por. zwłaszcza rozdz. 26 pt. "Back-and-Forth Equivalence"</ref>. Popularyzator matematyki i informatyki wśród uczniów szkół średnich. Dwóch jego uczniów [[Eugene Myers]] oraz [[David Haussler]] miało znaczący udział w projekcie badania genomu ludzkiego. Haussler i Myers razem z Haroldem Gabowem, Rossem McConnellem i [[Grzegorz Rosenberg\|Grzegorzem Rosenbergiem]] wygłosili odczyty na dwudniowym sympozium zorganizowanym z okazji 80. urodzin Ehrenfeuchta, które zostało zorganizowane przez University of Colorado w 2012r. Ehrenfeuchtowi poświęcono specjalne wydania dwóch czasopism. Z okazji jego 65. urodzin zrobiła to redakcja [[Lecture Notes in Computer Science]]<ref>[[Jan Mycielski (matematyk)\|Jan Mycielski]], [[Grzegorz Rozenberg]], [[Arto Salomaa]] (red.): Structures in Logic and Computer Science, A Selection of Essays in Honor of Andrzej Ehrenfeucht. Lecture Notes in Computer Science, Vol. 1261, Springer 1997, {{ISBN \|3-540-63246-8}}, [http://link.springer.com/book/10.1007/3-540-63246-8/page/1 spis treści i wstęp]. Dostęp 01.02.2013</ref>, a z okazji 80. urodzin redakcja [[Theoretical Computer Science]]<ref>Grzegorz Rozenberg, Arto Salomaa (red.) Theoretical Computer Science .Formal and Natural Computing - Honoring the 80th Birthday of Andrzej Ehrenfeucht, Vol. 457, Elsevier B.V. 2012. [http://www.sciencedirect.com/science/journal/03043975/454 spis treści i wstęp] Dostęp 01.02.2013.</ref>. == Bibliografia == * Andrzej Ehrenfeucht, Tero Harju, Ion Petre, David M. Prescott, Grzegorz Rozenberg. ''Computation in living cells : gene assembly in ciliates''. Springer, 2004. {{ISBN \|3-540-40795-2}} * [[Chen Chung Chang]], Andrzej Ehrenfeucht, [http://pldml.icm.edu.pl/pldml/element/bwmeta1.element.bwnjournal-article-fmv51i2p141bwm?q=031167bd-ae87-4d23-96c0-fbc43899f4d4$4&qt=IN_PAGE "A Characterization of Abelian Groups"], ''Fundamenta Mathematicae'', Vol. 51, No. 2, ss. 141-147 (1962). * Andrzej Ehrenfeucht, [http://pldml.icm.edu.pl/pldml/element/bwmeta1.element.bwnjournal-article-fmv49i2p129bwm?q=bwmeta1.element.bwnjournal-number-fm-1960-1961-49-2&qt=CHILDREN-STATELESS "An Application of Games to the Completness Problem for Formalized Theories"], ''Fundamenta Mathematicae'', Vol. 49, No. 2, ss. 129-141 (1960). * Andrzej Ehrenfeucht, [http://pldml.icm.edu.pl/pldml/element/bwmeta1.element.bwnjournal-article-fmv44i2p241bwm?q=031167bd-ae87-4d23-96c0-fbc43899f4d4$2&qt=IN_PAGE "On Theories Categorical in Power"], ''Fundamenta Mathematicae'', Vol. 44, No. 2, ss. 241-248 (1957). * Andrzej Ehrenfeucht, [[Andrzej Mostowski]], [http://pldml.icm.edu.pl/pldml/element/bwmeta1.element.bwnjournal-article-fmv43i1p50bwm?q=031167bd-ae87-4d23-96c0-fbc43899f4d4$3&qt=IN_PAGE "Models of Axiomatic Theories Admitting Automorphisms"], ''Fundamenta Mathematicae'', Vol. 43, No. 1, ss. 50-68 (1956). * Patricia Baggett, 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}} {{przypisy}}

Andrzej Ehrenfeucht: Różnice pomiędzy wersjami