lógica de segundo orden oor Grieks

lógica de segundo orden

Vertalings in die woordeboek Spaans - Grieks

Λογική δευτέρου βαθμού

es
extensión de una lógica de primer orden en la que se añaden variables para propiedades, funciones y relaciones, y cuantificadores
wikidata

Geskatte vertalings

Vertoon algoritmies gegenereerde vertalings

voorbeelde

wedstryd
woorde
Advanced filtering
Voorbeelde moet herlaai word.
La lógica de segundo orden tiene un poder expresivo mayor que la lógica de primer orden.
Η σύντμηση της προθεσμίας που προβλέπεται στο πρώτο εδάφιο είναι δυνατή μόνο εφόσον η προκήρυξη προκαταρκτικής ενημέρωσης πληροί του ακόλουθους όρουςWikiMatrix WikiMatrix
De la misma manera en la lógica de primer orden, la lógica de segundo orden puede contener signos no-lógicos para construir un lenguaje de segundo orden específico.
Σωστά. ́Οπως και να' χει, χαίρω πολύWikiMatrix WikiMatrix
Parece más lógico, pues, invertir el orden del examen de los motivos de casación segundo y tercero. (41)
Εσείς παιδιά τσεκάρετε κάτωeurlex-diff-2018-06-20 eurlex-diff-2018-06-20
III. Analicemos, pues, los dos puntos en que acabamos de desdoblar la cuestión prejudicial, comenzando, por razones de orden lógico, por el segundo, es decir, el de saber en qué medida las normas de las dos organizaciones comunes de mercados invocadas por el Juez nacional se oponen a un sistema del tipo del que ha sido establecido en los Países Bajos.
Ποιός σας προσκάλεσε στο πλοίο μου; ’ ντε, ξεκουμπιστείτε!EurLex-2 EurLex-2
Por razones de orden lógico y tras algunas observaciones preliminares, comenzaré el análisis con la segunda cuestión prejudicial.
Τον επανατοποθέτησανEurLex-2 EurLex-2
En primer lugar, examinaré el primero de los tres submotivos enumerados más arriba; luego, siguiendo un orden de prioridad lógico, el tercero, relativo a la naturaleza del riesgo de confusión, y, por último, el segundo.
Και να παίρνει φάρμακα, δεν νομίζω ότι ο Όλιβερ θα σκότωνε ποτέ κάποιονeurlex-diff-2018-06-20 eurlex-diff-2018-06-20
El Gobierno italiano ha considerado que debe modificarse el orden lógico de las cuestiones prejudiciales planteadas y, a su juicio, la segunda cuestión es la fundamental en el presente asunto.
έχοντας υπόψη τα συμπεράσματα της Προεδρίας του Ευρωπαϊκού Συμβουλίου της Βαρκελώνης της #ης και #ης ΜαρτίουEurLex-2 EurLex-2
He decidido responder a las cuestiones prejudiciales en orden inverso porque me parece más lógico en este caso discutir primero el principio de equivalencia, aunque sea la segunda cuestión planteada por el órgano jurisdiccional nacional.
έχοντας υπόψη τα συμπεράσματα της Προεδρίας του Ευρωπαϊκού Συμβουλίου της Βαρκελώνης της #ης και #ης ΜαρτίουEurLex-2 EurLex-2
A continuación abordaré los motivos en el orden que me parece más adecuado para desarrollar de un modo lógico mis argumentos: en particular, el examen del tercer motivo debe preceder al del segundo.
Σκοτ με λένε!EurLex-2 EurLex-2
Por último, me parece más lógico invertir el orden de la respuesta prejudicial, pues la primera pregunta (sobre los condicionamientos al importe de la multa) presupone una respuesta afirmativa a la segunda (relativa a la potestad del Estado miembro para fijar esta sanción).
Εισαι λαμπερη οπως παντα, Violeteurlex-diff-2018-06-20 eurlex-diff-2018-06-20
41 De este modo, y a fin de respetar la lógica y el orden establecidos por el legislador de la Unión en la redacción del artículo 3 de la Directiva 2008/95, es preciso invertir el orden del examen de las cuestiones prejudiciales y proceder en primer término al análisis de las cuestiones prejudiciales segunda y tercera, relativas a la interpretación del artículo 3, apartado 1, letra e), de la Directiva 2008/95, antes de examinar la primera cuestión prejudicial, relativa al artículo 3, apartado 3, de esta Directiva.
Αγαπητέ Γουόλτερ, γαμήλια φωτογραφία από ' μένα και την καινούργια σου μαμάEurLex-2 EurLex-2
La Comisión había modificado el orden literal y lógico del apartado 1 del artículo 93 que establece, en primer lugar, que «La Comisión examinará permanentemente, junto con los Estados miembros, los regímenes de ayudas existentes en dichos Estados» y, en segundo lugar, que «Propondrá a éstos las medidas apropiadas que exija el desarrollo progresivo o el funcionamiento del mercado común.».
Εσύ είσαι νέαEurLex-2 EurLex-2
Por razones de orden lógico-jurídico invertiré el examen de los dos primeros motivos, puesto que el reconocimiento de la condición de actor privilegiado en el sentido del artículo 230 CE, párrafo segundo, o de destinataria conforme a su párrafo cuarto, privaría de objeto a la denuncia de haber conculcado los artículos 113 y 114, en la medida en que se refiere, principalmente, a la afectación directa de la recurrente por la Decisión cuya validez se cuestiona.
Επειδή δεν μπορώ να είμαι αυτό που θέλειEurLex-2 EurLex-2
13 sinne gevind in 17 ms. Hulle kom uit baie bronne en word nie nagegaan nie.