Please enable JavaScript.
Coggle requires JavaScript to display documents.
TAD LOGICOS Y TAD ENTEROS. page_6 - Coggle Diagram
TAD LOGICOS Y TAD ENTEROS.
TAD LOGICO: L
TAD Lógico o Booleano está constituido por dos valores.
Se consideran como operaciones básicas Negación (Not), Conjunción (And), Disyunción (Or),.
Funciones
Las funciones presentadas para polinomios que no son necesariamente PCRs.
Un PCR se puede obtener al aplicar las funciones ATS y Ordenamiento.
Sobrecarga de operadores
Funciones TAD enteros
Función de simplificación.
Funciones de comparación.
Funciones aritméticas básicas.
Entre otras funciones.
Funciones generales.
Axiomas TAD lógico
Implicacion(x,y) ::= If x Then y Else Verdadero
Conjuncion(x,y) ::= If x Then y Else Falso
Equivalencia(x,y) ::= If x Then y Else Negacion(y)
Negacion(x) ::= If x Then Falso Else Verdadero
Disyuncion(x,y) ::= If x Then Verdadero Else y
TAD DE LOS ENTEROS: E
Pueden ser positivos, negativos o el cero.
Los números Enteros son aquéllos cuya parte decimal es nula.
Funciones
Operación Not :check:
Operación And :check:
Funciones lógicas básicas.
Operación Or :check:
Función generadora.
Axiomas
Grado.
Derivada.
Residuo.
Remover.
División.
