FACULTAD DE CIENCIAS - U.C.V.

NOMBRE:__________________________________
ESCUELA DE COMPUTACIÓN
MATEMÁTICAS DISCRETAS II C.I._____________________ SECC:________
SEMESTRE I 2016
PRIMER EXAMEN PARCIAL
NO SE PERMITE USAR CALCULADORA NI DISPOSITIVOS ELECTRÓNICOS DE NINGÚN TIPO

1.- Resuelva la relación de recurrencia an+1 = 6an-1 + 2an , para n≥1 , con a0=-3 , a1=4
RESPUESTA: an = _________________________________(para n≥0) a14 =_____________
(Justifique formalmente) (3 pts)

2.- Sea el conjunto A={1,2,3,4,5,6} y sean las relaciones binarias Q,R,S,T‫ك‬AൈA cuyas respectivas
representaciones matriciales son las siguientes: ‫׊‬i,j߳A : i se relaciona con j sii Mij = 1

1 1 0 0 0 0 1 0 0 0 0 0 1 1 0 0 0 0 1 1 0 0 0 0
0 1 0 0 0 0 0 1 0 0 0 0 0 1 1 0 0 0 1 1 0 0 0 0
0 1 1 0 0 0 0 0 1 0 0 0 1 0 1 0 0 0 0 0 1 0 0 1
MQ = 1 1 1 1 0 1 MR = 0 0 0 1 0 0 MS = 0 0 0 1 0 1 MT = 0 0 0 1 1 0
0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 1 1 0
1 1 0 0 0 1 0 0 0 0 0 1 0 0 0 0 1 1 0 0 1 0 0 1

i) Responda (Sí ó No) las preguntas sobre c/u de dichas relaciones en la siguiente tabla: (3 pts)
AQUÍ CADA ERROR Q R S T
ANULA UN ACIERTO Sí/No Sí/No Sí/No Sí/No
¿Es simétrica?

¿Es reflexiva?

¿Es antisimétrica?

¿Es transitiva?

¿Es relación de equivalencia?

¿Es relación de orden?

ii) Para la relación de orden indicada por Ud. en (i) dibuje arriba (junto a la tabla) el correspondiente
diagrama de Hasse y señale en el mismo los elementos distinguidos: maximal(es), minimal(es),
máximo y mínimo. (1 pto)

iii) Sea el subconjunto B={3,6} en la relación de orden indicada por Ud. en (i) indique aquí:
Cotas_Superiores(B) = {____________________} Supremo(B) = __________ (1 pto)
Cotas_Inferiores(B) = {____________________} Infimo(B) = __________

iv) ¿Es reticulado la relación de orden indicada por Ud. en (i)? ¿Por qué? Justifique formalmente.
RESPUESTA:___(Sí/No) (0,5 pts)
v) Para la relación de equivalencia indicada por Ud. en (i) indique aquí el conjunto cociente
RESPUESTA: A/___ = {________________________________________________} (0,5 pts)
3.- Sea una relación binaria R‫ك‬AൈA, complete (usando símbolos, cuantificadores, operadores, etc.)
c/u de las siguientes definiciones formales: (4 pts)

a) R es simétrica sii _____________________________________________________________

b) R es reflexiva sii _________________________________________________________________
c) R es antisimétrica sii ______________________________________________________________
d) R es transitiva sii ______________________________________________________________
e) R es relación de equivalencia sii es _______________ , _______________ y _______________
f) Sea R una relación de equivalencia, sea x A , se denomina clase de equivalencia de x
al conjunto [x] = {_______________________________}
g) Sea R una relación de equivalencia, se denomina conjunto cociente de R
al conjunto A/R = {_______________________________}
h) R es relación de orden sii es _______________ , _______________ y _____________________
i) Sea R una relación de orden, sean x,y A , x e y son comparables sii________________________
j) R es una relación de orden total sii ___________________________________________________
k) Sea R una relación de orden, sea x‫א‬A , x es mínimo sii _________________________________
l) Sea R una relación de orden, sea x‫א‬A , x es máximo sii __________________________________
m) Sea R una relación de orden, sea x‫א‬A , x es minimal sii _________________________________
n) Sea R una relación de orden, sea x‫א‬A , x es maximal sii _________________________________
o) Sea R una relación de orden, sea B‫ك‬A , sea x‫א‬A , x es cota inferior de B sii ________________
p) Sea R una relación de orden, sea B‫ك‬A , sea x‫א‬A , x es cota superior de B sii ________________
q) Sea R una relación de orden, sea B‫ك‬A , sea C={x A / x es cota ____________ de B} , sea y‫א‬C ,
y es ínfimo de B sii _______________________
r) Sea R una relación de orden, sea B‫ك‬A , sea C={x A / x es cota ____________ de B} , sea y‫א‬C ,
y es supremo de B sii ________________________
s) Una relación de orden R es reticulado sii ______________________________________________

4.- Sea B⊆ℜ (conjunto de números reales), considere la estructura algebraica (B,⊗) donde ⊗ es una
Ley de Composición Interna definida como sigue ‫׊‬a,b‫א‬B : a⊗b= 2ab (4 pts)

i) Indique el conjunto más grande posible B para que (B,⊗) sea un grupo y demuestre formalmente
sus propiedades. RESPUESTA: B={x‫א‬ℜ / ______________ }

ii) Indique un subgrupo (A,⊗) de (B,⊗) con |A|=2 elementos. RESPUESTA: A={ ___ , ___ }
iii) ¿Es (B,⊗) un grupo abeliano? ¿Por qué? Justifique formalmente. RESPUESTA:____(Sí/No)

5.- Sean los grupos (Z,+) , ({-1,1},‫ )כ‬y sea la función g : Z → {-1,1} definida como ‫׊‬n‫א‬Z : g(n)= (-1)n
a) Demuestre formalmente que g es un homomorfismo de grupos. (3 pts)
b) ¿Es g un isomorfismo de grupos? ¿Por qué? RESPUESTA:____ (Sí/No) Justifique formalmente.
AB/AN/JV-Ago.2016