TAD POLINOMIOS
AXIOMAS
FUNCIONES
AXIOMAS GRADO Y SUMA
SOBREGARGA DE OPERADORES
TAD LÓGICO
DEFINICIÓN
FUNCIONES
AXIOMAS
SOBRECARGA DE OPERADORES
TAD DE LOS ENTEROS
DEFINICIÓN
FUNCIONES
División
Grado
Derivada
Integral
Coeficiente
Trabajan igual para PCR´s
Sin embargo algunas pueden ser redefinidas
Un PCR se obtiene aplicando funciones ATS y ordenamiento
Es correcto el grado de un polinomio
Suma entre polinomios adicionan términos
Grado de cero error
El axioma de suma produce un PCR
Es puramente funcional
Residuo p % q
Grado G(p)
División p / q
Derivada D(p)
Multiplicación p * q
Integral I(p)
Resta p - q
Suma p + q
Están constituidos por dos valores mutuamente
Tiene valores verdadero y falso
Se definen varias operaciones entre valores lógicos
Lógicas básicas
Generadora
Negación
Conjunción
Disyunción
Implicación
Equivalencia
Negación
Disyunción
Implicación
Equivalencia
Conjunción
Negación ¬ L1
Conjunción L1 & L2
Disyunción L1 || L
Implicación L1 -> L2
Equivalencia L1 <-> L2
Parte decimal nula
Negativos y positivos, o cero
Generadoras
Aritméticas básicas
Simplificación
Comparación
Otras funciones