lógica temporal oor Grieks
lógica temporal
Vertalings in die woordeboek Spaans - Grieks
Χρονική λογική
Geskatte vertalings
Vertoon algoritmies gegenereerde vertalings
voorbeelde
Advanced filtering
Voorbeelde moet herlaai word.
Predominan imágenes absurdas que rompen con la lógica temporal.
Ίσως αργότεραWikiMatrix WikiMatrix
Las lógicas temporales son interpretadas tradicionalmente en términos de estructuras de Kripke.
Παροχές βάσει της νομοθεσίας του γενικού καθεστώτος αναπηρίας, του ειδικού καθεστώτος αναπηρίας εργατών ορυχείων και του ειδικού καθεστώτος αναπηρίας ναυτικών εμπορικής ναυτιλίαςWikiMatrix WikiMatrix
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.
ΠΩΣ ΝΑ ΠΑΡΕΤΕ ΤΟ REPLAGALWikiMatrix WikiMatrix
Luego dimos el siguiente paso lógico: locura temporal.
Στον τομέα της κατάρτισης, η Γαλλία συνέβαλε σε ένα σεμινάριο με θέμα τα μέτρα ασφαλείας των αποθεμάτων όπλων και πυρομαχικών, το οποίο διοργάνωσε στην Αιθιοπία, από τις # Ιανουαρίου μέχρι τις # Φεβρουαρίου #, μια πολυεθνική ομάδα MSAG υπό την αιγίδα του Ηνωμένου ΒασιλείουOpenSubtitles2018.v3 OpenSubtitles2018.v3
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.
Το μέλλον μου;- ΚάθισεWikiMatrix WikiMatrix
Como resultado, los lógicos filosóficos han contribuido al desarrollo de lógica no convencional (por ejemplo lógicas libres, lógica temporal, etc) al igual que varias extensiones de la lógica clásica (por ejemplo, la lógica modal) y la semántica no convencional para tales lógicas (por ejemplo, el supervaluacionismo de Kripke en la semántica de la lógica).
Ξεκούραστος, σκέφτομαι καλύτεραWikiMatrix WikiMatrix
Los operadores modales usan el Linear Temporal Logic y Computation Tree Logic son definidos como sigue.
Έκανα λάθοςWikiMatrix WikiMatrix
El tenor de las versiones alemana e inglesa (15) del artículo 263 TFUE, párrafo cuarto, describen una consecuencia lógica o temporal: El acto da lugar a medidas de ejecución (posteriores).
έτη με την επιφύλαξη των πιστώσεων του προϋπολογισμούEurLex-2 EurLex-2
Hay dos momentos en el tiempo que constituyen los «límites temporales» lógicos: por una parte, esto difícilmente podría suceder antes de la publicación de la convocatoria de la oposición.
Ανεπιθύμητη αντίδραση Λοιμώξεις και παρασιτώσειςEurlex2018q4 Eurlex2018q4
El programa falla claramente a ese respecto pues no hay ninguna razón lógica para que una medida temporal dé lugar a una solución permanente.
Τι έγινε με την οικογένειά σου; – Δεν ξέρωnot-set not-set
Según las autoridades francesas, esta cláusula adicional es la consecuencia lógica de la prórroga temporal de la explotación del aeropuerto de la CCI más allá del convenio de concesión (44).
Είσαι τρελήEurLex-2 EurLex-2
El verbo hebreo que se traduce “dio” está en el tiempo imperfecto y se asocia con una forma especial de la conjunción “y” [hebreo: waw], lo cual indica una sucesión temporal o lógica.
Αυτό είναι αλήθεια, δεν υπάρχει άλλοςjw2019 jw2019
—La pregunta era en realidad temporal y personal; no la pregunta lógica que queríamos hacer.
Η εργαστηριακή αναφορά μας, λέει ότι καθεμία από εκείνες τις πέτρες είναι ένα κυβικό ζιρκόνιοLiterature Literature
A efectos de la letra m), la información se presentará en una secuencia temporal lógica, que siga la cronología del paciente: curso clínico, medidas terapéuticas, resultado y demás información obtenida; en esta exposición se resumirá asimismo toda conclusión pertinente a la que se llegue en la autopsia o post mórtem.
Είναι έξω, στο αεράκι, στον ανοιχτό ουρανόEurLex-2 EurLex-2
Lo ideal sería que se estableciera un sistema y una lógica europea de asilo y protección temporal para garantizar la uniformidad de las condiciones de admisión al estatuto de protección.
Οι αρχηγοί γεννιούνταιnot-set not-set
40 El citado Gobierno alega que esta ventaja se inscribía dentro de una lógica de continuidad y prolongación temporal del precedente contenido en la Ley no 218/90, en la que se habían establecido mayores ventajas en términos sustancialmente similares.
Είχε κάποιαEurLex-2 EurLex-2
La masiva afluencia de refugiados hacia la UE no es un fenómeno temporal, sino la consecuencia lógica de la miseria económica, de las frustraciones sociales y de la represión política en un mundo desigual.
Ωστόσο, υπάρχουν και παραδείγματα ορθών πρακτικών, αφού οι παράκτιες χώρες της Βαλτικής εφαρμόζουν ήδη αυτό το σύστημα επιβολής τελών από το 1998.not-set not-set
5.8 Dado que corresponde al Consejo, mediante un procedimiento legislativo especial, adoptar el Reglamento de suspensión temporal aquí relevante, parece lógico que sea también éste quien adopte dicha decisión definitiva, limitando así la competencia delegada de la Comisión a la posible adopción de los actos relativos a la mencionada revocación temporal por un plazo máximo de 12 meses.
Η χρυσή καμπάνα η Πιστή Σύντομα δυνατά θα ακουστείEurLex-2 EurLex-2
considera que en el marco temporal de la perspectiva financiera 2007-2013 resulta lógica una fase de siete años, teniendo en cuenta los retos estructurales que se plantean.
Ο τύπος ισχύει για τα σφάγια βάρους μεταξύ # και # χιλιογράμμωνEurLex-2 EurLex-2
No parece lógico que una Directiva sobre cesión de trabajadores por empresas de trabajo temporal no contenga la definición de lo que son estos trabajadores.
Γεια σας αγαπημένα μουnot-set not-set
No obstante, es lógico que las autoridades inviertan más esfuerzos en evitar las consecuencias irreversibles que en prevenir molestias temporales.
Καληνύχτα, Λόϊς, και σ ' ευχαριστώEurlex2019 Eurlex2019
Justificación Por lo que se refiere a la introducción de los actos delegados, es lógico sostener que debe aplicarse a la retirada temporal de preferencias a uno o más países el mismo procedimiento que a la adopción de la lista original.
Εάν ο ANC μειωθεί σε < #, # x #/l ή ο αριθμός αιμοπεταλίων είναι < # x #/l κατά τη διάρκεια οποιουδήποτε κύκλου, ο επόμενος κύκλος πρέπει να μειωθεί κατά ένα δοσολογικό επίπεδο (βλ. παράγραφοnot-set not-set
88 sinne gevind in 13 ms. Hulle kom uit baie bronne en word nie nagegaan nie.