programación inductiva oor Engels
programación inductiva
Vertalings in die woordeboek Spaans - Engels
inductive programming
es
paradigma de programación
en
programming paradigm
Geskatte vertalings
Vertoon algoritmies gegenereerde vertalings
voorbeelde
Advanced filtering
Voorbeelde moet herlaai word.
Tercero, la programación lógica inductiva produce hipótesis que son (relativamente) fáciles de entender por humanos.
How is ' not trying ' done?Literature Literature
Uso didáctico de estrategias inductivas en un curso introductorio de programación estructurada
You...You had a row with a machine?!scielo-title scielo-title
No debe haber ninguna carga inductiva o capacitiva en los pines de las señales de programación.
I' m sorry, sirCommon crawl Common crawl
Los lenguajes basados en reglas han sido también la base para la programación inductiva y para la representación de modelos complejos, pero a su vez, comprensibles, resultantes de la extracción de conocimiento a partir de datos (minería de datos).
All collateralised operations involving the foreign reserve assets of the ECB comprising repurchase agreements, reverse repurchase agreements, buy/sell-back agreements and sell/buy-back agreements are to be documented under the following standard agreements, in such form as may be approved or amended by the ECB from time to time: for counterparties organised or incorporated under French law, theParaCrawl Corpus ParaCrawl Corpus
Mi hipótesis inductiva es que eres capaz de traducir esta descripcion de alto nivel en un lenguaje de programacion, de hecho, recomiendo a todos los que esten viendo estas clases hacer la traducción de todos
He' s not thereQED QED
Actualmente estamos investigando la combinación de verificación y técnicas de aprendizaje simbólico (más específicamente model checking y programación lógica inductiva) para evolucionar, elaborar y fijar las especificaciones de requerimientos.
You' resuch a lovely audience, we' d like to take you home with usParaCrawl Corpus ParaCrawl Corpus
En este trabajo se ha indagado, mediante preguntas de respuestas abiertas, acerca de la predisposición hacia estrategias de aprendizaje inductivas de un grupo de estudiantes de un curso de Bachillerato de Informática, en la asignatura Programación I.
Rory' s been staying with usscielo-abstract scielo-abstract
Dos salidas disponibles para el procesamiento de la señal: OUT1 = Señal analógica de temperatura y OUT2 = Señal analógica de caudal Gracias a su conexión con junta plana G1/2, conector M12 y la flexible programación mediante botones, el caudalímetro magneto-inductivo SM12 se adapta a diferentes situaciones y condiciones.
I think maybe he went across the street... or somewhere else or somethin`ParaCrawl Corpus ParaCrawl Corpus
Dos salidas disponibles para el procesamiento de la señal: OUT1 = Control de caudal (binario), contador volumétrico de caudal (impulsos), contador de preselección (binario) y OUT2 = Control de caudal o de temperatura (analógico o binario) Gracias a su conexión con junta plana G2, el conector M12 y la flexible programación mediante botones, el caudalímetro magneto-inductivo SM2000 se adapta a diferentes situaciones y condiciones.
You were a giantParaCrawl Corpus ParaCrawl Corpus
Dos salidas disponibles para el procesamiento de la señal: OUT1 = Señal analógica de temperatura y OUT2 = Señal analógica de caudal Gracias a su conexión con junta plana G3 /4, el conector M12 y la flexible programación mediante botones, el caudalímetro magneto-inductivo SM7004 se adapta a diferentes situaciones y condiciones. El caudalímetro magneto-inductivo SM7004 se utiliza para medir el flujo de medios conductores, como por ejemplo, refrigerantes en sistemas de soldadura.
Really now, be careful!ParaCrawl Corpus ParaCrawl Corpus
Desarrollamos todas nuestras formalizaciones en el Cálculo de Construcciones Inductivas lenguaje formal que combina una lógica de orden superior y un lenguaje de programación funcional tipado utilizando el asistente de pruebas Coq.
I liked it a lotParaCrawl Corpus ParaCrawl Corpus
Las niñas y los niños conocían las bases de la programación, obtuvieron un resultado (razonamiento deductivo) y compartieron sus experiencias para llegar a una mejora en sus procesos (razonamiento inductivo).
Is leave granted to continue?ParaCrawl Corpus ParaCrawl Corpus
Es un ejercicio inductivo de definición con un recorte parcial y específico basado en el abordaje de los artistas sobre su trabajo con la programación.
All right, come onParaCrawl Corpus ParaCrawl Corpus
Transición de Programación: Situado en cavidad de la cabeza, el transmisor de programación puede proyectar todo el sistema de memoria/personalidad de Ultron de 3,2 terabytes en algunos sistemas informáticos por medio de un rayo magnética inductivo colimado de alta tasa de bits.
Richard and I can take care of ourselvesParaCrawl Corpus ParaCrawl Corpus
14 sinne gevind in 6 ms. Hulle kom uit baie bronne en word nie nagegaan nie.