Katalog der Deutschen Nationalbibliothek
Ergebnis der Suche nach: idn=945158874
Link zu diesem Datensatz | https://d-nb.info/gnd/4382716-0 |
Sachbegriff | Fixpunkt-Logik |
Quelle | Vorlage |
Erläuterungen | Definition: Erweiterungen der Logik 1. Stufe durch Hinzunahme eines Fixpunktoperators |
Synonyme |
Prädikatenlogik / Stufe 1 / Fixpunktoperator Logik der partiellen Fixpunkte Logik der kleinsten Fixpunkte Logik der induktiven Fixpunkte Fixed-point-logic |
Thematischer Bezug | Verwandter Begriff: Bewachte Logik |
Systematik | 28 Mathematik |
Andere Normdaten |
LCSH: Fixed point theory RAMEAU: Point fixe, Théorème du |
Thema in |
7 Publikationen
|