Alfred Horn ist der Name von:
 |
Diese Seite ist eine Begriffsklärung zur Unterscheidung mehrerer mit demselben Wort bezeichneter Begriffe. |
Wikimedia Foundation.
Alfred Horn — (17 février 1918 16 avril 2001) est un mathématicien américain réputé pour ses travaux dans le domaine des treillis et de l algèbre universelle. Son article intitulé « On sentences which are true of direct unions of algebras » (Journal… … Wikipédia en Français
Alfred Horn — (February 17, 1918 April 16, 2001) was an American mathematician notable for his work in lattice theory and universal algebra. His 1951 paper On sentences which are true of direct unions of algebras described Horn clauses and Horn sentences,… … Wikipedia
Alfred Horn (Politiker) — Alfred Horn (* 4. August 1898 in Wien; † 10. März 1959 in Hallein) war österreichischer Politiker (SPÖ), Bürgermeister der niederösterreichischen Stadtgemeinde Schwechat und Abgeordneter zum Nationalrat. Leben Alfred Horn wurde am 4. August 1898… … Deutsch Wikipedia
Alfred Horn (Mathematiker) — Alfred Horn (* 17. Februar 1918 in Lower East Side, Manhattan; † 16. April 2001 in Pacific Palisades, Kalifornien) war ein amerikanischer Mathematiker. In seinem 1951 veröffentlichtem Werk On sentences which are true of direct unions of algebras… … Deutsch Wikipedia
Horn (Familienname) — Horn ist ein Familienname. Herkunft und Bedeutung Horn kann ein Wohnstättenname oder eine Herkunftsbezeichnung sein. Bekannte Namensträger Familien Haus Horn, ein niederländisch belgisches Adelsgeschlecht Horn (Freiberg), ein sächsisches Adels… … Deutsch Wikipedia
Horn (surname) — Horn is a surname, and may refer to:* Alan F. Horn * Alfred Horn (1918–2001), American mathematician ** Horn clause is a term in formal logic named after him * Alfred Aloysius Trader Horn, an African trader during the Scramble for Africa * Anton… … Wikipedia
Horn-Klausel — Horn Formeln sind eine spezielle Teilmenge der aussagenlogischen Formeln. Benannt wurden sie nach dem US amerikanischen Logiker Alfred Horn. Inhaltsverzeichnis 1 Definition mit Horn Klauseln 1.1 Beispiele 1.2 Darstellungsformen von Horn Klauseln… … Deutsch Wikipedia
Horn-Klauseln — Horn Formeln sind eine spezielle Teilmenge der aussagenlogischen Formeln. Benannt wurden sie nach dem US amerikanischen Logiker Alfred Horn. Inhaltsverzeichnis 1 Definition mit Horn Klauseln 1.1 Beispiele 1.2 Darstellungsformen von Horn Klauseln… … Deutsch Wikipedia
Horn-Formel — Horn Formeln sind eine wichtige Teilmenge der prädikatenlogischen Formeln. Sie spielen eine zentrale Rolle in der Logischen Programmierung und sind von Bedeutung für die konstruktive Logik. Benannt wurden sie nach dem US amerikanischen Logiker… … Deutsch Wikipedia
Horn clause — In mathematical logic, a Horn clause is a clause (a disjunction of literals) with at most one positive literal. They are named after the logician Alfred Horn, who first pointed out the significance of such clauses in 1951. Horn clauses play a… … Wikipedia
