Άλαν Τούρινγκ oor Spaans

Άλαν Τούρινγκ

Vertalings in die woordeboek Grieks - Spaans

Alan Mathison Turing

HeiNER - the Heidelberg Named Entity Resource

Geskatte vertalings

Vertoon algoritmies gegenereerde vertalings

voorbeelde

wedstryd
woorde
Advanced filtering
Τώρα, εκατό χρόνια αργότερα, έρχεται αυτός ο τύπος, ο Άλαν Τούρινγκ και το 1936 εφευρίσκει ξανά τον υπολογιστή.
Ahora, cien años después, llega este chico, Alan Turing, y en 1936 inventa el computador nuevamente.ted2019 ted2019
Το 1950, ο Άλαν Τούρινγκ πρότεινε τη "μηχανική μάθηση", η οποία θα ήταν παράλληλη με τις αρχές της εξέλιξης.
En 1950, Alan Turing propuso una "máquina de aprendizaje" que sería paralela a los principios de la evolución.WikiMatrix WikiMatrix
Ο Άλαν Τούρινγκ, πρωτοπόρος της τεχνητής νοημοσύνης μίλησε για τη δημιουργία της ψευδαίσθησης ότι η μηχανή μπορεί να σκεφτεί.
Alan Turing, un pionero de la inteligencia artificial, habló sobre crear la ilusión de que una máquina pudiese pensar.ted2019 ted2019
Τώρα, ο Έντσγκερ Ντάικστρα, όταν το έγραψε αυτό, το εννοούσε ως κριτική για τους πρωτοπόρους της επιστήμης υπολογιστών, όπως ο Άλαν Τούρινγκ.
Cuando Edsger Dijkstra escribió esto lo hizo como una crítica a los pioneros de la informática como Alan Turing.ted2019 ted2019
Επίσης, πιστεύω πως ο Άλαν Τούρινγκ το αντιλήφθηκε αυτό και όταν επινόησε αυτό το τεστ το 1950, το έκανε ως φιλοσοφική πρόκληση.
Creo que Alan Turing también entendió esto, y que cuando ideó su prueba allá por los años 50, lo pensó como una provocación filosófica.ted2019 ted2019
Το τεστ Τούρινγκ προτάθηκε αρχικά από τον Άλαν Τούρινγκ το 1950, με σκοπό να απαντήσει στο αν οι υπολογισές μπορούν να σκεφτούν.
Alan Turing fue el primero en proponer este test en 1950, para responder la pregunta: ¿Pueden pensar las máquinas?ted2019 ted2019
Το αποτέλεσμα αυτό προκύπτει από τις εργασίες των Αλόνζο Τσερτς, Κουρτ Γκέντελ και Άλαν Τούρινγκ στη δεκαετία του 1930 (βλ. πρόβλημα τερματισμού και θεώρημα Ράις).
Este resultado se remonta a los trabajos de Alonzo Church, Kurt Gödel y Alan Turing de 1930 (Problema de la parada y teorema de Rice).WikiMatrix WikiMatrix
Τα πιο κλασικά επιτεύγματά της είναι η αναποφασιστικότητα του Entscheidungsproblem (decision problem ή πρόβλημα αποφάσεων) από τον Άλαν Τούρινγκ και η παρουσίαση της θέσης Church-Turing.
Sus logros más clásicos son la indecidibilidad del Entscheidungsproblem de Alan Turing y su presentación de la tesis de Church-Turing.WikiMatrix WikiMatrix
Ο Άλαν Τούρινγκ το 1940 χρησιμοποίησε παρόμοιες ιδέες σαν κομμάτι μιας στατιστικής ανάλυσης για το “σπάσιμο” των αλγορίθμων κρυπτογράφησης των Γερμανών κατά τον Δεύτερο Παγκόσμιο πόλεμο.
Alan Turing en 1940 usó ideas similares como parte del análisis estadístico del rompimiento durante la Segunda Guerra Mundial, del Chip Alemán Enigmático.WikiMatrix WikiMatrix
Αυτή η θεωρία είναι η βάση του σύγχρονου λογισμικού και προτάθηκε για πρώτη φορά από τον Άλαν Τούρινγκ το 1935 στο δοκίμιο του Υπολογίσιμοι αριθμοί με μια εφαρμογή στο Entscheidungsproblem.
La teoría que forma la base de la mayor parte del software moderno fue propuesta por Alan Turing en su ensayo de 1936, «Los números computables», con una aplicación al problema de decisión.WikiMatrix WikiMatrix
Ο Άλαν Τούρινγκ πίστευε ότι, εάν ένας υπολογιστής ήταν ικανός να έχει μια γραπτή επικοινωνία με έναν άνθρωπο σε τέτοιο επίπεδο που ο άνθρωπος δε θα μπορούσε να πει αν συνομιλεί με υπολογιστή ή άνθρωπο, τότε μπορεί να υποστηριχθεί ότι ο υπολογιστής έχει ευφυΐα.
Alan Turing creía que si una máquina podía mantener una conversación basada en un material escrito con un humano, con un dominio tal que el humano no pudiera discernir si estaba hablando con una máquina o un humano, se podría decir entonces que la máquina tiene inteligencia.ted2019 ted2019
Ενώ η επίσημοι αλγόριθμοι υπάρχουν για χιλιετίες (ο Ευκλείδειος αλγόριθμος για τον καθορισμό του μέγιστου κοινού διαιρέτη δύο αριθμών εξακολουθεί να χρησιμοποιείται στους υπολογισμούς), δεν ήταν μέχρι το 1936 που οι Άλαν Τούρινγκ, Αλόνζο Τσερτς και Στίβεν Κλην επισημοποίησαν τον ορισμό ενός αλγορίθμου σε σχέση με τους υπολογισμούς.
Mientras que los algoritmos formales han existido durante milenios (en computación todavía se usa el algoritmo de Euclides para determinar el máximo común divisor de dos números), no fue sino hasta 1936 que Alan Turing, Alonzo Church y Stephen Kleene formalizaron la definición de un algoritmo en términos de computación.WikiMatrix WikiMatrix
12 sinne gevind in 4 ms. Hulle kom uit baie bronne en word nie nagegaan nie.