Qué (quién) es deducción - definición
Deducción del módulo de la suma
Este artículo presenta una deducción para la expresión del módulo resultante de dos vectores (véase vector (física) y módulo (vector)) de un espacio vectorial (sobre los números reales).
Demostración automática de teoremas
La demostración automática de teoremas (de siglas ATP, por el término en inglés: Automated theorem proving), que también puede ser denominada deducción automatizada, es actualmente el subcampo más desarrollado del razonamiento automático, y se encarga de la demostración de teoremas matemáticos mediante programas de ordenador.
deducción
Sinónimos
sustantivo
1) suposición: suposición, cálculo, presunción, conjetura, hipótesis, supuesto, sospecha, tesis, creencia, teoría, predicción, razón
Antónimos
sustantivo
Ejemplos de uso de deducción
1. La deducción por adquisición de vivienda habitual con préstamo hipotecario, la reducción por aportaciones a planes de pensiones y la deducción por donativos no impiden recibir el borrador.
2. Al establecerse los efectos de esta deducción a partir del
3. Abril de 2008 - Deducción de 400 euros en el IRPF.
4. Asimismo, no impide recibir el borrador la deducción por adquisción de vivienda habitual con préstamo hipotecario, la reducción por aportaciones a planes de pensiones y la deducción por donativos.
5. ANDALUCÍA - IMPUESTOS / VIVIENDA / HOGAR - Deducción en documentos notariales para adquisiciones de vivienda.