TEMPORAL LOGIC in Greek translation

• χρονική λογική
• temporal logic
• χρονικής λογικής

Examples of using Temporal logic in English and their translations into Greek

Model checking is based on some form of temporal logic such as linear temporal logic(LTL) or computation tree logic(CTL).
Οι ιδιότητες προς επαλήθευση συνήθως περιγράφονται σε χρονικές λογικές, όπως η γραμμική χρονική λογική(LTL) ή η λογική υπολογιστικού δένδρου(CTL).

The problem can be expressed mathematically as: given a temporal logic formula p
Το πρόβλημα μπορεί να τεθεί ως εξής: δεδομένης μιας ιδιότητας, που εκφράζεται σε χρονική λογική σαν p,

such as linear temporal logic and computational tree logic,
όπως η γραμμική χρονική λογική και η λογική υπολογιστικού δένδρου,

such as linear temporal logic and computation tree logic,
όπως η γραμμική χρονική λογική και η λογική υπολογιστικού δένδρου,

Pioneering work in the model checking of temporal logic formulae was done by Amir Pnueli,
Σημαντικό έργο στον έλεγχο μοντέλων με εκφράσεις χρονικής λογικής έγινε από τους E. M. Clarke

expressed as a temporal logic formula p,
που εκφράζεται σε χρονική λογική σαν p,

of the categorical syllogism, there are passages in his work that are now seen as anticipations of temporal logic, and may imply an early,
υπάρχουν σημεία στο έργο του που μπορούν σήμερα να φανούν σαν πρώιμα σημεία της χρονικής λογικής και μπορεί να σημαίνουν

Interval temporal logics find application in computer science,
Οι χρονικές λογικές διαστημάτων βρήκαν εφαρμογές στην επιστήμη των υπολογιστών,

Temporal logics are traditionally interpreted in terms of Kripke structures.
Οι χρονικές λογικές συνήθως ερμηνεύονται με δομές Κρίπκε.

CTL then combines these propositions into formulas using logical operators and temporal logics.
Η CTL στη συνέχεια συνδυάζει αυτές τις προτάσεις σε τύπους χρησιμοποιώντας λογικούς τελεστές και χρονικές λογικές.

Instead of dealing with infinite sequences of state, interval temporal logics deal with finite sequences.
Αντί να χειρίζονται άπειρες ακολουθίες καταστάσεων, οι χρονικές λογικές διαστημάτων χειρίζονται πεπερασμένες ακολουθίες.

Higher-order, modal, and temporal logics are widely used in applications,
Οι λογικές υψηλής τάξης, η τροπική, και η χρονική λογική χρησιμοποιούνται ευρέως σε εφαρμογές,

Various types of temporal logic[9] can be used to help reason about concurrent systems.
Μπορούν να χρησιμοποιηθούν διάφοροι τύποι χρονικής λογικής[8] για την ανάλυση ταυτόχρονων συστημάτων.

First-order interval temporal logic was initially developed in 1980s for the specification and verification of hardware protocols.
Οι πρωτοβάθμιες χρονικές λογικές διαστημάτων αναπτύχθηκαν αρχικά τη δεκαετία του 1980 για την προδιαγραφή και την επαλήθευση πρωτοκόλλων υλοποιημένων σε υλικό.

is a specific form of temporal logic, originally developed by Ben Moszkowski for his thesis at Stanford University.
είναι μια ειδική μορφή χρονικής λογικής, που δημιουργήθηκε αρχικά από τον Μπεν Μοσκόβσκι για τη διατριβή του στο Πανεπιστήμιο του Στάνφορντ.

In a temporal logic, we can express statements like"I am always hungry",
Σε μια χρονική λογική μπορούν επομένως να εκφραστούν προτάσεις όπως:"Πεινάω πάντα","Τελικά θα πεινάσω",

Linear temporal logic- Wikipedia, the free encyclopedia.
Γραμμική χρονική λογική- Βικιπαίδεια.

Temporal logic- Wikipedia.
Χρονική λογική- Βικιπαίδεια.

Alternating- time Temporal Logic.
Εναλλασσόμενου Χρόνου Alternating-time Temporal Logic.

Temporal logic always has the ability to reason about a timeline.
Η χρονική λογική έχει πάντα τη δυνατότητα να εκφράζει συλλογισμούς για μια χρονική γραμμή.