die Temporallogik

Aussprache: /tɛmpoˈʁaːlˌloːɡɪk/

Worttrennung: Tem·poral·lo·gik

اسم

منطق زمانی، منطق تمپورال

Beispiele

Im Bereich der Modellprüfung werden spezielle ''Temporallogiken'' eingesetzt, um die zu verifizierenden Eigenschaften zu spezifizieren.در حوزه بررسی مدل، منطق‌های زمانی خاصی برای مشخص کردن ویژگی‌های قابل تأیید به کار گرفته می‌شوند.