programa de demostración
1Demostración automática de teoremas — Saltar a navegación, búsqueda Para otros usos de este término, véase Demostración. La demostración automática de teoremas (de siglas ATP, por el término en inglés …
2Programa Aurora — Saltar a navegación, búsqueda El Programa Aurora es un programa espacial a largo plazo promovido por la Agencia Espacial Europea (ESA) para la exploración en profundidad del Sistema Solar, sobre todo la Luna, y Marte, además de la búsqueda de… …
3Programa Weasel — Saltar a navegación, búsqueda El programa Weasel (en español, Comadreja ) es una simulación desarrollada por el etólogo británico Richard Dawkins con el objetivo de demostrar el poder relativo de la selección cumulativa en la evolución de… …
4Programa Angkasawan — Saltar a navegación, búsqueda El programa Angkasawan es una iniciativa del gobierno de Malasia para enviar un malasio a la Estación Espacial internacional abordo de la Soyuz TMA 11. Angkasawan es el término malasio para astronauta . Este programa …
5demostración — {{＃}}{{LM D11855}}{{〓}} {{SynD12125}} {{［}}demostración{{］}} ‹de·mos·tra·ción› {{《}}▍ s.f.{{》}} {{＜}}1{{＞}} Lo que hace evidente de manera definitiva la verdad de algo: • La demostración de que te envié el paquete en esa fecha es el resguardo de… …
Diccionario de uso del español actual con sinónimos y antónimos
6Programa Joint Strike Fighter — X 35A JSF (ganador del concurso) realizando pruebas de vuelo en la Base Aérea Edwards en California …
7Programa de presentación — Un programa de la presentación es un paquete de software usado para dar presentaciones, normalmente en la forma de una demostración de diapositiva . Incluyen típicamente tres funciones importantes, el sistema de la demostración de diapositiva… …
8Teorema del programa estructurado — El teorema del programa estructurado es un resultado en la teoría de lenguajes de programación. Establece que toda función computable puede ser implementada en un lenguaje de programación que combine sólo tres estructuras lógicas. Esas tres… …
9El hormiguero (programa de televisión) — Saltar a navegación, búsqueda Para El Hormiguero, véase Hormiguero (desambiguación). El Hormiguero Pablo Motos con las hormigas Trancas y Barrancas …
10Misiones del programa Constelación — Anexo:Misiones del programa Constelación Saltar a navegación, búsqueda Renderizado artístico del acoplamiento del Orion a la ISS En Octubre de 2006 la NASA hizo público un borrador del programa de todas las misiones tripuladas de la NASA… …
