Profesorado de Informtica - Ciencias de la Computacin - INET DFPD Matemtica Discreta usando el computador 2010 (Matemtica I)

Examen de matemtica I

24 / 09 / 2010

Ejercicio N 1) a) Sea R una relacin de N X N en N X N tal que (a,b) R (c,h) ac y bh Indicar que propiedad(es) de las siguientes cumple R : reflexiva, antirreflexiva, simtrica, antisimtrica, asimtrica, transitiva. Justificar. b) Indique si R es una relacin de equivalencia. En caso afirmativo, hallar [(3,5)]. c) Indique si R es una relacin de orden. En caso afirmativo, si es de orden total o parcial. Cul es el primer elemento, si es que lo hay? Cuntos elementos estn relacionados con el (3, 8) ? El (4,7) con cuntos elementos est relacionado ? Ejercicio N 2)

x2 6 x + 5 x+2 a) Clasificar la funcin f : ` ` tal que f : f ( x) = x 1 x

si si si si

x3 4 x5 6 x9 x 10

b) Sea g : A ` tal que g ( x ) = 3.x + 1 es una funcin sobreyectiva. Hallar A. Justificar.

Ejercicio N 3) En Haskell hacemos la funcin primavera de la siguiente forma: primavera :: String -> Integer primavera "" = 0 primavera (a:xs) = 1 + primavera (xs) a) Qu es lo que hace dicha funcin? b) Qu resultado espera si en la lnea de comando digitamos primavera flores y luego enter? Detalle la secuencia de comandos.

Ejercicio N 4) a) En que casos se cumple que A B = B A , siendo A y B conjuntos ? b) Es cierto o falso que si A B = A H entonces B H H B ? Justifique. Ejercicio N 5) a) Definir por casos la funcin "sumaplus" que recibe dos naturales (N) y devuelve el nmero natural siguiente a la suma de ambos. Indicar su tipo. Ejemplo: sumaplus (S(S Z)) (S Z) = S(S(S(S Z))) b) Dar la secuencia de cmputo para sumaplus (S(S Z)) (S(S Z))). Ejercicio N 6) Probar la siguiente propiedad: n `, m ` , suma n (S m) = suma (S n) m

Prof. Ing. Paula Echenique, Prof. Germn Ferrari , Prof. Sal Tenenbaum. http://matematicagerman.blogspot.com/ - http://www.x.edu.uy/inet.htm