Está en la página 1de 6

UNIVERSIDAD 

NACIONAL EXPERIMENTAL DE GUAYANA
PROYECTO DE CARRERA: INGENIERÍA EN INFORMÁTICA

Tema 6:
TAD – Conjuntos

Profesor: José Luis Salazar


Email: jlsalazarg@gmail.com

Estructura de Datos Página 1


TAD Conjunto
Conjunto
En matemáticas, un conjunto es una agrupación de
objetos considerada como un objeto en sí. Los objetos
del conjunto pueden ser cualquier cosa: personas,
números, colores, letras, figuras, etc. Cada uno de los
objetos en la colección es un elemento o miembro del
conjunto. Por ejemplo, el conjunto de los colores del
arcoiris es:

AI = {Rojo, Naranja, Amarillo, Verde, Azul, Añil, Violeta}

Un conjunto suele definirse mediante una propiedad que


todos sus elementos poseen. Por ejemplo, para los
números naturales, si se considera la propiedad de ser
un número primo, el conjunto de los números primos es:
P = {2, 3, 5, 7, 11, 13, ...}

Un conjunto queda definido únicamente por sus


miembros y por nada más.

Los conjuntos pueden ser finitos o infinitos. El conjunto


de los números naturales es infinito, pero el conjunto de
los planetas en el Sistema Solar es finito (tiene ocho
elementos). Además, los conjuntos pueden combinarse
mediante operaciones, de manera similar a las
operaciones con números.

Estructura de Datos Página 2


TAD Conjunto
Operaciones con conjuntos
Existen varias operaciones básicas que pueden realizarse para, partiendo de
ciertos conjuntos dados, obtener nuevos conjuntos:
• Unión: (símbolo ∪) La unión de dos conjuntos A y B, que se representa como A ∪ B, es el conjunto de todos los
elementos que pertenecen al menos a uno de los conjuntos A y B.

• Intersección: (símbolo ∩) La intersección de dos conjuntos A y B es el conjunto A ∩ B de los elementos comunes a A y


B.

• Diferencia: (símbolo \) La diferencia del conjunto A con B es el conjunto A \ B que resulta de eliminar de A cualquier
elemento que esté en B.

• Complemento: El complemento de un conjunto A es el conjunto A∁ que contiene todos los elementos que no
pertenecen a A, respecto a un conjunto U que lo contiene.

• Diferencia simétrica: (símbolo ∆) La diferencia simétrica de dos conjuntos A y B es el conjunto A ∆ B con todos los
elementos que pertenecen, o bien a A, o bien a B, pero no a ambos a la vez.

• Producto cartesiano: (símbolo ×) El producto cartesiano de dos conjuntos A y B es el conjunto A × B de todos los pares
ordenados (a, b) formados con un primer elemento a perteneciente a A, y un segundo elemento b perteneciente a B.

Unión Intersección Diferencia Complemento Diferencia Simétrica

Estructura de Datos Página 3


TAD Conjunto
Especificación Informal del TAD Conjunto
TAD Conjunto (colección de elementos sin duplicidades, pueden estar en cualquier orden, se usa para
representar los conjuntos matemáticos con sus operaciones)

Operaciones: Se pueden especificar más operaciones


ConjuntoVacio. sobre conjuntos, todo dependerá de la
Crea un conjunto sin elementos. aplicación que se quiera dar al TAD.

Añadir(Conjunto, elemento)
Comprueba si el elemento forma parte del conjunto; en caso negativo, es añadido. La operación
modifica al conjunto.

Retirar(Conjunto, elemento)
Si el elemento pertenece al conjunto, es eliminado de éste. La operación modifica al conjunto.

Pertenece(Conjunto, elemento)
Verifica si el elemento forma parte del conjunto, en cuyo caso devuelve VERDADERO.

EsVacio(Conjunto)
Verifica si el conjunto no tiene elementos, en cuyo caso devuelve VERDADERO.

Cardinal(Conjunto)
Devuelve el número de elementos del conjunto.

Union(Conjunto, Conjunto)
Realiza la operación matemática de la unión de dos conjuntos. La operación devuelve un conjunto
con los elementos comunes y no comunes a los dos conjuntos.

Estructura de Datos Página 4


TAD Conjunto
Especificación Formal del TAD Conjunto
TAD Conjunto (colección de elementos sin duplicidades, pueden estar en cualquier orden, se usa para
representar los conjuntos matemáticos con sus operaciones)
Sintaxis:
*ConjuntoVacio -> Conjunto
*Añadir(Conjunto, Elemento) -> Conjunto
Retirar(Conjunto, Elemento) -> Conjunto
Pertenece(Conjunto, Elemento) -> boolean
Cardinal(Conjunto) -> integer
Union(Conjunto, Conjunto) -> Conjunto

Semántica: ∀e1, e2 ∈Elemento y ∀C, D ∈Conjunto


Añadir(Añadir(C,e1), e1) => Añadir(C, e1)
Añadir(Añadir(C,e1), e2) => Añadir(Añadir(C, e2), e1)
Retirar(ConjuntoVacio, e1) => ConjuntoVacio
Retirar(Añadir(C, e1), e2) => Si e1 = e2 entonces Retirar(C, e2)
Sino Añadir(Retirar(C, e2), e1)
Pertence(ConjuntoVacio, e1) => falso
Pertenece(Añadir(C, e2, e1) => Si e1 = e2 entonces cierto
Sino Pertenece(C, e1)
EsVacio(ConjuntoVacio) => cierto
EsVacio(Añadir(C, e1) => falso
Cardinal(ConjuntoVacio) => Cero
Cardinal(Añadir(C, e1) => Si Pertenece(C, e1) entonces Cardinal(C)
Sino 1 + Cardinal(C)
Union(ConjuntoVacio, ConjuntoVacio) => ConjuntoVacio
Union(ConjuntoVacio, Añadir(C, e1) => Añadir(C, e1)
Union(Añadir(C, e1), D) => Añadir(Union(C, D), e1)

Estructura de Datos Página 5


Tipos Abstractos de Datos
Estudios de Casos:
De los siguientes TAD:

-TAD Conjunto
-TAD Lista
-TAD Cola Seleccionar Obligatoriamente tres (3) TAD,
-TAD Pila cualesquiera.
-TAD Grafos

-TAD Árbol
Seleccionar Obligatoriamente uno (1) TAD,
-TAD Hashing
cualesquiera.
-TAD Matriz Dispersión

Seleccionar cuatro (4) TAD e indicar, describir y/o implementar los objetos reales que se
puedan modelar con dichos TAD.
Nota: Si existe la posibilidad que se pueda utilizar varios TAD en el mismo ejemplo, se
considerara Estudio de caso cumplido.

Grupos Máximo 5 estudiantes.


Valor: 18%
Fechas de Entrega/Exposiciones: del 28 al 30 de Julio 2014

Estructura de Datos Página 6

También podría gustarte