Katalog der Deutschen Nationalbibliothek
Ergebnis der Suche nach: nid=4114617-7
Link zu diesem Datensatz | https://d-nb.info/gnd/4114617-7 |
Sachbegriff | Modelltheorie |
Quelle | M |
Erläuterungen |
Definition: In der mathematischen Logik: Modell eines Axiomensystems (eine mit gewissen Strukturen versehene Menge, auf die die Axiome des Systems zutreffen) Verwendungshinweis: Nicht verwenden für die Theorie mathematischer Modelle (Abbildungen der Wirklichkeit in Mathematik) |
Oberbegriffe | Metamathematik |
DDC-Notation | 511.34 |
Systematik | 28 Mathematik |
Andere Normdaten |
LCSH: Model theory RAMEAU: Théorie des modèles |
Untergeordnet |
9 Datensätze
|
Thema in |
208 Publikationen
|
Maschinell verknüpft mit |
5 Publikationen
|