Temporallogik
Nghĩa tiếng Việt: logic thời gian
Phát âm (IPA): [tɛmpoˈʁaːlˌloːɡɪk]
danh từ · trình độ C1
Giống: die Temporallogik
Số nhiều: die Temporallogiken
Biến cách (Deklination)
| Kasus | Số ít | Số nhiều |
|---|---|---|
| Nominativ | Temporallogik | Temporallogiken |
| Akkusativ | Temporallogik | Temporallogiken |
| Dativ | Temporallogik | Temporallogiken |
| Genitiv | Temporallogik | Temporallogiken |
Ví dụ
- „Im Bereich der Modellprüfung werden spezielle Temporallogiken eingesetzt, um die zu verifizierenden Eigenschaften zu spezifizieren.“ — „Trong lĩnh vực kiểm tra mô hình, các logic thời gian đặc biệt được sử dụng để xác định các thuộc tính cần kiểm chứng.“
Nghĩa khác
- logic tạm thời
- logic tuần tự
- temporal logic
- logic tạm thời của thời gian