temporal logic oor Slowaaks
temporal logic
en
A form of symbolic logic used to reason about properties of statements related to order and duration.
Vertalings in die woordeboek Engels - Slowaaks
Temporálna logika
en
methods for reasoning about propositions involving time
Geskatte vertalings
Vertoon algoritmies gegenereerde vertalings
voorbeelde
Advanced filtering
Voorbeelde moet herlaai word.
Temporal logics are traditionally interpreted in terms of Kripke structures.
– Úrad podpredsedu vlády –WikiMatrix WikiMatrix
Filtering possible by feature type, name and an advanced filter with spatial, temporal and logical operators.
ŠPECIÁLNE PODMIENKY NA UCHOVÁVANIEEurLex-2 EurLex-2
The Hebrew verb translated as “gave” is in the imperfect tense and is associated with a special form of the conjunction “and” [Hebrew, waw], thus indicating a temporal or logical sequence.
Kiežby tvoje city nestáli v ceste tvojím povinnostiamjw2019 jw2019
The exceptionality of limiting the temporal effects of judgments is the logical corollary of how the effects of the Court’s judgments are deployed.
Pevné hasiace systémy (Reurlex-diff-2018-06-20 eurlex-diff-2018-06-20
Article 17 of Directive 2000/78, which requires the Member States to adopt effective, proportionate and dissuasive sanctions, is itself logically tied to the temporal applicability of the same directive.
Dobre, spomalteEurlex2018q4 Eurlex2018q4
Thus, the system and context of Article 65 also clearly confirm that that provision focuses primarily on the temporal aspect of VAT collection, and only secondarily and in a (logically) limited way on what the taxable amount (the account paid at the given moment) shall be.
Modlil som sa každý deň až do teraz aby som mal sex kým zomriemEurlex2018q4 Eurlex2018q4
In my opinion, the wording of the provision does not prevent the same temporal condition being extended to the requirement of use; moreover, it would be more logical if all the requirements laid down in Article 8(4) were coordinated in terms of time.
Európska únia udržiava a rozvíja Úniu ako priestor slobody, bezpečnosti a spravodlivostiEurLex-2 EurLex-2
127 With regard, finally, to the duration of the aid scheme authorised by the contested decision, it follows from the very logic of the third subparagraph of Article 108(2) TFEU that the Council cannot be bound by any temporal limitation laid down in a Commission communication.
a keďže implementácia tejto politiky nevyhnutne zahŕňa progresívnu štandardizáciu počas prechodného obdobiaEurLex-2 EurLex-2
121 With regard, finally, to the duration of the aid scheme authorised by the contested decision, it follows from the very logic of the third subparagraph of Article 108(2) TFEU that the Council cannot be bound by any temporal limitation laid down in a Commission communication.
Možno by si sa mal odsťahovať?EurLex-2 EurLex-2
144 With regard, finally, to the duration of the aid scheme authorised by the contested decision, it follows from the very logic of the third subparagraph of Article 88(2) EC that the Council cannot be bound by any temporal limitation laid down in a Commission communication.
Plavebné skúškyEurLex-2 EurLex-2
132 With regard, finally, to the duration of the aid scheme authorised by the contested decision, it follows from the very logic of the third subparagraph of Article 108(2) TFEU that the Council cannot be bound by any temporal limitation laid down in a Commission communication.
Protokol stanovujúci možnosti rybolovu a finančný príspevok ustanovený v Dohode medzi Európskym spoločenstvom a Gabunskou republikou o rybolove v pobrežných vodách Gabunu na obdobie od #. decembra # do #. decembraEurLex-2 EurLex-2
In the 1980s the department devised an elective one-term course on the philosophical questions of logic and a special seminar in logic. Both of them dealt with topics like the philosophical questions of semantics of possible worlds in the context of theory of models for intuitional logic, aletic modalities for epistemic, temporal and other intentional logics, theories of the truth, theories of meaning and others.
PREZIDENT JUHOAFRICKEJ REPUBLIKYParaCrawl Corpus ParaCrawl Corpus
12 sinne gevind in 5 ms. Hulle kom uit baie bronne en word nie nagegaan nie.