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.