In der Prädikatenlogik ist die Matrix einer Formel F diejenige Formel, die man durch Streichen sämtlicher Quantoren aus F erhält. Der Begriff wird vor allem im Zusammenhang mit der Pränexform verwendet, bei der sämtliche Quantoren am Anfang der Formel stehen.
Wikimedia Foundation.
Matrix — ([ˈmaːtrɪks], [ˈmaːtriːks]; lat. matrix „Gebärmutter“, eigentl. „Muttertier“; Mehrzahl je nach Bedeutung Matrizes [maˈtriːʦeːs] oder eingedeutscht Matrizen [maˈtrɪʦən], [maˈtriːʦən]) bezeichnet: eine Anordnung in Form einer Tabelle Matri … Deutsch Wikipedia
Matrix (Hörfunksendung) — Matrix ist eine Computersendung auf Ö1. Sie wird seit dem 7. Mai 1995 ausgestrahlt und bezeichnet sich selbst als Magazin zur Netzkultur . Der Name Matrix geht auf den populären Roman Neuromancer zurück, den der US amerikanische Science Fiction… … Deutsch Wikipedia
Matrix Revolutions — Filmdaten Deutscher Titel Matrix Revolutions Originaltitel The Matrix Revolutions … Deutsch Wikipedia
Matrix Math Extensions — Intel Prozessor mit MMX Die Multi Media Extension (kurz MMX) ist eine Anfang 1997 von Intel auf den Markt gebrachte Rechnerarchitektur, die es erlaubt, größere Datenmengen parallelisiert und somit schneller zu verarbeiten. Die… … Deutsch Wikipedia
The Matrix Revolutions — Filmdaten Deutscher Titel: Matrix Revolutions Originaltitel: The Matrix Revolutions Produktionsland: USA Erscheinungsjahr: 2003 Länge: 124 Minuten Originalsprache: Englisch … Deutsch Wikipedia
Matrizen — Eine Matrix [ˈmaːtriːks] (lat. matrix „Gebärmutter“, eigentl. „Muttertier“; Mehrzahl je nach Bedeutung Matrizes [maˈtriːʦeːs] oder eingedeutscht Matrizen [maˈtriːʦən]) steht für: eine Anordnung in Form einer Tabelle die Anordnung von Zahlenwerten … Deutsch Wikipedia
Pränex-Normalform — Die Pränexform ist eine mögliche Normalform, in der Aussagen der Prädikatenlogik dargestellt werden können. Sie wird unter anderem als Vorstufe zur Skolemform benötigt. Eine Aussage in der Prädikatenlogik erster Stufe befindet sich in Pränexform … Deutsch Wikipedia
Pränexnormalform — Die Pränexform ist eine mögliche Normalform, in der Aussagen der Prädikatenlogik dargestellt werden können. Sie wird unter anderem als Vorstufe zur Skolemform benötigt. Eine Aussage in der Prädikatenlogik erster Stufe befindet sich in Pränexform … Deutsch Wikipedia
Verneinungstechnische Normalform — Die Pränexform ist eine mögliche Normalform, in der Aussagen der Prädikatenlogik dargestellt werden können. Sie wird unter anderem als Vorstufe zur Skolemform benötigt. Eine Aussage in der Prädikatenlogik erster Stufe befindet sich in Pränexform … Deutsch Wikipedia
Auflösbar — In diesem Glossar werden kurze Erklärungen mathematischer Attribute gesammelt. Unter einem Attribut wird eine Eigenschaft verstanden, die einem mathematischen Objekt zugesprochen wird. Ein Attribut hat oft die Form eines Adjektivs (endlich, offen … Deutsch Wikipedia
