Publicaciones

Indice

Diseño de software

Actividad y Objetivos

Diseño para el cambio

Familia de Programas

Técnicas de modularización

La relación USES

La relación IS_COMPONENT

Revisión de familia de programas

Continuar Leyendo…

Conjuntos infinitos y finitos

Definición: dos conjuntos se dicen equinumerables si existe
una biyección f: A  B.

Toda relación equinumérica es una relación de equivalencia, por lo
tanto es:

  • Reflexiva (A equinumérica A)
  • Simétrica (A equinumérica B  B equinumérica A)
  • Transitiva (A equinumérica B, B equinumérica C  A
    equinumérica C)

? Si A es equinumérico al conjunto {1, 2…, n} n ? N
entonces es:

Continuar Leyendo…