lógica temporal oor Engels
lógica temporal
Vertalings in die woordeboek Spaans - Engels
temporal logic
en
methods for reasoning about propositions involving time
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.
The combination of a formal language with temporal logic semantics offers increased capabilities for multi-purpose usage with suitable expressiveness.
temporal logics
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.
The combination of a formal language with temporal logic semantics offers increased capabilities for multi-purpose usage with suitable expressiveness.
Geskatte vertalings
Vertoon algoritmies gegenereerde vertalings
voorbeelde
Advanced filtering
Voorbeelde moet herlaai word.
La lógica temporal tiene dos clases de operadores: operadores lógicos y operadores modales .
Yeah.Here' s the dealWikiMatrix WikiMatrix
Las lógicas temporales son interpretadas tradicionalmente en términos de estructuras de Kripke.
Yeah, I think soWikiMatrix WikiMatrix
Pnueli (1977) fue el primero en utilizar la lógica temporal clásica para razonar sobre los programas.
Volcanic activity has turned the lake to acidLiterature Literature
Una conexión es simplemente una asociación lógica temporal entre dos entidades de diferentes sistemas.
Initial communications are always performed at # baud (until baud rate is eventually changed using the appropriate Link control servicesLiterature Literature
Esa lucha, la piedra angu- lar de la historia social para Foucault, no tiene necesariamente una lógica temporal.
Phenyl-#-propen-#-yl isobutyrateLiterature Literature
Por ejemplo la lógica de segundo orden, la lógica modal y la lógica temporal.
The disputed measure was initially described by the Slovak authorities as rescue aidWikiMatrix WikiMatrix
La lógica temporal es similar a la lógica modal, tanto en su sintaxis como en la semántica.
Phosphonates do not exceed # g/washLiterature Literature
Varios tipos de lógicas temporales pueden ser usados para ayudar a razonar sobre los sistemas concurrentes.
I' m about to snapWikiMatrix WikiMatrix
Existe una lógica temporal de género asimétrica.
I' il stay for Yuen ChiLiterature Literature
La lógica temporal es una ampliación de la lógica proposicional que integra operadores especiales que actúan en el tiempo.
Suppose you let me do the questioning from now on.- Hmmcordis cordis
La interfaz PROSPER de lenguaje natural ayuda a los diseñadores traduciendo automáticamente frases en lengua inglesa a la lógica temporal.
You command!cordis cordis
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.
Where' s the sense in that?cordis cordis
El estudio de la lógica temporal fue iniciado por Aristóteles y las escuelas estoica y de Megara, en la antigua Grecia.
Patients with strongly activated renin-angiotensin-aldosterone systemLiterature Literature
Algunas lógicas como la lógica temporal lineal y la lógica de árboles computacionales permiten decidir por cuales estados puede pasar el sistema concurrente.
Can' t be, she just wants revengeWikiMatrix WikiMatrix
Prior fundó en 1957 la lógica tensa, también conocida como lógica temporal, e hizo importantes contribuciones a la lógica intensional, particular en Prior (1971).
She' s #, for God' s sakesWikiMatrix WikiMatrix
La lógica temporal permite que los operadores especifiquen el modo en que los protocolos, módulos, componentes y procedimientos deben actuar a medida que transcurre el tiempo.
Antibodies, monoclonal, polyclonal or anti-idiotypiccordis cordis
Scott estaba especialmente interesado en lógica temporal y la conexión con el tratamiento del tiempo en la semántica de lenguajes naturales, y empezó a colaborar con Richard Montague (Copeland 2004).
At least one good thing came out of this... you' re back at Green ManorsWikiMatrix WikiMatrix
Por ejemplo, la lógica temporal tiene operadores que denotan "será cierto en algún momento en el futuro" y "será cierto en todo momento en el futuro", que son igualmente duales.
These people could look like anybody, except maybe youWikiMatrix WikiMatrix
Las funcionalidades más importantes de la herramienta UVE son la verificación de una serie de fórmulas lógicas temporales, como la comprobación del alcance, la invariancia, la ejecución y la seguridad.
I don' t know which flavors to make or which ideas to trycordis cordis
¿Existe en la serie, alguna gran incongruencia lógica o temporal?
A girl named Doris Attinger shot her husbandCommon crawl Common crawl
¿Es el yo central experiencial una precondición (lógica y temporal) para el yo narrativo extenso?
So I' m finding outLiterature Literature
Luego dimos el siguiente paso lógico: locura temporal.
I mean, your fatherOpenSubtitles2018.v3 OpenSubtitles2018.v3
Como la mayoría de sistemas de verificación de hardware se basan en una lógica temporal que formula y expresa las propiedades deseadas, esta característica puede resultar conflictiva, ya que la lógica temporal es difícil de captar y utilizar.
Really nice people toocordis cordis
Nuestra explicación, por una parte, asume que los participantes tienden a perfeccionar el condicional que aparece en la regla de la tarea de selección y, por otra, recurre al marco de la lógica temporal, del que toma una semántica basada en instantes en el tiempo y el operador unario Next.
lf he does, your prenuptial stops him from getting anythingscielo-abstract scielo-abstract
El sistema de lógica de Aristóteles fue responsable de la introducción del silogismo hipotético, de la lógica modal temporal, de la lógica inductiva, así como de términos influyentes tales como términos, predicables, silogismos y proposiciones.
True, as a by- product, I' il become mega- rich and be forced to have constant sex with that JJones woman, but that' s a sacrifice I' m prepared to makeWikiMatrix WikiMatrix
391 sinne gevind in 12 ms. Hulle kom uit baie bronne en word nie nagegaan nie.