Estructuras Discretas II
Tema 6
Continuaci贸n
Descripción General El contenido de la segunda parte del tema 6 introduce el concepto de Partición de un conjunto no vacío. Una Particiòn de un conjunto A es una familia no vacía de subconjuntos de éste, no vacíos y dos a dos disjuntos, tal que la unión sobre la familia devuelve A. El concepto de Partición es muy cercano al de una relación de equivalencia. Es posible pensar en éstas (las particiones) como una forma de distribuir los elementos de un conjunto en cajas indistinguibles o indiferenciables entre sí, distribuyéndolos todos, sin dejar cajas vacías.
Universidad Simón Bolívar
Continuación
Dentro de las pruebas de funcionalidad de un sistema se encuentra la prueba de clases de equivalencia (Equivalence class testing (I)). Es conocido que toda partición define una relación de equivalencia de allí que en pruebas del tipo (I), datos de entrada o salida son particionados en conjuntos de datos de forma similar a como lo hace una relación de equivalencia.Si se crea una relación de equivalencia fuerte esto redundará en casos de prueba óptimos y útiles. http://www.cs.swan.ac.uk/~csmarkus/CS339/dissertations/DaviesG. pdf
Universidad Simón Bolívar
Objetivo Familiarizar al estudiante con familias del tipo Partición y sus propiedades. Familiarizar al estudiante con argumentos de razonamiento en este contexto.
Estrategia de Aprendizaje Durante dos semanas se ahondará en este contenido para el cual el estudiante tendrá que leer el capítulo 6 del texto de Yriarte. También puede complementar su aprendizaje con el texto de Stanat – McAllister. Resolverá la práctica con asistencia de profesores.
Universidad Simón Bolívar
Secciones Segunda Semana
Relación de Equivalencia inducida por una Partición Partición de un conjunto no vacío
Refinamiento de Particiones
CPO de Particiones
Universidad Simón Bolívar
Evaluación
No hay evaluación El profesor entrega la retroalimentación del segundo parcial El profesor continúa atendiendo en consulta directa y a través del foro
Universidad Simón Bolívar