- demostrador
- demostrador, ra (Del lat. demonstrātor, -ōris). adj. Que demuestra. U. t. c. s.)
Diccionario de la lengua española. 2015.
demostrador
Mira otros diccionarios:
demostrador — |ô| adj. s. m. Que ou aquele que demonstra. = DEMONSTRADOR ‣ Etimologia: latim demonstrator, oris … Dicionário da Língua Portuguesa
demostrador — ► adjetivo/ sustantivo Que demuestra: ■ con un demostrador gesto de rechazo les hizo saber su opinión. * * * demostrador, a adj. y n. Que demuestra. * * * demostrador, ra. (Del lat. demonstrātor, ōris). adj. Que demuestra. U. t. c. s … Enciclopedia Universal
Demostrador de teoremas Isabelle — Saltar a navegación, búsqueda El demostrador interactivo de teoremas Isabelle es una herramienta de ayuda a la demostración de teoremas escrita en el lenguaje de programación ML y desarrollada por Larry Paulson de la Universidad de Cambridge y… … Wikipedia Español
Demostrador de teoremas Isabelle — El demostrador interactivo de teoremas Isabelle es una herramienta, de ayuda a la demostración de teoremas escrita en el lenguaje de programación ML y desarrollada por Larry Paulson de la Universidad de Cambridge y Tobias Nipkow del Technische… … Enciclopedia Universal
demostrador — de|mos|tra|dor Mot Agut Adjectiu variable … Diccionari Català-Català
ACL2 — es, a la vez, un lenguaje de programación, una lógica matemática para especificar y demostrar formalmente propiedades de los programas escritos en dicho lenguaje, y un demostrador automático de teoremas que asiste al usuario en dicha tarea. ACL2… … Wikipedia Español
Demostració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 … Wikipedia Español
Aviones X — Bell X 1. Los aviones X (en inglés: X planes) son una serie de aeronaves experimentales estadounidenses (y algunos cohetes) usados para probar nuevas tecnologías y normalmente mantenidos en estricto secreto durante su desarrollo. El primero de… … Wikipedia Español
Avión furtivo — Avión de ataque furtivo F 117 Nighthawk … Wikipedia Español
IP (clase de complejidad) — Este artículo trata sobre el concepto en complejidad computacional. Para otros usos de este término, véase IP. Un sistema de demostración interactivo (IP) es un concepto en teoría de la complejidad computacional que modela cómputos como el… … Wikipedia Español
