логіка часу
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.— Сучасні методи верифікації часто базуються на темпоральній логіці.