Term (German Wikipedia)

Analysis of information sources in references of the Wikipedia article "Term" in German language version.

refsWebsite

Global rank German rank

2,106^th place

139^th place

low place

google.de

A. Oberschelp (1990) Seite 9ff
In der ordnungssortierten Logik (englisch: order-sorted logic) sind die den Sorten $s\in T$ zugeordneten Wertebereiche $A_{s}$ nicht notwendig disjunkt. Stattdessen ist die Menge der Sorten $T$ mit einer partiellen Ordnung $\preceq$ versehen, so dass für alle Sorten $s_{1},s_{2}$ gilt: Wenn $s_{1}\preceq s_{2}$ , dann $A_{s_{1}}\subseteq A_{s_{2}}$ . Jeder Konstanten, Variablen und schließlich jedem Term $t$ der Sorte $s$ wird eine Sortenmenge $<s>=\{r\in T|s\preceq r\}$ (Oberhalbmenge von s) zugeordnet, die alle Sorten $r$ umfasst mit $s\preceq r$ . Terme $t_{1},t_{2}$ können dann kombiniert werden, wenn die Schnittmenge der Wertebereiche ihrer Sorten der Wertebereich einer definierten Sorte $r$ ist , also insbesondere nicht leer ist. Man schreibt dann $r=s_{1}\sqcap s_{2}$ (oder $r=s_{1}\cap s_{2}$ ). Näheres siehe A. Oberschelp (1989) Seite 11ff. Diese Art von Logik ist Grundlage der Vererbung von Klassen (Klassenhierarchie) in der objektorientierten Programmierung.

In der ordnungssortierten Logik (englisch: order-sorted logic) sind die den Sorten $s\in T$ zugeordneten Wertebereiche $A_{s}$ nicht notwendig disjunkt. Stattdessen ist die Menge der Sorten $T$ mit einer partiellen Ordnung $\preceq$ versehen, so dass für alle Sorten $s_{1},s_{2}$ gilt: Wenn $s_{1}\preceq s_{2}$ , dann $A_{s_{1}}\subseteq A_{s_{2}}$ . Jeder Konstanten, Variablen und schließlich jedem Term $t$ der Sorte $s$ wird eine Sortenmenge $<s>=\{r\in T|s\preceq r\}$ (Oberhalbmenge von s) zugeordnet, die alle Sorten $r$ umfasst mit $s\preceq r$ . Terme $t_{1},t_{2}$ können dann kombiniert werden, wenn die Schnittmenge der Wertebereiche ihrer Sorten der Wertebereich einer definierten Sorte $r$ ist , also insbesondere nicht leer ist. Man schreibt dann $r=s_{1}\sqcap s_{2}$ (oder $r=s_{1}\cap s_{2}$ ). Näheres siehe A. Oberschelp (1989) Seite 11ff. Diese Art von Logik ist Grundlage der Vererbung von Klassen (Klassenhierarchie) in der objektorientierten Programmierung.