temporal logic
lógica temporal
temporal logics oor Spaans
temporal logics
en
Plural form of temporal logic.
Vertalings in die woordeboek Engels - Spaans
lógica temporal
The combination of a formal language with temporal logic semantics offers increased capabilities for multi-purpose usage with suitable expressiveness.
La combinación de un lenguaje formal con una semántica lógica temporal ofrece más capacidades de usos diversos y una expresividad adecuada.
Geskatte vertalings
Vertoon algoritmies gegenereerde vertalings
Soortgelyke frases
voorbeelde
Advanced filtering
Voorbeelde moet herlaai word.
Temporal logic has two kinds of operators: logical operators and modal operators .
Sí, no será bueno para ella si usted se congela cada vez que algún sucio le encañonacon un arma en su caraWikiMatrix WikiMatrix
Temporal logics are traditionally interpreted in terms of Kripke structures.
Nuestra separación no fue muy amistosaWikiMatrix WikiMatrix
Pnueli (1977) introduced the idea of using classical temporal logic to reason about programs.
No puedes vivir con la sonrisa del Presidente CotyLiterature Literature
That struggle, the centrepiece of social history for Foucault, has no necessary temporal logic.
Creí que te sentirías sola de guardiaLiterature Literature
Temporal logic is an extension of prepositional logic that integrates special operators which act in terms of time.
No nos queda mucho tiempocordis cordis
Other logics of interest include temporal logic, modal logic and fuzzy logic.
No.Mierda, ¡ te van a encerrar en un orfanato uno de estos días!WikiMatrix WikiMatrix
That is, the modern embodies a specific temporalizing logic and a specific temporality.
Otros # segundosLiterature Literature
Temporal logic lets operators specify how protocols, modules, components, and procedures should act as time passes.
Feliz Navidadcordis cordis
In fact, modernism has often been described as embodying a temporalizing logic and a specific temporality.
Hay que meter miedo, ¿ no?Literature Literature
Textbooks on temporal logic include those by Rescher and Urquhart (1971) and van Benthem (1983).
Tenemos bombasLiterature Literature
The modal operators used in linear temporal logic and computation tree logic are defined as follows.
Podemos llevar los caballos al otro lado... donde el viento no pueda llevar su olor al gato y le esperaremosWikiMatrix WikiMatrix
PROSPER's natural language interface assists designers by automatically translating English phrases into temporal logic.
Vino a buscar trabajo mientras su esposo es prisionerocordis cordis
The study of temporal logic was initiated by Aristotle and the Megarian and Stoic schools in ancient Greece.
Al habla el capitán CambioLiterature Literature
Various types of temporal logic can be used to help reason about concurrent systems.
Creí que te sentirías sola de guardiaWikiMatrix WikiMatrix
The temporal logic of the genders is asymmetric.
Mira tu reloj mamá, ¿ cuánto tiempo pasó antes del primer comentario homofóbico?Literature Literature
The Urban Enclave, a Spatio-Temporal Logic of the Urbanized Periphery: Effects on Residential Segregation and Urban Fragmentation
Dicha Decisión expira el # de diciembre descielo-title scielo-title
The combination of a formal language with temporal logic semantics offers increased capabilities for multi-purpose usage with suitable expressiveness.
Pero yo no lo hicecordis cordis
Prior (1957) founded tense logic, now also known as temporal logic, and made important contributions to intensional logic, particularly in Prior (1971).
Ah, dejame que te muestro algoWikiMatrix WikiMatrix
Key functionalities of UVE tool include verification of a set of temporal logic formulas, such as check of reachability, invariance, liveness and safety.
Fue muy fuertecordis cordis
As most hardware verification systems rely on temporal logic to formulate and express desired properties, this feature can be troublesome as temporal logic is difficult to grasp and use.
Sabías que Tory estaba aquí, con Faith en el cementeriocordis cordis
Some of these logics, such as linear temporal logic and computation tree logic, allow assertions to be made about the sequences of states that a concurrent system can pass through.
Si no llego al hospital, vamos a perder a estos dosWikiMatrix WikiMatrix
For example, temporal logic has operators denoting "will be true at some time in the future" and "will be true at all times in the future" which are similarly dual.
Es nuestro planWikiMatrix WikiMatrix
However, society is always the creation of ideologies temporally and logically anterior.
Una vez por mes, la gente debe traerLiterature Literature
His speeches were long and ex tempore, but logical.
Relaciones sociales entre los miembros del personal y otras intervenciones socialesLiterature Literature
Aeronautical information feature on request. Filtering possible by feature type, name and an advanced filter with spatial, temporal and logical operators.
Oye, este chico es increíble?EurLex-2 EurLex-2
198 sinne gevind in 13 ms. Hulle kom uit baie bronne en word nie nagegaan nie.