темпоральная логика
Ein Teilbereich der Modallogik, der sich mit der zeitlichen Dimension von Aussagen befasst.
Раздел модальной логики, изучающий логические отношения, зависящие от времени.
-
Die Temporallogik wird in der Informatik häufig verwendet.— Темпоральная логика часто используется в информатике.
-
Er schreibt eine Arbeit über die Grundlagen der Temporallogik.— Он пишет работу об основах темпоральной логики.
-
Moderne Verifikationsmethoden basieren oft auf der Temporallogik.— Современные методы верификации часто базируются на темпоральной логике.
Синонимы