← Zurück zur Suche

Bedeutung von Temporallogik | Babel Free

Substantiv CEFR C1

/[tɛmpoˈʁaːlˌloːɡɪk]/

Definitionen

logischer Formalismus, der eine zeitliche Dimension miteinbezieht

Beispiele

“„Im Bereich der Modellprüfung werden spezielle Temporallogiken eingesetzt, um die zu verifizierenden Eigenschaften zu spezifizieren.“”

GER-Stufe

C1

Fortgeschritten
Dieses Wort gehört zum GER-Wortschatz C1 — Stufe fortgeschritten.

Siehe auch

Temporallogiken Temporalsatz Temporalsätze Temporalsätzen Temporalsatzes Tempos