GRADO EN INFORMTICA. Modelo de Examen de Matemtica Discreta, Enero 2012.

(Mximo obtenible: 18 puntos)

NOTAS MUY IMPORTANTES CON RELACIN AL EXAMEN

1. En todos los ejercicios ha de EXPLICARSE CON DETALLE el

proceso seguido. Se calificar con 0 (cero) puntos cualquier
ejercicio que carezca de explicaciones, aunque el resultado final
sea el correcto.
2. NO SE PUEDEN DEJAR EJERCICIOS EN BLANCO. Dejar uno o ms
de ellos implica automticamente NO APROBAR el examen, con
nota total 0 (cero).
3. Para SUPERAR el examen, una vez satisfechas las condiciones 1 y
2 anteriores, ser necesario obtener COMO MNIMO 9 (nueve)
puntos, y en CADA EJERCICIO AL MENOS 1 punto.
4. HORA Y MEDIA.

Ejercicio Primero (Combinatoria y recurrencia) (3+3 puntos).

En el Anlisis Matemtico se estudia la regla de Leibniz para la derivada n-
n
n
sima de un producto de funciones: ( f ( x) g ( x))( n ) f ( k ) ( x) g ( n k ) ( x) , que
k 0 k

es anloga a la regla de la potencia de un binomio. Deducir esquemticamente

la regla para derivada n-sima del producto de tres funciones,
( f ( x) g ( x)h( x))( n ) . Tambin, calcular, para el caso n 4 , el coeficiente de
f '( x) g ''( x)h '( x) .
Resolver la relacin de recurrencia an2 2an 35an2 , con las condiciones
iniciales a1 1, a2 0, a3 1, a4 0 . Escribir los 6 primeros trminos para
comprobar el resultado.

Ejercicio Segundo (Aritmtica Entera y Modular) (3+3 puntos).

Resolver en 11 , caso de que sea posible, el siguiente sistema:
2x 3y 5

10 x 4 y 3
El nmero 2012, correspondiente al ao en curso, no es primo. Calcular el
nmero total de divisores que posee y escribirlos todos.

Ejercicio Tercero (Conjuntos y Lgica) (3+3 puntos)

Se consideran dos conjuntos A, B, no vacos. Se construyen dos nuevos
conjuntos: X P( A B) P( B A), y Z P( A B) P( B A). Investigar si
alguna de las dos relaciones X Z , Z X es vlida Puede darse la igualdad
en algn caso? Ilustrar con algn ejemplo.
Una versin del teorema de Rouch-Frbenius para sistemas de ecuaciones
lineales con igual nmero de ecuaciones que de incgnitas establece que si el
rango de la matriz ampliada es igual al rango de la matriz del sistema, y a su
vez igual al nmero de incgnitas, entonces la solucin del sistema es nica.
Escribir tal expresin en forma lgica usando proposiciones, conectivas,
cuantificadores Formular tambin los teoremas recproco y contrarrecproco,
primero en forma lgica y despus en lenguaje ordinario.