APELLIDO: ..................................... NOMBRE: ....................................

CURSO: K 1…………

Recuperatorio de 2do parcial de MATEMÁTICA DISCRETA

(Miércoles 19-02-2020)

TEMA: 07 DOCENTE: ……………………………………

1 2 3 4 5 Nota Final

Para aprobar es necesario tener 6 ítems bien. Tiempo disponible: 2 HORAS

Ejercicio n°1: Sea la ecuación en recurrencia: a n+2 - 4 an+1 - 5 an = 10 • 4n

a) Halle la solución particular para a0 = 1  a1 = 7
b) Demuestre por inducción que dicha solución es la correcta.

Ejercicio n°2: Sea el grupo (Z3 X Z4; +)

a) Sin hacer la tabla, indique si es cíclico y haga la red de subgrupos.
b) Considere H = < (1;2) >, y si es posible halle el grupo cociente (Z 3 X Z4) / H

Ejercicio n°3: Sea el grafo G = ( V={1,2,3,4,5,6,7} ; A= {x,y,z,t,w,p,q,r,s} ; φ )

a x y z t w p q r s
φ (a) {1;2} {2;4} {3;4} {3;1} {7;2} {2;5} {6;5} {3;5} {1;6}

a) Analice si se trata de un grafo bipartito. En caso afirmativo señale la partición de V.

b) Indique si existen, todos los puntos de corte y puentes del grafo. Indique un conjunto de
corte de cardinal 2. Justifique.

Ejercicio n°4: Sea la gramática G = ( {S,X,Y} ; {a,b,c} ; P ; S )

con P: { S → abS │ cX ; X → ccX │ Ya ; Y → bY │ b }
a) Indique el tipo de G justificando. Halle L(G) e indique su tipo.
b) Si es posible, diseñe un autómata finito que reconozca L(G).

Ejercicio n°5: Indique V o F, demostrando o justificando como corresponda:

a) La ecuación en congruencia: 6006 • x  6510 (6840) tiene 6 soluciones principales.
b) El resto de dividir 5133148963 por 11 es 8.

Firma del alumno: Cantidad de hojas entregadas:.. ......

RESPUESTAS:
Ej 1: an = 3 • 5n – 2 • 4n
Ej 2: a) Es cíclico (es isomorfo a Z12)
Red de subgrupos:
H1 = {(0;0)} H2 = {(0;2), (0;0)} H3 = {(1;0), (2;0), (0;0)}
H4 = {(0;1), (0;2), (0;3), (0;0)}
H5 = {(1;2), (2;0), (0;2), (1;0), (2;2), (0;0)}
H6 = Z3 X Z4
b) H = < (1;2) >= {(1;2), (2;0), (0;2), (1;0), (2;2), (0;0)}
Grupo cociente (Z3 X Z4) / H = { H , A } siendo A = {(1;1), (0;3), (2;1), (1;3), (0;1), (2;3)}

Ej 3: a) Es bipartito no completo. Partición de V = { {1,4,5,7}, {2,3,6} }

b) Puntos de corte: “2” Puentes: “w” Conjunto de corte de cardinal 2: {y,z} o {q,s}

Ej 4: a) L(G) = { (ab)n c2m+1 bp a / n  0 , m  0 , p > 0 }

G es tipo 2 pero L(G) es tipo 3 o regular.
b) Un autómata puede ser:

Recordar: para que el A.F. sea correcto debe

reconocer exactamente todas las palabras del
lenguaje, ni más ni menos.

Ej 5:
a) VERDADERO, m.c.d.(6006,6840)=6  6 │ 6510

b) FALSO. 5133148963 = 5133148960+3 = 5133148960 • 53 = 510 • 13314896• 53 = (510) 13314896• 53

Como 510  1 (11) entonces 5133148963  53 (11)  4 (11) el resto es 4

Firma del alumno: Cantidad de hojas entregadas:.. ......