logisches element
61Resolutionsverfahren — Die Resolution ist ein Verfahren der , um eine logische auf Gültigkeit zu testen. Das Resolutionsverfahren, auch Resolutionskalkül genannt, ist ein : Statt direkt die einer Formel zu zeigen, leitet es einen logischen Widerspruch aus deren… …
62Resolvent — Die Resolution ist ein Verfahren der , um eine logische auf Gültigkeit zu testen. Das Resolutionsverfahren, auch Resolutionskalkül genannt, ist ein : Statt direkt die einer Formel zu zeigen, leitet es einen logischen Widerspruch aus deren… …
63Prozess und Realität — Der Essay Prozess und Realität ist ein zuerst 1929 in New York unter dem Originaltitel Process and Reality: An Essay in Cosmology erschienenes Werk des britischen Philosophen und Mathematikers Alfred North Whitehead (1861–1947). Es ist… …
64Prolog (Programmiersprache) — Prolog Paradigmen: logisch, deklarativ, oft auch constraintbasiert Erscheinungsjahr: 1972 Designer: Alain Colmerauer Entwickler: Philippe Roussell …
65Atom — [a to:m], das; s, e: kleinstes, mit chemischen Mitteln nicht weiter zerlegbares Teilchen eines chemischen Grundstoffes: Atome sind elektrisch neutral. Zus.: Wasserstoffatom. * * * Atom 〈n. 11; Chem.〉 1. kleinstes, mit chem. Mitteln nicht mehr… …
66Fuzziness (Sprache) — Unter Fuzziness in Bezug auf Sprache versteht man das Phänomen der „kontinuierlichen“ oder „graduellen“ Klassenzugehörigkeit von sprachlichen Begriffen (vgl. auch Kategorisierung). Während zum Beispiel manche Gegenstände eindeutig als „Becher“… …
67Alfred N. Whitehead — Alfred North Whitehead Alfred North Whitehead OM (* 15. Februar 1861 in Ramsgate; † 30. Dezember 1947 in Cambridge (Massachusetts)) war ein britischer Philosoph und Mathematiker. Bekannt wurde Alfred Whitehead durch das Sta …
68Alfred North Whitehead — OM (* 15. Februar 1861 in Ramsgate; † 30. Dezember 1947 in Cambridge (Massachusetts)) war ein britischer Philosoph und Mathematiker. Bekannt wurde Alfred Whitehead durch das Standardwerk „Principia Mathematica“ über Logik, das er zusammen mit… …
69Alfred Whitehead — Alfred North Whitehead Alfred North Whitehead OM (* 15. Februar 1861 in Ramsgate; † 30. Dezember 1947 in Cambridge (Massachusetts)) war ein britischer Philosoph und Mathematiker. Bekannt wurde Alfred Whitehead durch das Sta …
70Arität — Der Begriff Stelligkeit (auch: Arität oder Ärität) steht für die Anzahl der Argumente einer Verknüpfung, einer Abbildung bzw. eines Operators. Einstellige Verknüpfungen benötigen nur ein Argument. Beispiel ist etwa die Betragsfunktion (absoluter… …
