Please note that the content of this book primarily consists of articles available from Wikipedia or other free sources online.Alfred Horn (* 17. Februar 1918 in Lower East Side, Manhattan; † 16. April 2001 in Pacific Palisades, Kalifornien) war ein amerikanischer Mathematiker. In seinem 1951 veroffentlichtem Werk "On sentences which are true of direct unions of algebras" fuhrte er die Horn-Formel ein, welche spater die Grundlage fur die logische Programmierung bildete. Alfred Horn wuchs in Manhattan auf. Seine Eltern waren beide taub, und Horns Vater starb, als dieser drei Jahre alt war. Spater zog er nach Brooklyn, wo er den Grossteil seiner Kindheit verbrachte. Er besuchte das City College of New York und spater die New York University, wo er den Master-Titel fur Mathematik erhielt. 1946 erhielt er den Ph. D. an der University of California, Berkeley. 1947 erhielt er eine Professur fur Mathematik an der University of California in Los Angeles, wo er bis zu seinem Ruhestand 1988 blieb. In seiner Laufbahn veroffentlichte er 35 Werke. 2001 starb er an Prostatakrebs, an dem er bereits acht Jahre zuvor erkrankt war.

Данное издание не является оригинальным. Книга печатается по технологии принт-он-деманд после получения заказа.