Sie sind auf Seite 1von 63

RELACIONES:

Llamamos Relación de A en B a cualquier subconjunto del Producto Cartesiano de A·B


A = {a,b}, B= {1,2,3}
R = {(a,1); (a,3); (b,2); (b,3)}
Gráficos:
Para ver el gráfico seleccione la opción "Descargar" del menú superior
MR1= 1 0 1
011
Matriz booleana Tabla Simple Doble entrada

Diagrama de Venn Diagrama Cartesiano


Llamamos Dominio (D) de una relación al conjunto de elementos del primer conjunto que son
primer componente de algún par de la relación.
Llamamos Imagen ( I) al conjunto de elementos del segundo conjunto que son segunda
componente de algún par.
La Relación Complementaria (R) de otra dada es la diferencia entre el producto cartesiano de
A·B y la relación R definida de A® B
La Relación Inversa (R¯¹) es la relación que contiene a los pares (x,y) / (y,x) Î R
FUNCIÓN:
Decimos que una relación es una función si para cada elemento del primer conjunto existe una
única imagen.
Si cada elemento del segundo conjunto es imagen de alguien, entonces la función es
Sobreyectiva.
Si cada elemento del segundo conjunto es, a lo sumo, imagen de un elemento del primer
conjunto, entonces la función es Inyectiva.
Si una función es sobreyectiva e inyectiva, entonces es Biyectiva.
RELACIONES DEFINIDAS DE UN CONJUNTO EN SI MISMO (A® A)
Reflexividad: Una relación es Reflexiva cuando para cada x Î A, el par (x,x) Î a la relación. Si
está escrita en forma de pares, deben figurar tantos pares (x,x) como elementos tenga el
conjunto. Si está dado matricialmente, la diagonal principal debe ser toda de "1". Si algunos
pares (x,x) figuran y otros no, la relación es No Reflexiva. Si ningún par (x,x) figura, la relación
es Areflexiva.
Simetría: Una relación es Simétrica si todo par tiene su inverso en la relación. Si algunos pares
tienen simétrico y otros no, la relación es No Simétrica. Si ningún par tiene simétrico, la
relación es Antisimétrica.
Transitividad: Una relación es Transitiva si existiendo en la relación dos pares del tipo (x,y);
(y,z), entonces aparece también el par (x,y).
CLAUSURA DE UNA RELACIÓN:
Clausura Reflexiva: Es la menor relación reflexiva que contiene a la dada. Si la relación es
reflexiva, es su propia Clausura Transitiva. Si la relación está dada por una matriz booleana, la
Clausura Reflexiva se obtiene completando con 1 la diagonal principal.
Clausura Simétrica: Es la menor relación simétrica que contiene a la dada. Si una relación es
simétrica, es su propia Clausura Simétrica. Si la relación está dada como matriz booleana, se
cambian los 1 por 0 necesarios para que sea simétrica respecto de la diagonal principal.
Clausura Transitiva: Es la menor relación transitiva que contiene a la dada. Si la relación es
transitiva, es su propia Clausura Transitiva. Si no lo es se halla usando el siguiente método:
1. t
2. Se encuentran las potencias de R (R², R³, etc.)

t t-1 i
3. Si R es la relación total o producto cartesiano, no se buscan más potencias y esa es la
Clausura Transitiva.
4. Si R es la matriz nula, entonces la C.T es la unión generalizada R¥ = U R

t i=1
4) Si R es igual a alguna potencia anterior, entonces no se buscan más potencias y la C.T es
idéntica que en el punto anterior.
Clasificación de las relaciones por sus propiedades:
Una relación es de Orden Estricto si es asimétrica y transitiva. P. Ej.: >
Una relación es de Orden Amplio si es reflexiva, antisimétrica y transitiva. P. Ej: ³
Una relación es de Equivalencia si es reflexiva, simétrica y transitiva.
Ejemplificación:

1 0 1 0 1 0

0 1 0 1 0 1

1 0 1 0 1 0

0 1 0 1 0 1

1 0 1 0 1 0
0 1 0 1 0 1

• Al tener en su Diagonal Principal únicamente "1", la matriz es simétrica. (Diagonal


principal sombreada)
• Como los elementos que bordean a la Diagonal principal son idénticos, la matriz es
reflexiva. (Elementos en cursiva)
• Al multiplicar la matriz por si misma se obtiene otra matriz idéntica y por lo tanto se
halla la clausura transitiva.

COMPOSICIÓN DE FUNCIONES:
R: A ® T
T: A ® A
R= {(1,2); (2,3); (3,1); (3,2)}
T= {(1,1); (2,1); (3,1); (3,3)}
Para ver el gráfico seleccione la opción "Descargar" del menú superior
R° T= {(1,2); (2,2); (3,2); (3,1)}
T° R= {(1,1); (2,1); (2,3); (3,1)}
Cuando componemos un conjunto con él mismo, lo podemos anotar con notación exponencial:
R° R = R²
Cuando componemos una matriz con ella misma puede ocurrir que obtengamos la matriz nula,
entonces, a partir de ella todas las potencias restantes serán la matriz nula. Podemos obtener la
matriz total (toda de "1"), en cuyo caso, de ahí en mas, todas las potencias serán iguales a ella.
Puede ocurrir que encontrando las potencias de una relación obtengamos una que ya había
aparecido, de tal forma que se repetirán cíclicamente.
RELACIONES DE EQUIVALENCIA:
Una relación es de Relación de Equivalencia (º ) cuando es reflexiva, simétrica y transitiva.
Estas relaciones tienen una característica muy particular: producen en el conjunto en el cual las
definimos una partición.
Esta partición se caracteriza porque en cada conjunto de los que integran la partición
encontramos elementos equivalentes entre si.
Sea el conjunto A y en el definido una relación de equivalencia. Tomamos el primer elemento y
formamos la clase que lo contiene. Comparamos el segundo elemento: si son equivalentes, B
quedará en la clase del A, y sino abrimos la clase del B que lo contiene.
Tomamos el elemento C y lo componemos con A, si es de equivalencia queda en la clase del A,
sino lo comparamos con B, y sino abrimos la clase del C que lo contiene, y así sucesivamente.
Si los elementos son infinitos, con algún criterio podremos interpretar el armado de las clases
de equivalencia.
El conjunto de todas las clases de equivalencia es el Conjunto Cociente.
CONJUNTO COCIENTE:
Decimos que el Conjunto Cociente es una partición porque:
a. como cada clase se abre para cada elemento, ninguna puede ser Æ .

b) Como comparamos todos los elementos de A, la unión de todas las clases será A.
Sea X1 Î Ca ^ X1 Î Cb
X1 Î Ca Þ X1 º a Þ a º X1 Œ
X1 Î Cb Þ X1 º b
Œ y a º b Þ b Î Ca Þ Ca = Cb
Ca y Cb = Æ
Relación de equivalencia compatible con una operaciónÛ
Decimos que Û y º son compatibles cuando: si a es equivalente a b, y c es equivalente a d,
entonces aÛ c es equivalente a bÛ d.
OPERACIONES BINARIAS
Llamamos Operación Binaria a cualquier función de A× B en C. Es decir, a un par ordenado
con primer elemento perteneciente a A, y segundo componente perteneciente a B, le hacemos
corresponder un elemento de C.
Los conjuntos A, B y C pueden ser distintos o iguales. Cuando A=B y tenemos una función A× A
en C, como puede ser la resta definida en nxn que va a parar a Z, vemos que sale fuera de los
números naturales. Ejemplo: 5-12= -7, donde 5 y 12 Î N y -7 Î Z.
Puede ocurrir que B y C sean iguales, y tenemos Ley de Composición Externa. Ejemplo:
Producto de un escalar por un vector, que va de rxb en b.
Puede ocurrir que A=B=C. en este caso la función no va de A× A en A y decimos que es una Ley
de Composición Interna, o bien una Operación Cerrada, o que cumple con la Ley de Cierre.
Propiedades:
• Propiedad Conmutativa: AÛ B = BÛ A
• Propiedad Asociativa: (AÛ B)Û C = AÛ (BÛ C)

Elementos Notables:
• Idempotencia: A Û A = A
• Elemento Neutro: A Û e = A
• Elemento Inverso: A Û A’ = e
• Elemento Absorbente: µ Û A = µ
• Involución: A Û A = e
Ejemplificación:
Sea AÛ B= A+B - 3AB definida en Z
1) La operación es cerrada, porque lo son la suma y la multiplicación en Z, y porque lo es la
multiplicación de números enteros.
Propiedad Conmutativa: A+B - 3AB = B+A – 3BA. Esto es válido puesto que la suma y la
multiplicación son operaciones conmutativas.
Propiedad Asociativa:
AÛ (B + C - 3BC) = A + B + C – 3BC – 3A (B + C-3BC) = A + B + C - 3BC - 3AB - 3AC + 9ABC
Œ
(A + B - 3AB)Û C = A + B - 3AB + C - 3 (A + B - 3AB) C = A + B + C - 3AB - 3AC -3BC + 9ABC
Nótese que aplicando la asociatividad, en ambos casos (Œ y ) se llegó al mismo resultado, por
lo tanto la operación es asociativa.
Idempotencia:
AÛ A = A + A - 3AA
2A - 3AA = A
2A - 3A² ¹ A
No es idempotente.
Elemento Neutro:
AÛ C = A + C – 3AC
A + e – 3 Ae = A
e – 3 AC = 0
e (1–3A) = 0
e=0
En este caso el Elemento Neutro es el Cero
Elemento Inverso:
AÛ A’ = A + A’ – 3AA’
A + A’ – 3AA’ = 0
A’ – 3AA’ = – A
A’ (1–3A)= – A
A = – A : (1–3A)
Obsérvese que Ï Z y que además A ¹ 1/3, por lo tanto no existe un Elemento
Inverso.
Elemento Absorbente:
AÛ µ = A + µ – 3Aµ
A+µ – 3 Aµ = 0
µ = –A : (-3A)
µ = 1/3
Al existir dos soluciones posibles no existe Elemento Absorbente.
Si la operación no es conmutativa debemos probar el neutro a derecha y a izquierda. Puede
ocurrir que no exista neutro porque queda en función de A, o bien, que exista derecha, pero no
izquierda o viceversa. Por ejemplo: La potencia tiene neutro a derecha, pero no tiene
neutroizquierda. Para poderdecir que una operación no conmutativa tiene neutro, debe tener
neutroizquierda, neutroderecha y ambos deben ser iguales.

http://www.monografias.com/trabajos21/matematica-discreta/matematica-
discreta.shtml

1 Matemática discreta. Relaciones binarias

Relacione
s binarias
Matem
ática
discret
a
2 Matemática discreta. Relaciones binarias

Relación binaria en A
3 Matemática discreta. Relaciones binarias

Representación de una relación

a
4 Matemática discreta. Relaciones binarias

Dia
gra
ma
sagi
tal

1•Representación gráfica con flechas.


2–a∈A•a
3–aRb

e
j
e
m
p
l
o
:

A
=
{
a
,
b
,
c
,
d
}
R={(a,c),(a,d),(b,a),(b,b),(b,d),(c,a),(d,c)}
5 Matemática discreta. Relaciones binarias

Matriz de
adyacencia

S
u
p
o
n
e
m
o
s

u
n

o
r
d
e
n

e
n

l
o
s

e
l
e
m
e
n
t
o
s

d
e

A
,

e
n

e
s
t
e

c
a
s
o

e
l

a
l
f
a
b
é
t
i
c
o
.
6 Matemática discreta. Relaciones binarias
Operaciones con relaciones 1

Da
da
s
R1
y
R2
so
br
e
A
1•Unión:

R1∪R2={(a,b) ∈AxA/ aR1bóaR2b}


1•Composición o producto:

R1°R2={(a,b) ∈AxA/ ∃c∈A aR1cy cR2b}


1–En general, R1°R2 ≠R2°R1
2–La composición es asociativa: Rn+1=Rn°R
7 Matemática discreta. Relaciones binarias

Operaciones con relaciones 2

1•M(R1∪R2)=MR1 ⊕MR2
2•M(R1°R2)=MR1 ⊗MR2
3–⊕suma booleana
4–⊗producto booleano


0
0
1
1
1
1

0
0
0
1
0
1
8 Matemática discreta. Relaciones binarias
Operaciones con relaciones 3

Dada R sobre A={a1,..,an} y MRsu matriz de adyacencia:


1•MR= OR⇔R=∅(matriz nula de orden n)
2•MR= 1R⇔R=AxA(matriz de unos de orden n)
3•MRm= (MR )m, m ∈Z+(m-ésimapotencia booleana)

Rmestáformada por los pares de elementos que se pueden conectar


mediante un camino de longitud m.
9 Matemática discreta. Relaciones binarias

e
j
e
m
p
l
o
10 Matemática discreta. Relaciones binarias

P
r
o
p
i
e
d
a
d
e
s

R definida sobre A, con matriz de adyacencia M y


Card(A)=n
1•Reflexiva: [∀x∈AxRx] ⇔In⊕M=M
2•Simétrica: [∀x,y∈AxRy⇒yRx] ⇔M=Mt
3•Transitiva: [∀x,y,z∈AxRy, yRz⇒xRz] ⇔M⊕M2=M
4•Antisimétrica: [∀x,y∈A xRy, yRx⇒x=y] ⇔en M+Mtno aparece ningún 2 salvo, a lo
sumo en la diagonal.
11 Matemática discreta. Relaciones binarias

Cierre de relaciones 1

1•Cierre reflexivo: CR(R) menor relación reflexiva que contiene a R.


2–R ⊂CR(R).−CR(R) es reflexiva
3–Si S es reflexiva y tal que R⊂S, entonces CR(R) ⊂S.
4•Cierre simétrico: CS(R) menor relación simétrica que contiene a R.
5–R ⊂CS(R).−CS(R) es simétrica
6–Si S es simétrica y tal que R⊂S, entonces CS(R) ⊂S.
7•Cierre transitivo: CT(R) menor relación transitiva que contiene a R.
8–R ⊂CT(R).−CT(R) es transitiva
9–Si S es transitiva y tal que R⊂S, entonces CT(R) ⊂S.
12 Matemática discreta. Relaciones binarias

Cierre de relaciones 2

R definida sobre A={a1,..,an}, con matriz de adyacencia MR.


1•MCR(R)= MR⊕In
2•MCS(R)= MR⊕MtR
3•MCTR(R)= MR⊕M2R ⊕M3R ⊕...⊕MnR
13 Matemática discreta. Relaciones binarias

Relaciones de
orden

1•Dada una relación binaria R definida sobre A, se dice que R es una relación de ordenen A
si verifica las propiedades:
2–reflexiva
3–antisimétrica
4–transitiva

Se dice entonces que a estáordenado por R o que el par (A,R)


es un conjunto ordenado.

R
e
l
a
c
i
o
n
e
s

d
e

o
r
d
e
n
14 Matemática discreta. Relaciones binarias

N
o
t
a
c
i
ó
n

Utilizaremos el símbolo ≤para las relaciones de orden.


a
R
b
a


b
Se lee a es anterior a b(menor o igual) o bien b es posterior a
a(mayor o igual)
1•Distintas relaciones sobre un mismo conjunto, dan lugar a distintos conjuntos ordenados.
2•a,b∈A son comparablessi aRbo bRa

R
e
l
a
c
i
o
n
e
s

d
e

o
r
d
e
n
15 Matemática discreta. Relaciones binarias
e
j
e
m
p
l
o

En N, a ≤b ⇔∃n
∈N / b=an
Es una
relación
de orden:
1–reflexiva: a=a1 ∀a∈N
2–antisimétrica: ∀a,b∈N si a ≤b y b≤a ∃n,m ∈N / b=any a=bm, entonces b=
[bm]n=bm·nluego m·n=1 y como n,m ∈N m=n=1, asía=b
3–transitiva: ∀a,b,c∈N si a ≤b y b≤c ∃n,m ∈N / b=any c=bm, entonces c=
[an]m=an·mluego si k = n·m, ∃k∈N /c=ak, es decir, a ≤c

R
e
l
a
c
i
o
n
e
s

d
e

o
r
d
e
n
16 Matemática discreta. Relaciones binarias

Diagram
a Hasse
1
1•Dada una relación de orden R en A y R1una
2relación asociada a R tal que
3aR1b⇔aRby a ≠b(a<b ⇔a ≤b y a ≠b)
4el diagrama Hassede R es el diagrama sagital
5de la relación HR=R1-R12
6Si Card(A)=n, matricialmente:
7MHR=(MR-In)-(MR-In)2

R
e
l
a
c
i
o
n
e
s

d
e

o
r
d
e
n
17 Matemática discreta. Relaciones binarias

Diagram
a Hasse
2

1•Permite asociar a una relación de orden un diagrama más sencillo que el diagrama sagital.
2•Construcción del diagrama Hasse a partir del diagrama sagital:
3–eliminar los bucles
4–eliminar todas las flechas que puedan derivarse de aplicar la propiedad transitiva.

R
e
l
a
c
i
o
n
e
s

d
e

o
r
d
e
n
18 Matemática discreta. Relaciones binarias

e
j
e
m
p
l
o

R
e
l
a
c
i
o
n
e
s

d
e

o
r
d
e
n
19 Matemática discreta. Relaciones binarias

Orden total y
parcial
1•(A, ≤) estátotalmente ordenadosi cualquier par de elementos son comparables, se dice
entonces que ≤es de orden total. En otro caso, se dice que (A, ≤) estáparcialmente
ordenadoy que ≤es de orden parcial.
2•C es una cadenade (A, ≤) si C ⊂A y (C, ≤) estátotalmente ordenado.

R
e
l
a
c
i
o
n
e
s

d
e

o
r
d
e
n
20 Matemática discreta. Relaciones binarias

Elementos notables
1

Dados
(A,≤)
yC
⊂A,
C≠∅
1•a∈Aes cota superiorde C si ∀c∈C, c≤a.
2–C estáacotado superiormente
3–La menor de las cotas superiores es el supremo.
4•a∈Aes cota inferiorde C si ∀c∈C, a≤c.
5–C estáacotado sinferiormente
6–La mayor de las cotas inferiores es el ínfimo.
7•El supremo y el ínfimo, si existen, han de ser comparables con el resto de las cotas
superiores o inferiores, respectivamente.
R
e
l
a
c
i
o
n
e
s

d
e

o
r
d
e
n
21 Matemática discreta. Relaciones binarias

Elementos notables
2

Dados (A,≤) y
C ⊂A, C≠∅
1•a∈Ces elemento maximalde C si
2∀c∈C, a≤c ⇒a=c.
3•m∈Ces máximode C si ∀c∈C, c≤m.
4–si existe, es el único elemento maximalde C
5•a∈Ces elemento minimalde C si
6∀c∈C, c≤a ⇒a=c.
7•m∈Ces mínimode C si ∀c∈C, m≤c
8–si existe, es el único elemento minimalde C

R
e
l
a
c
i
o
n
e
s
d
e

o
r
d
e
n
22 Matemática discreta. Relaciones binarias

Elementos notables
3

1•Pueden existir uno, varios o ningún elemento maximaly minimal.


2•El máximo (mínimo), cuando existe, es el único elemento maximal(minimal).
3•Si en C existe supremo (ínfimo) es único.
4•Si C tiene máximo (mínimo) coincide con el supremo (ínfimo).

R
e
l
a
c
i
o
n
e
s

d
e

o
r
d
e
n
23 Matemática discreta. Relaciones binarias

e
j
e
m
p
l
o

1•{a,b,e}
2–des cota superior y supremo
3–{b,e} son elementos maximales
4–no tiene máximo
5–aes cota inferior, ínfimo, mínimo y el único elemento minimal.

R
e
l
a
c
i
o
n
e
s

d
e

o
r
d
e
n
24 Matemática discreta. Relaciones binarias

Relaciones de equivalencia

Dada una relación binaria R definida sobre A, se dice que R es una


relación de equivalenciaen A si verifica las propiedades:
1–reflexiva
2–simétrica
3–transitiva

R
e
l
a
c
i
o
n
e
s

d
e

e
q
u
i
v
a
l
e
n
c
i
a
25 Matemática discreta. Relaciones binarias

Clase de equivalencia

R
e
l
a
c
i
o
n
e
s

d
e

e
q
u
i
v
a
l
e
n
c
i
a
26 Matemática discreta. Relaciones binarias

Conjunt
o
cociente

1•Una particiónde un conjunto A es una familia de


2subconjuntos no vacíos de A, {Ai} disjuntos entre sí
3y cuya unión es A.
4∀i Ai≠∅; Aj∩Ai=∅∀i≠j;∪Ai=A
5•La relación de equivalencia R define en A una partición formada por las clases de
equivalencia.
6•Llamamos conjunto cociente de A por R a A/R={[a]/ a∈A}.
7•Cada partición de A estáasociada a una relación de equivalencia definida en él.

R
e
l
a
c
i
o
n
e
s

d
e

e
q
u
i
v
a
l
e
n
c
i
a
27 Matemática discreta. Relaciones binarias
e
j
e
m
p
l
o

A
=
{
p
a
l
a
b
r
a
s

d
e

b
i
t
s
}
w(a) el número de unos que
contiene a
aRb⇔
w(a)
≡w(b)
(mod2
)
R

e
s

d
e
e
q
u
i
v
a
l
e
n
c
i
a
:
1–Reflexiva: aRa
2w(a) ≡w(a)(mod2)
3–Simétrica: aRb⇒bRa
4w(a) ≡w(b)(mod2) ⇒w(b)≡w(a)(mod2)
5–Transitiva: aRby bRc⇒aRc
6w(a)≡w(b)(mod2) y w(b)≡w(c)(mod2) ⇒w(a)≡w(c)(mod2)

R
e
l
a
c
i
o
n
e
s

d
e

e
q
u
i
v
a
l
e
n
c
i
a
28 Matemática discreta. Relaciones binarias

e
j
e
m
p
l
o

R define en A una partición formada por dos clases de


equivalencia, cada una con 2n-1elementos.
[0]={a∈A / a tiene un número par de unos}
[1]={a∈A / a tiene un número impar de unos}
P
a
r
a

n
=
3
[0]={000,
011, 101,
110}
[1]={001,
010, 100,
111}

R
e
l
a
c
i
o
n
e
s

d
e

e
q
u
i
v
a
l
e
n
c
i
a
29 Matemática discreta. Relaciones binarias

Planificación de tareas 1

1•Tareas entre las que hay relaciones de dependencia, unas han de realizarse antes que
otras.
2•Uno o varios equipos, simultáneamente, realizan las tareas.
3•Objetivo: distribuir las tareas entre los equipos disponibles, acatando la dependencia
entre tareas.
4•Planificación: asignación ordenada de tareas a cada equipo.

P
l
a
n
i
f
i
c
a
c
i
ó
n

d
e

t
a
r
e
a
s
30 Matemática discreta. Relaciones binarias
Planificación de tareas 2

P
l
a
n
i
f
i
c
a
c
i
ó
n

d
e

t
a
r
e
a
s
31 Matemática discreta. Relaciones binarias

Orden
topológico 1

1•Un orden topológico < es una extensión de


2un orden parcial ≤sobre un conjunto A
3si se verifica que:

s
i

a

b

e
n
t
o
n
c
e
s

a
<
b
.

P
l
a
n
i
f
i
c
a
c
i
ó
n

d
e

t
a
r
e
a
s
32 Matemática discreta. Relaciones binarias

Orden
topológico 2

11Iniciar T=[]
22Mientras A≠∅
3–si ∃m∈A minimal
4�Incluir m en T
5�Eliminar m de (A,R)
6�Volver a (2)
7–En otro caso, A no es realizable. Salir
83Salida T orden topológico.
P
l
a
n
i
f
i
c
a
c
i
ó
n

d
e

t
a
r
e
a
s
33 Matemática discreta. Relaciones binarias

Planificación correcta

11Iniciar T=[]
22Mientras A≠∅
3–si ∃m∈A minimaly primera tarea de un equipo E
4�Incluir m en T
5�Eliminar m de (A,R) y de E
6�Volver a (2)
7–En otro caso, P no es correcta. Salir
83Salida T orden topológico.

P
l
a
n
i
f
i
c
a
c
i
ó
n

d
e

t
a
r
e
a
s
34 Matemática discreta. Relaciones binarias

Tiempo de realización de tareas

1•coste de m, w(m), es el tiempo que se necesita para realizar la tarea m, una vez
terminadas las tareas previas a m.
2•t(m) tiempo que se necesita para la realización de la tarea m, incluido el tiempo de espera
necesario para que se realicen las tareas previas a m.

t(m)=w(m) +
max{t(ai) /
aiRm}
1•t(R)=max{t(a) / a∈A } es el tiempo mínimo en el que se pueden realizar las tareas de A.

P
l
a
n
i
f
i
c
a
c
i
ó
n

d
e

t
a
r
e
a
s
35 Matemática discreta. Relaciones binarias

Tiempo mínimo para la realización de tareas

11Mientras existan tareas no marcadas en A


2–si existe m∈A minimalno marcado
3�Calcular t(m)=w(m)+max{t(b) / bRm}
4�Marcar m
5�Volver a (1)
6–En otro caso, A no es realizable. Salir
72Salida t(R)=max{t(a) / a∈A}

P
l
a
n
i
f
i
c
a
c
i
ó
n

d
e

t
a
r
e
a
s
36 Matemática discreta. Relaciones binarias

1•tp(m) tiempo que se necesita para la realización de la tarea m en la planificación P,


incluido el tiempo de espera necesario para que se realicen las tareas previas a m y las
anteriores a m en su equipo.

tp(m)=w(m) + max{tp(ai) / aiRmóaies anterior a m en su equipo}


1•tp(R)=max{tp(a) / a∈A } es el tiempo mínimo en el que se pueden realizar las tareas de
A en la planificación P.
37 Matemática discreta. Relaciones binarias

11Mientras existan tareas no marcadas en A


2–si existe m∈A minimalno marcado y primera tarea no marcada de un equipo.
3�Calcular tp(m)=w(m)+max{tp(b) / bRmób es el anterior a m en su equipo}
4�Marcar m
5�Volver a (1)
6–En otro caso, P no es correcta. Salir
72Salida tp(R)=max{tp(a) / a∈A}
38 Matemática discreta. Relaciones binarias

Optimización del número de equipos equipos


1

1•W=Σw(a), a∈A
2•A conjunto de n tareas
3•Si P es una planificación con n equipos, se verifica W≤n·t(R) ⇒n≥W/t(R). Esto nos da
una cota inferior para el número de equipos necesarios para ejecutar las tareas en el menor
tiempo t(R).

P
l
a
n
i
f
i
c
a
c
i
ó
n

d
e

t
a
r
e
a
s
39 Matemática discreta. Relaciones binarias

11Iniciar los equipos Ei=[] y los tiempo ti=0, 1≤i≤n


22∀m∈A minimal
3–Encontrar el menor k / tk=0 ; xk= m ; tk= w(m) ; incluir m en Ek
43Mientras existan tareas no marcadas en A
5–Si ∃Ei/ ti≠0
6�∀j / tj= min{ti/ti≠0}, marcar xj(último elemento de Ej) ; tj’= tj; tj=0
7�∀a / xjRay todos sus previos están marcados
8•Encontrar el menor k / tk=0 ; xk=a ; tk= tj’+ w(a) ; incluir a en Ek
9�Volver a (3)
10–R no es realizable. Salir
114Salida P={Ei/ Ei≠[]}

http://www.uclm.es/profesorado/raulmmartin/FundamentosMatematicosII/Relaciones
%20binarias_aux.pdf

Relaciones entre Conjuntos: Propiedades


Matemáticas Discretas - p. 1/23
Matemáticas Discretas
TC1003
Relaciones entre Conjuntos:
Propiedades
Departamento de Matemáticas / Centro de Sistema Inteligentes
ITESM
Representaci´on
Ejemplo 1
Reflexiva
Ejemplo 2
Ejemplo 3
Simetr´ıa
Ejemplo 3
Antisimetr´ıa
Ejemplo 4
Transitividad
Ejemplo 5
Equivalencia
Ejemplo 6
Orden Parcial
Ejemplo 7
Ejemplo 8
Ejemplo 9
Cerradura
Ejemplo 10
Ejemplo 11
Partici´on
Ejemplo 12
Relaciones entre Conjuntos: Propiedades
Matemáticas Discretas - p. 2/23
Representación Alternativa
para Relaciones
Sea A un conjunto y R una relación de
A en A. En
este caso diremos que R es una
relación sobre A o
una relación en A. Alternativamente al
diagrama
de flechas del conjunto hacia si
mismo:
a
b
c
a
b
c
a
b
c
Representaci´on
Ejemplo 1
Reflexiva
Ejemplo 2
Ejemplo 3
Simetr´ıa
Ejemplo 3
Antisimetr´ıa
Ejemplo 4
Transitividad
Ejemplo 5
Equivalencia
Ejemplo 6
Orden Parcial
Ejemplo 7
Ejemplo 8
Ejemplo 9
Cerradura
Ejemplo 10
Ejemplo 11
Partici´on
Ejemplo 12
Relaciones entre Conjuntos: Propiedades
Matemáticas Discretas - p. 3/23
Ejemplo
Si A = {1, 2, 3, 4} y
R = {(1, 2), (1, 3), (1, 4), (2, 2), (3,
3), (4, 1)} dibuje el
diagrama de flechas de las relación.
Soluci´on
12
34
Representaci´on
Ejemplo 1
Reflexiva
Ejemplo 2
Ejemplo 3
Simetr´ıa
Ejemplo 3
Antisimetr´ıa
Ejemplo 4
Transitividad
Ejemplo 5
Equivalencia
Ejemplo 6
Orden Parcial
Ejemplo 7
Ejemplo 8
Ejemplo 9
Cerradura
Ejemplo 10
Ejemplo 11
Partici´on
Ejemplo 12
Relaciones entre Conjuntos: Propiedades
Matemáticas Discretas - p. 4/23
Relación Reflexiva
Definici´on
Sean A un conjunto y R una relación.
Se dice que
n R es reflexiva si :
∀x, (x ∈ A → (x, x) ∈ R).
Es decir, toda relación que sea
reflexiva debe tener
al menos n flechas (suponiendo que n
es el número
de elementos de A): deben estar
todas las parejas
(a, a) donde a barre todos los
elementos de A.
Representaci´on
Ejemplo 1
Reflexiva
Ejemplo 2
Ejemplo 3
Simetr´ıa
Ejemplo 3
Antisimetr´ıa
Ejemplo 4
Transitividad
Ejemplo 5
Equivalencia
Ejemplo 6
Orden Parcial
Ejemplo 7
Ejemplo 8
Ejemplo 9
Cerradura
Ejemplo 10
Ejemplo 11
Partici´on
Ejemplo 12
Relaciones entre Conjuntos: Propiedades
Matemáticas Discretas - p. 5/23
Ejemplos
12
34
Relación no Reflexiva
12
34
Relación Reflexiva
Cada nodo debe tener un cíclo.
Representaci´on
Ejemplo 1
Reflexiva
Ejemplo 2
Ejemplo 3
Simetr´ıa
Ejemplo 3
Antisimetr´ıa
Ejemplo 4
Transitividad
Ejemplo 5
Equivalencia
Ejemplo 6
Orden Parcial
Ejemplo 7
Ejemplo 8
Ejemplo 9
Cerradura
Ejemplo 10
Ejemplo 11
Partici´on
Ejemplo 12
Relaciones entre Conjuntos: Propiedades
Matemáticas Discretas - p. 6/23
Ejemplos
De acuerdo a la mtriz de adyacencia
de una
relación:
266666666666666666664
1···
.
.
.
.
.
.
0
.
.
.
377777777777777777775
266666666666666666664
1···
.
.
.1
.
.
.
1
377777777777777777775
Relación No reflexiva Relación
Reflexiva
En la diagonal principal debe haber
sólo unos
para relaciones reflexivas. En las no
reflexivas hay
al menos un cero.
Representaci´on
Ejemplo 1
Reflexiva
Ejemplo 2
Ejemplo 3
Simetr´ıa
Ejemplo 3
Antisimetr´ıa
Ejemplo 4
Transitividad
Ejemplo 5
Equivalencia
Ejemplo 6
Orden Parcial
Ejemplo 7
Ejemplo 8
Ejemplo 9
Cerradura
Ejemplo 10
Ejemplo 11
Partici´on
Ejemplo 12
Relaciones entre Conjuntos: Propiedades
Matemáticas Discretas - p. 7/23
Relación Simétrica
Definici´on
Sean A un conjunto y R una relación.
Se dice que
R es simétrica si
∀x, y, ((x, y) ∈ R → (y, x) ∈ R).
Que no nos engañe la implicación: no
dice que
tengamos flechas de x a y para todo x
y y: Dice
que en caso de haber una flecha de x
a y debemos
de tener una de y a x en las
relaciones simétricas.
Representaci´on
Ejemplo 1
Reflexiva
Ejemplo 2
Ejemplo 3
Simetr´ıa
Ejemplo 3
Antisimetr´ıa
Ejemplo 4
Transitividad
Ejemplo 5
Equivalencia
Ejemplo 6
Orden Parcial
Ejemplo 7
Ejemplo 8
Ejemplo 9
Cerradura
Ejemplo 10
Ejemplo 11
Partici´on
Ejemplo 12
Relaciones entre Conjuntos: Propiedades
Matemáticas Discretas - p. 8/23
Ejemplos
12
34
Relación no simétrica
12
34
Relación Simétrica
Representaci´on
Ejemplo 1
Reflexiva
Ejemplo 2
Ejemplo 3
Simetr´ıa
Ejemplo 3
Antisimetr´ıa
Ejemplo 4
Transitividad
Ejemplo 5
Equivalencia
Ejemplo 6
Orden Parcial
Ejemplo 7
Ejemplo 8
Ejemplo 9
Cerradura
Ejemplo 10
Ejemplo 11
Partici´on
Ejemplo 12
Relaciones entre Conjuntos: Propiedades
Matemáticas Discretas - p. 9/23
Relación Antisimétrica
Definici´on
Sean A un conjunto y R una relación.
Se dice que
R es antisimétrica si
∀x, y, ((x, y) ∈ R ∧ (y, x) ∈ R → x =
y).
Cuando están las parejas (x, y) y (y,
x) en la
relación, es porque las parejas son (x,
x).
Representaci´on
Ejemplo 1
Reflexiva
Ejemplo 2
Ejemplo 3
Simetr´ıa
Ejemplo 3
Antisimetr´ıa
Ejemplo 4
Transitividad
Ejemplo 5
Equivalencia
Ejemplo 6
Orden Parcial
Ejemplo 7
Ejemplo 8
Ejemplo 9
Cerradura
Ejemplo 10
Ejemplo 11
Partici´on
Ejemplo 12
Relaciones entre Conjuntos: Propiedades
Matemáticas Discretas - p. 10/23
Ejemplos
12
34
Relación no Antisimétrica
12
34
Relación Antisimétrica
Representaci´on
Ejemplo 1
Reflexiva
Ejemplo 2
Ejemplo 3
Simetr´ıa
Ejemplo 3
Antisimetr´ıa
Ejemplo 4
Transitividad
Ejemplo 5
Equivalencia
Ejemplo 6
Orden Parcial
Ejemplo 7
Ejemplo 8
Ejemplo 9
Cerradura
Ejemplo 10
Ejemplo 11
Partici´on
Ejemplo 12
Relaciones entre Conjuntos: Propiedades
Matemáticas Discretas - p. 11/23
Relación Transitiva
Definici´on
Sean A un conjunto y R una relación.
Se dice que
R es transitiva si
∀x, y, z, ((x, y) ∈ R ∧ (y, z) ∈ R → (x,
z) ∈ R).
Representaci´on
Ejemplo 1
Reflexiva
Ejemplo 2
Ejemplo 3
Simetr´ıa
Ejemplo 3
Antisimetr´ıa
Ejemplo 4
Transitividad
Ejemplo 5
Equivalencia
Ejemplo 6
Orden Parcial
Ejemplo 7
Ejemplo 8
Ejemplo 9
Cerradura
Ejemplo 10
Ejemplo 11
Partici´on
Ejemplo 12
Relaciones entre Conjuntos: Propiedades
Matemáticas Discretas - p. 12/23
Ejemplos
12
34
Relación no Transitiva
12
34
Relación Transitiva
Representaci´on
Ejemplo 1
Reflexiva
Ejemplo 2
Ejemplo 3
Simetr´ıa
Ejemplo 3
Antisimetr´ıa
Ejemplo 4
Transitividad
Ejemplo 5
Equivalencia
Ejemplo 6
Orden Parcial
Ejemplo 7
Ejemplo 8
Ejemplo 9
Cerradura
Ejemplo 10
Ejemplo 11
Partici´on
Ejemplo 12
Relaciones entre Conjuntos: Propiedades
Matemáticas Discretas - p. 13/23
Relación de Equivalencia
Definici´on
Sean A un conjunto y R una relación.
Se dice que
R es una relación de equivalencia si R
es reflexiva,
simétrica y transitiva.
Representaci´on
Ejemplo 1
Reflexiva
Ejemplo 2
Ejemplo 3
Simetr´ıa
Ejemplo 3
Antisimetr´ıa
Ejemplo 4
Transitividad
Ejemplo 5
Equivalencia
Ejemplo 6
Orden Parcial
Ejemplo 7
Ejemplo 8
Ejemplo 9
Cerradura
Ejemplo 10
Ejemplo 11
Partici´on
Ejemplo 12
Relaciones entre Conjuntos: Propiedades
Matemáticas Discretas - p. 14/23
Ejemplos
12
34
Relación no de Equivalencia
12
34
Relación de Equivalencia
Representaci´on
Ejemplo 1
Reflexiva
Ejemplo 2
Ejemplo 3
Simetr´ıa
Ejemplo 3
Antisimetr´ıa
Ejemplo 4
Transitividad
Ejemplo 5
Equivalencia
Ejemplo 6
Orden Parcial
Ejemplo 7
Ejemplo 8
Ejemplo 9
Cerradura
Ejemplo 10
Ejemplo 11
Partici´on
Ejemplo 12
Relaciones entre Conjuntos: Propiedades
Matemáticas Discretas - p. 15/23
Relación de Orden Parcial
Definici´on
Sean A un conjunto y R una relación.
Se dice que
R es una relación de orden parcial si
R es
reflexiva, antisimétrica y transitiva.
Representaci´on
Ejemplo 1
Reflexiva
Ejemplo 2
Ejemplo 3
Simetr´ıa
Ejemplo 3
Antisimetr´ıa
Ejemplo 4
Transitividad
Ejemplo 5
Equivalencia
Ejemplo 6
Orden Parcial
Ejemplo 7
Ejemplo 8
Ejemplo 9
Cerradura
Ejemplo 10
Ejemplo 11
Partici´on
Ejemplo 12
Relaciones entre Conjuntos: Propiedades
Matemáticas Discretas - p. 16/23
Ejemplos
12
34
Relación que no es Orden Parcial
12
34
Relación de Orden Parcial
Representaci´on
Ejemplo 1
Reflexiva
Ejemplo 2
Ejemplo 3
Simetr´ıa
Ejemplo 3
Antisimetr´ıa
Ejemplo 4
Transitividad
Ejemplo 5
Equivalencia
Ejemplo 6
Orden Parcial
Ejemplo 7
Ejemplo 8
Ejemplo 9
Cerradura
Ejemplo 10
Ejemplo 11
Partici´on
Ejemplo 12
Relaciones entre Conjuntos: Propiedades
Matemáticas Discretas - p. 17/23
Ejemplo
Considere el conjunto
A = {1, 2, 3}
y la relación:
R=
8>><>>:
(2, 2) , (2, 3) , (1, 2) ,
(1, 1) , (3, 3)
9>>=>>;
Indique cuáles propiedades tiene la
relación.
Representaci´on
Ejemplo 1
Reflexiva
Ejemplo 2
Ejemplo 3
Simetr´ıa
Ejemplo 3
Antisimetr´ıa
Ejemplo 4
Transitividad
Ejemplo 5
Equivalencia
Ejemplo 6
Orden Parcial
Ejemplo 7
Ejemplo 8
Ejemplo 9
Cerradura
Ejemplo 10
Ejemplo 11
Partici´on
Ejemplo 12
Relaciones entre Conjuntos: Propiedades
Matemáticas Discretas - p. 18/23
Ejemplo
Indica cuáles de las siguientes son
relaciones de
equivalencia:
1. mod5 en los enteros
2. La relación vecinos en los paises
3. Primos en una familia
4. ≥ en los enteros
Representaci´on
Ejemplo 1
Reflexiva
Ejemplo 2
Ejemplo 3
Simetr´ıa
Ejemplo 3
Antisimetr´ıa
Ejemplo 4
Transitividad
Ejemplo 5
Equivalencia
Ejemplo 6
Orden Parcial
Ejemplo 7
Ejemplo 8
Ejemplo 9
Cerradura
Ejemplo 10
Ejemplo 11
Partici´on
Ejemplo 12
Relaciones entre Conjuntos: Propiedades
Matemáticas Discretas - p. 19/23
Cerradura Transitiva de una
Relación
Definici´on
Sean A un conjunto y R una relación.
La cerradura
transitiva de R es una relación R′que
cumple:
n R′ es transitiva,
n R ⊆ R′ (R′ contiene a R), y

n Cualquier otra relación transitiva que


contiene a
R también contiene a R′.
Es decir, la cerradura transitiva de
una relación R
es la más pequeña relación transitiva
que contiene
a R.
Representaci´on
Ejemplo 1
Reflexiva
Ejemplo 2
Ejemplo 3
Simetr´ıa
Ejemplo 3
Antisimetr´ıa
Ejemplo 4
Transitividad
Ejemplo 5
Equivalencia
Ejemplo 6
Orden Parcial
Ejemplo 7
Ejemplo 8
Ejemplo 9
Cerradura
Ejemplo 10
Ejemplo 11
Partici´on
Ejemplo 12
Relaciones entre Conjuntos: Propiedades
Matemáticas Discretas - p. 20/23
Ejemplos
12
34
Relación
12
34
Cerradura Transitiva
Cuidado: A veces hace falta una
segunda pasada
para revisar si ya es transitiva.
Representaci´on
Ejemplo 1
Reflexiva
Ejemplo 2
Ejemplo 3
Simetr´ıa
Ejemplo 3
Antisimetr´ıa
Ejemplo 4
Transitividad
Ejemplo 5
Equivalencia
Ejemplo 6
Orden Parcial
Ejemplo 7
Ejemplo 8
Ejemplo 9
Cerradura
Ejemplo 10
Ejemplo 11
Partici´on
Ejemplo 12
Relaciones entre Conjuntos: Propiedades
Matemáticas Discretas - p. 21/23
Considere el conjunto
A = {1, 2, 3}
y la relación sobre A:
R=
8>><>>: (
1
,
1) ,
(
1
,
2) ,
(
1
,
3) ,
(2, 1) , (2, 2) , (3, 3)
9>>=>>;
Sólo de la siguiente lista indique
cuáles parejas
deben aãdirse a R en la cerradura
transitiva:
1. (2, 3)
2. (3, 1)
3. (3, 2)
Representaci´on
Ejemplo 1
Reflexiva
Ejemplo 2
Ejemplo 3
Simetr´ıa
Ejemplo 3
Antisimetr´ıa
Ejemplo 4
Transitividad
Ejemplo 5
Equivalencia
Ejemplo 6
Orden Parcial
Ejemplo 7
Ejemplo 8
Ejemplo 9
Cerradura
Ejemplo 10
Ejemplo 11
Partici´on
Ejemplo 12
Relaciones entre Conjuntos: Propiedades
Matemáticas Discretas - p. 22/23
Partición de un Conjunto
Definici´on
Sea A un conjunto no vacío. Una
partición para A
es una colección de subconjuntos de
A, A1,
A2,. . . ,Am tal que
n Ningún subconjunto Ai es vacío:
∀i, Ai , ∅
n Los conjuntos no tienen elemento en
común:
∀i, j, (i , j → Ai ∩ Aj = ∅)
n La unión de los conjuntos es igual a
A:
A1 ∪ A2 ∪ · · · ∪ Am = A
Representaci´on
Ejemplo 1
Reflexiva
Ejemplo 2
Ejemplo 3
Simetr´ıa
Ejemplo 3
Antisimetr´ıa
Ejemplo 4
Transitividad
Ejemplo 5
Equivalencia
Ejemplo 6
Orden Parcial
Ejemplo 7
Ejemplo 8
Ejemplo 9
Cerradura
Ejemplo 10
Ejemplo 11
Partici´on
Ejemplo 12
Relaciones entre Conjuntos: Propiedades
Matemáticas Discretas - p. 23/23
Ejemplo
Indica cuáles de las siguientes son
particiones del
conjunto:
{1, 3, {5, 2}, 4}
1. {∅, {1, 3, {5, 2}, 4}}
2. {{1}, {3, {5, 2}, 4}}
3. {{{1, 3}}, {5, 2}, {4}}
4. {{1}, {3}, {{5, 2}}, {4}}

http://lizt.mty.itesm.mx/~euresti/discretas/lecturas/tc1003-102p.pdf

UNIVERSIDAD NACIONAL DE ASUNCIÓN


FACULTAD POLITÉCNICA
INGENIERÍA EN INFORMÁTICA
PLAN 2008
PROGRAMA DE ESTUDIOS
Aprobado por Resolución 08/08/09-00 Acta 751/14/04/2008 del Consejo Directivo de la FP-UNA Página 1 de 4
I. - IDENTIFICACIÓN
1. Materia : Matemática Discreta
2. Semestre : Primer
3. Horas semanales : 7 horas
3.1. Clases teóricas : 4 horas
3.2. Clases prácticas : 3 horas
4. Total real de horas disponibles : 112 horas
4.1. Clases teóricas : 64 horas
4.2. Clases prácticas : 48 horas
II. - JUSTIFICACIÓN
En esta materia se estudian algunas herramientas básicas de la matemática discreta, así como otras de carácter más
profundo. La
teoría de conjuntos constituye un elemento básico en la notación de la matemática discreta, por lo tanto un buen manejo de la
misma
permitirá al alumno comprender mejor los temas posteriores. La relación entre diversos entes puede formalizarse en la idea de
una
relación binaria, que pueden ser representadas de diferentes maneras y que permiten mediante sus propiedades y aplicaciones
utilizarlas en otros campos diferentes de los puramente matemáticos. Es importante también el estudio de las funciones ya que
éstas
permiten establecer relaciones especiales entre conjuntos estudiados. El Álgebra de Boole, desarrollada como una teoría de la
Lógica, que utiliza símbolos en vez de palabras resulta muy importante para el análisis de los circuitos eléctricos, y por lo tanto
se ha
convertido en una herramienta indispensable para el análisis y el diseño de las computadoras electrónicas. Y por último, el
estudio de
estructuras matemáticas, como grupos y semigrupos, sirven como herramienta principal para el posterior estudio de las
máquinas de
estado finito y la teoría de códigos.
III. - OBJETIVOS
1. Operar con conjuntos.
2. Demostrar propiedades de los conjuntos a partir de otras ya conocidas.
3. Aplicar el concepto de relación en la solución de ejercicios.
4. Aplicar el concepto de funciones en la solución de problemas.
5. Diferenciar relaciones y funciones.
6. Representar gráficamente relaciones y funciones
7. Utilizar la teoría de gráficas en la solución de problemas.
8. Comprender la importancia del álgebra booleana en la ciencia de la computación.
9. Aplicar el álgebra de Boole en la solución de problemas.
10. Estudiar las aplicaciones de la teoría de grupos en el campo computacional.
11. Cambiar los números de un sistema de numeración a otro.
IV. - PRE - REQUISITO
No tiene.
V. - CONTENIDO
5.1. Unidades programáticas
1. Álgebra de conjuntos.
2. Relaciones y digrafos.
3. Funciones.
4. Teoría de grafos.
5. Álgebra de Boole.
6. Estructuras algebraicas.
7. Sistemas numéricos.
5.2. Desarrollo de las unidades programáticas
1. Álgebra de conjuntos.
1.1. Concepto.
1.2. Subconjunto.
1.3. Operaciones con conjuntos.
1.3.1. Unión.
1.3.2. Intersección.
1.3.3. Complemento.
1.3.4. Diferencia.
1.3.5. Diferencia simétrica.
Ingeniería en Informática - Plan 2008 Facultad Politécnica
Aprobado por Resolución 08/08/09-00 Acta 751/14/04/2008 del Consejo Directivo de la FP-UNA Página 2 de 4
1.3.6. Propiedades algebraicas de las operaciones con conjuntos.
1.4. El principio de adición(principio de inclusión – exclusión).
1.5. Principio de adición para conjuntos disjuntos.
2. Relaciones y digrafos.
2.1. Conjuntos productos y particiones.
2.1.1. Conjunto producto.
2.1.1.1. Definición.
2.1.1.2. Aplicación.
2.1.2. Partición o conjunto cociente.
2.1.2.1. Definición.
2.1.2.2. Aplicación.
2.2. Relaciones.
2.2.1. Definición.
2.2.2. Aplicación.
2.2.3. Conjuntos que surgen de las relaciones.
2.2.4. Matriz de una relación.
2.3. Digrafos o gráficas dirigidas.
2.3.1. Definición.
2.3.2. Aplicación.
2.3.3. Trayectorias en relaciones y digrafos.
2.3.3.1. Trayectoria. Definición.
2.3.3.2. Ciclo.
2.3.3.3. Relación de conectividad.
2.4. Propiedades de las relaciones.
2.4.1. Reflexividad.
2.4.2. Simetría.
2.4.2.1. Gráfica de la relación simétrica.
2.4.2.2. Lados no dirigidos.
2.4.2.3. Vértices adyacentes.
2.4.2.4. Relación simétrica conectada.
2.4.3. Asimetría.
2.4.4. Antisimetría.
2.4.5. Transitividad.
2.4.6. Relación de equivalencia.
2.4.6.1. Definición.
2.4.6.2. Partición.
2.4.6.3. Representación en computadora de relaciones y digrafos.
2.4.7. Relación complementaria.
2.4.7.1. Definición.
2.4.7.2. Aplicación.
2.4.7.3. Cerraduras.
2.4.7.3.1. Definición..
2.4.7.3.2. Cerradura reflexiva
2.4.7.3.3. Cerradura simétrica.
2.4.7.3.4. Cerradura transitiva.
3. Funciones.
3.1. Definición.
3.2. Argumento.
3.3. Imagen.
3.4. Dominio.
3.5. Rango.
3.6. Tipos especiales de funciones.
3.7. Funciones inyectivas.
3.8. Funciones sobreyectivas.
3.9. Funciones biyectivas.
3.10. Funciones inversas.
3.11. Funciones de Hashing.
4. Teoría de grafos (o gráficas).
4.1. Gráficas.
4.2. Aristas y vértices.
4.3. Vértice aislado.
4.4. Vértices adyacentes.
4.5. Trayectoria.
4.6. Circuito.
4.7. Gráfica conexa.
4.8. Gráfica disconexa.
4.9. Subgráficas y gráficas cociente.
4.10. Trayectorias y circuitos de Euler.
4.10.1. Concepto.
4.10.2. Algoritmo de Fleury.
Ingeniería en Informática - Plan 2008 Facultad Politécnica
Aprobado por Resolución 08/08/09-00 Acta 751/14/04/2008 del Consejo Directivo de la FP-UNA Página 3 de 4
4.11. Trayectoria y circuitos hamiltonianos.
4.12. Coloración de gráficas.
4.12.1. Concepto.
4.12.2. Polinomios cromáticos.
5. Álgebra de Boole.
5.1. Circuitos combinatorios.
5.1.1. Definición.
5.1.2. Compuertas.
5.1.2.1. AND.
5.1.2.2. OR.
5.1.2.3. NOT.
5.1.3. Tabla lógica.
5.2. Expresiones booleanas.
5.2.1. Concepto.
5.2.2. Propiedades.
5.2.3. Teoremas.
5.3. Álgebra boolenana.
5.3.1. Definición.
5.3.2. Teoremas.
5.3.3. Dual.
5.4. Funciones booleanas.
5.4.1. Concepto.
5.4.2. Teoremas.
5.5. Aplicaciones del Álgebra de Boole a circuitos combinatorios.
6. Estructuras algebraicas.
6.1. Semigrupos.
6.1.1. Concepto.
6.1.2. Semigrupo conmutativo.
6.1.3. Semigrupo libre generado por un conjunto no vacío.
6.1.4. Elemento identidad.
6.1.5. Isomorfismo.
6.1.6. Homomorfismo.
6.1.7. Semigrupos productos y cocientes.
6.2. Grupos.
6.2.1. Concepto.
6.2.2. Elemento inverso.
6.2.3. Grupo abeliano.
6.2.4. Teoremas de grupos.
6.2.5. Grupo finito.
6.2.6. Grupos productos y grupos cocientes.
6.2.7. Aplicación.
7. Sistemas numéricos.
7.1. Concepto.
7.2. Definición.
7.3. Teorema fundamental de la numeración.
7.4. Conversión de un sistema de numeración a otro.
7.5. Números enteros.
7.6. Conversión de un número en base b (binaria, octal, y hexadecimal) a la base 10.
7.7. Conversión de un número en base 10 a la base b.
7.8. Conversión de un número en una base cualquiera b a otra base cualquiera b´.
7.9. Números fraccionarios.
7.10. Conversión de un número en base b a la base 10.
7.11. Conversión de un número en base 10 a la base b.
7.12. Conversión de un número en una base cualquiera b a otra base cualquiera b´.
7.13. Operaciones en los sistemas de numeración.
7.13.1. Suma.
7.13.2. Resta.
7.13.3. Multiplicación.
7.13.4. División.
VI. - ESTRATEGIAS METODOLÓGICAS
1. Exposición oral de la teoría.
2. Resolución individual y grupal de ejercicios.
3. Presentación de trabajos prácticos.
VII. - MEDIOS AUXILIARES
1. Pizarra.
2. Marcadores.
Ingeniería en Informática - Plan 2008 Facultad Politécnica
Aprobado por Resolución 08/08/09-00 Acta 751/14/04/2008 del Consejo Directivo de la FP-UNA Página 4 de 4
3. Borrador de pizarra.
4. Bibliografía de apoyo.
VIII. - EVALUACIÓN
El aprendizaje y conocimiento adquirido por el alumno se medirá por medio de dos exámenes parciales y al menos dos
trabajos
prácticos, de cuyo promedio, conforme a la reglamentación de escalas, permitirá o no al alumno acceder al examen final,
donde será
evaluado sobre el total del contenido programático de la materia.
IX. - BIBLIOGRAFÍA
� Ayres, Frank, Álgebra Moderna / Frank Ayres .. México: Mc Graw Hill., 1991 – 242 p.
� García Valle, José Luis Matemáticas especiales para computación / José Luis García Valle – España: Mc. Graw Hill, 1988 –
472
p.
� Johnsonbaugh, Richard. Matemáticas Discretas / Richard Johnsonbaugh Traducido por Óscar Alfredo Palmas Velasco
Revisión
Técnica: Victor Hugo Ibarra Mercado 4ª Ed. – México: Prentice Hall, 1997. – 701 p.
� Kolman,Bernard. Estructuras de Matemáticas Discretas para la Computación / Bernard Kolman, Robert C. Busby, Sharon
Ross. -
- México : Prentice-Hall, 1997. -- 524 p
� Lipschutz, Seymor, Matemática para computación / Seymour Lipschutz. – México: Mc. Graw Hill, 1990 – 356p

http://www.pol.una.py/archivos/IngeInfo/programas/MatematicaDiscreta.pdf

Das könnte Ihnen auch gefallen