Diskussion:Stratifikation (Logik)

aus Wikipedia, der freien Enzyklopädie
Dies ist die aktuelle Version dieser Seite, zuletzt bearbeitet am 4. Mai 2017 um 15:32 Uhr durch imported>Maformatiker(2177943) (Maformatiker verschob die Seite Diskussion:Stratifikation (Mathematik) nach Diskussion:Stratifikation (Logik): siehe Diskussion).
(Unterschied) ← Nächstältere Version | Aktuelle Version (Unterschied) | Nächstjüngere Version → (Unterschied)

Ich kenne mich nicht aus mit dem Thema. Es wäre schön, wenn noch ein Gegenbeispiel einer nicht stratifizierbaren Menge angegeben werden könnte, für die auch gezeigt werden können (und auch gezeigt werden) sollte, dass keine eindeutige Interpretation für sie existiert. -- Wikiwikigreif 17:16, 25. Feb. 2009 (CET)

Es wäre auch schön, wenn man aus dem Artikel erfahren würde, wofür Stratifikationen gut sind. (nicht signierter Beitrag von 78.54.34.128 (Diskussion) 21:31, 7. Aug. 2010 (CEST))

Steht doch da: Sie sind dafür gut, sicherzustellen, dass eine eindeutige formale Interpretation (ein eindeutig bestimmtes Modell) eines Logikprogramms existiert. --Maformatiker (Diskussion) 15:01, 11. Dez. 2016 (CET)

Qualifikator

Meiner Meinung nach wäre Logik oder Logische Programmierung als Qualifikator hier passender als Mathematik. Die folgenden thematisch verwandten Artikel verwenden ebenfalls Logik als Qualifikator: Prädikat (Logik), Interpretation (Logik), Resolution (Logik), Ableitung (Logik) --Maformatiker (Diskussion) 15:28, 11. Dez. 2016 (CET)

Abgerufen von „https://de.wikiup.org/index.php?title=Diskussion:Stratifikation_(Logik)&oldid=165200128“