UTFSM - Departamento de Informtica - Fundamentos de Informtica I - 1 sem.

de 2009

1. Clculo proposicional
1. Suponiendo que p y q son verdaderos y r y s son falsos, encuentre los valores de verdad
de las siguientes expresiones:

a ) p (q r)
b ) (p (q r)) ((p q) (r s))
c ) ((p q) r) (((p q) r) s)
2. Las variables enteras m y n reciben los valores de 3 y 8 respectivamente durante la
ejecucin de cierto programa en Pascal1 . Este programa contiene las siguientes lneas
de cdigo sucesivas (o sea, los valores de m y n despus de ejecutar un enunciado
se convierten en los valores de entrada para el enunciado siguiente). Cules son los
valores de m y n despus de ejecutar cada uno de los enunciados?

a)

if n-m = 5 then n := n-2;

b)

if ((2*m = n) and (n Div 4 = 1)) then n := 4*m-3;

c)

if ((n < 8) or (m Div 2 = 2)) then n := 2*m else m := 2*n ;

d)

if ((n < 20) and (m Div 6 = 1)) then m := m-n-5;

e)

if ((n = 2 * m) or (n Div 2 = 5)) then m := m+2;

f)

if ((n Div 3 = 3) and (m Div 3 <> 1)) then m := n;

g)

if m * n <> 35 then n := 3*m+7;

3. Construir la tabla de verdad para cada una de las siguientes expresiones. Indique para
cada expresin si es una tautologa, una contradiccin o una contingencia. Obtenga
para cada una de ellas las expresiones lgicas ms simples.

a ) (p (p q)) q
b ) (p q) (p q))
c ) ((p q) (q r)) (p r)
d ) (p q) ((p q) (p q))
e ) (q (p q)) p
f ) (p (q r)) ((p q) (p r))
4. Sea p la proposicin 2 = 5. Si es posible, encuentre una proposicin q tal que p q
p q sea verdadera. Si es posible, encuentre una proposicin r tal que p r p r
sea falsa.
5. Encuentre las tablas de verdad de (p q) r y p (q r). Encuentre proposiciones
p, q, r tal que una de las proposiciones compuestas anteriores sea V y la otra F.
6. Traduzca en lenguaje de lgica la siguiente regulacin utilizando las proposiciones
dadas:
Un empleado es elegible para unas vacaciones de tres semanas si: i) l o ella es un
empleado temporal que no recibe pago adicional de vacaciones y que ha estado con la
1

El operador Div es divisin entera.

UTFSM - Departamento de Informtica - Fundamentos de Informtica I - 1 sem. de 2009

compaa durante un ao, o ii) si l o ella es un empleado permanente que ha estado

al menos seis meses en la compaa.

P1 : El empleado es elegible para unas vacaciones de tres semanas.

P2 : El empleado es un empleado temporal.
P3 : El empleado recibe paga de vacaciones.
P4 : El empleado ha estado en la compaa al menos durante un ao.
P5 : El empleado es un empleado permanente.
P6 : El empleado ha estado en la compaa al menos seis meses.
7. Despus de dejar un pastel recin horneado en la mesa de la cocina, la ta Natalia se fue
de compras dejando a sus 4 sobrinos en la casa. Al regresar, ella descubre que alguien
se comi la mitad del pastel e incluso dej el plato sucio junto a la mitad restante.
Puesto que no haba nadie ms en la casa aparte de los sobrinos, la ta interroga a
cada uno de ellos. Los cuatro sospechosos dicen lo siguiente:
Carlos:
Delia:
Ximena:
Too:

Ximena se comi el pastel.

Yo no me lo com.
Too se lo comi.
Ximena minti cuando dijo que yo me com el pastel.

Si slo una de estas proposiciones es verdadera, y slo uno de ellos cometi el terrible
crimen, quin es el culpable que la ta debe castigar severamente?
8. En un caf se encontraron tres amigos: el escultor Blanco, el violinista Negro y el pintor
Rojo. Es sorprendente que uno de nosotros tiene el cabello blanco, el otro negro y
el tercero pelirrojo, pero ninguno tiene el cabello del color que indica su nombre,
dijo el pelinegro. Tienes razn, dijo Blanco. De qu color es el cabello del pintor?
Justique.
9. Refute y exprese cada una de las siguientes proposiciones en espaol.

a ) Karina tendr una buena educacin si pone sus estudios antes que su inters en
ser estrella de cine.
b ) Norma est haciendo su tarea de matemticas y Claudia est practicando sus
lecciones de piano.
c ) Si Lorenzo se va de vacaciones, entonces el se divertir si no le preocupa viajar
en avin.
d ) Si Homero aprueba su curso de programacin y termina su proyecto de estructura
de datos, podr tomar el curso de lenguajes de programacin el prximo semestre.
10. Demuestre las siguientes equivalencias lgicas, especicando en cada paso la propiedad,
equivalencia o razn para establecerla:

a ) p (p (p q)) p
b ) p q (p q r) p q r
c ) ((p q) (p q r)) p q
d ) p ((q (r r)) (q ((r s) (r s)))) p

UTFSM - Departamento de Informtica - Fundamentos de Informtica I - 1 sem. de 2009

11. Simplique las siguiente expresiones:

a ) ((p q) (p r)) ((r q) (p q))

b ) (p q) (p r q)
c ) (p q) (p (r s)) (p q s)
d ) ((p q) (p r) ((p q) r) (p q r)
e ) ((p (q r)) (p (q r))) (p r)
12. Una especicacin es consistente, si existe una asignacin de valores de la verdad
a las variables que hagan cada expresin verdadera. Son consistentes las siguientes
especicaciones?

a ) Si el sistema de archivos no est bloqueado, entonces

1) Nuevos mensajes se pondrn a la cola.
2) Nuevos mensajes se mandarn al buer de mensajes.
3) El sistema funciona normalmente y sin demoras.

b ) Si los nuevos mensajes no son puestos en cola, entonces se mandan al buer de

los mensajes.
c ) Los nuevos mensajes no se mandarn al buer de los mensajes.

2. Clculo de predicados
1. Sean p(x), q(x) y r(x) las siguientes proposiciones abiertas: p(x) : x 3, q(x) : x + 1
es impar, r(x) : x > 0. El universo es el conjunto de los nmeros enteros.

a ) Determine los valores de la verdad de las siguiente proposiciones:

1)
2)
3)
4)

p(3) (q(3) r(3))

(p(2) q(2)) r(2)
p(0) (q(1) r(1))
(p(1) q(2)) r(3))

b ) Determine todos los valores de x para los cuales p(x) q(x) r(x) da como
resultado una proposicin verdadera.
c ) Encuentre los cinco enteros positivos ms pequeos para los cuales la proposicin
abierta p(x) (q(x) r(x)) da como resultado una proposicin verdadera.
2. Para el universo de los enteros, sean p(x), q(x), r(x), s(x) y t(x) las siguientes proposiciones:
p(x): x > 0
s(x): x es (exactamente) divisible por 4
q(x): x es par
t(x): x es (exactamente) divisible por 5
r(x): x es un cuadrado perfecto

a ) Escriba las siguientes proposiciones en forma simblica y determine, justicadamente, su valor de verdad.
1) Al menos un entero es par.
2) Existe al menos un entero positivo que es par.

UTFSM - Departamento de Informtica - Fundamentos de Informtica I - 1 sem. de 2009

3)
4)
5)
6)

Si x es par, entonces x no es divisible por 5.

Ningn entero par es divisible por 5.
Existe al menos un entero par divisible por 5.
Si x es par y es un cuadrado perfecto, entonces x es divisible por 4.

b ) Exprese en palabras cada una de las siguientes representaciones simblicas.

1)
2)
3)
4)
5)

x (r(x) p(x))
x (s(x) q(x))
x (s(x) t(x))
x (s(x) q(x))
x (r(x) q(x) s(x))

3. D un ejemplo de una interpretacin que haga verdaderas x p(x) y x(q(x) p(x))

pero que no haga verdadera x q(x).
4. En cada uno de los siguientes casos, decida si la equivalencia lgica expresada es verdadera o no. En caso de que su respuesta sea negativa, indique si una de las implicaciones
lgicas es correcta o si son ambas falsas. Justique sus respuestas.

a ) x (p(x) q(x)) x (p(x)) x (q(x))

b ) x (p(x) q(x)) x (p(x)) x(q(x))
c ) x (p(x) q(x)) x (p(x)) x (q(x))
d ) x (p(x) q(x)) x (p(x)) x (q(x))
e ) x (p(x) q(x)) x (p(x)) x (q(x))
f ) x (p(x) q(x)) x (p(x)) (q(x))

3. Demostraciones formales
1. Considere el siguiente argumento: "Fue X o Y quien cometi el crimen. X estaba fuera
del pueblo cuando el crimen fue cometido. Si X estaba fuera del pueblo, no pudo haber
estado en la escena del crimen. Si X no estaba en la escena del crimen, no pudo haber
cometido el crimen."
Formule esto como una demostracin formal y derive la conclusin. Use P1 para "X
cometi el crimen", P2 para "Y cometi el crimen", Q para "X estaba fuera del pueblo",
y R para "X no estuvo en la escena del crimen".
2. Traducir los siguientes argumentos a lgica proposicional usando los operadores , ,
, y . Determinar si la deduccin es correcta o no. Si es incorrecta, identicar el
escenario en el cual los antecedentes se cumplen, pero no la conclusin.

a ) El plato principal ser pescado carne. El acompaamiento ser arvejas choclo. No comeremos pescado como plato principal y choclo como acompaamiento.
Entonces, no comeremos carne como plato principal y arvejas como acompaamiento.
b ) O John o Bill estn diciendo la verdad. O Sam o Bill estn mintiendo. Entonces,
o John est diciendo la verdad, Sam miente.

UTFSM - Departamento de Informtica - Fundamentos de Informtica I - 1 sem. de 2009

c ) O las ventas aumentan y el jefe estar feliz, o los gastos aumentan y el jefe no
estar feliz. Entonces, las ventas y los gastos no aumentarn ambos.
3. Establezca la validez de los siguientes argumentos.

a ) [(p q) r] ((p r) q)
b ) [p (p q) (q r)] r
c ) [(p q) (p (r q)) (r (s t)) s] t
d ) [(p (q r)) (p s) (t q) s] (r t)
e ) [(p q) (p r) r] q
4. Muestre con un contraejemplo que ninguno de los siguientes argumentos es vlido; es
decir, d una asignacin de valores de verdad a las proposiciones primitivas p, q , r y s
de modo que las premisas sean verdaderas y que la conclusin sea falsa.

a ) [(p q) (p (q r))] r
b ) [((p q) r) (q r)] p
c ) [(p q) (q r) (r s) (s q)] s
d ) [p (p r) (p (q r)) (q s)] s
5. Considere la expresin:
1.
2.
3.
4.
5.
6.
7.
8.
9.
10.

x p(x) xy(p(x) p(y) (x = y))

x(p(x) y(p(y) (x = y)))

Paso
x p(x) xy(p(x) p(y) (x = y))
p(a) xy(p(x) p(y) (x = y))
xy(p(x) p(y) (x = y))
y(p(a) p(y) (x = y))
p(a) p(y) (x = y)
p(y) (x = y)
(p(y) (x = y))
p(a)
p(a) y(p(y) (x = y))
x(p(x) y(p(y) (x = y))

Lneas, Razn
Premisa
1, Particularizacin existencial
2, Simplicacin
3, Particularizacin universal
4, Particularizacin universal
5, Simplicacin
6, Generalizacin universal
2,5, Modus tollens
7,8, Combinacin
9, Generalizacin existencial

6. Demuestre la validez de los siguientes argumentos:

a)

(p q) r
rs
s q
p

b)

p (q r)
(p (q r))
(p r)

c)

xp(x) xq(x)
xq(x)
xp(x)

UTFSM - Departamento de Informtica - Fundamentos de Informtica I - 1 sem. de 2009

d)

xyq(x, y) xyq(x, y)
xyq(x, y)
(xyp(x, y))

e)

x[(c(x) s(x)) (e(x) p(x))]

x[(s(x) e(x)) (c(x) p(x))]
x(c(x) p(x))
xs(x) e(x)
[c(a) e(a)] p(a)
s(a)

4. Conjuntos
1. Determine conjuntos A y B que satisfacen simultneamente (justique):

A B = {1, 2, 3, 4, 5, 6, 7}, A B = {1, 2}, A B = {5}

2. Sea:

A = {x N | x es impar x 11}
B = {x N | (k N : x = 3k) (x 12)}
C = {x N | x 12}
Expresar cada uno de los conjuntos siguientes en trminos de uniones, intersecciones,
complementos y diferencias de A, B , C :

a ) El conjunto de los nmeros pares del 2 al 12

b ) El conjunto de los elementos de C que al dividirlos por 3 dejan resto 2
c ) El conjunto {3, 9}
d ) El conjunto {2, 3, 4, 6, 8, 9, 10, 12}
3. Sean A, B y C Z2 , donde A = {(x, y)| y = 2x + 1}, B = {(x, y)| y = 3x} y
C = {(x, y)| x y = 7}. Determine lo siguiente:

a) A B
b) B C
c) A C
d) B C
e ) Cmo afecta las respuestas anteriores si A, B y C Z+ Z+ ?
4. Suponiendo que A, B, C son conjuntos en un universo de referencia, demuestre:

a ) A 6= B x((x A x
/ B) (x
/ A x B))
b ) A (B C) = (A B) (A C)
c ) A (B C) = (A B) (A C)
d ) (A C = B C) (C 6= ) A = B
e ) A (B C) = (A B) (A C)
f ) (A B) C = (A C) (B C)
g ) (A B C) (A B)

UTFSM - Departamento de Informtica - Fundamentos de Informtica I - 1 sem. de 2009

h ) (A B) (A B C)
5. Demuestre refute, suponiendo que A, B, C son conjuntos en un universo de referencia:

a) A B = A C B = C
b) A B = A C B = C
c) A B = A C

AB =AC

d) A B = A C

AB =AC

B=C

B=C

e ) A P(A) = P(A)
f ) A P(A) = P(A)
g ) {A} P(A) = P(A)

5. Funciones
1. Encontrar el dominio y el rango de las siguientes funciones:

a ) funcin f que asigna a un entero no-negativo su ltimo dgito

b ) funcin f que asigna a un entero el nmero positivo inmediatamente ms grande
c ) funcin f que asigna a una cadena de bits la diferencia entre la cantidad de 1 y
la cantidad de 0 de esa cadena
d ) funcin f que asigna a un entero positivo el mayor perfecto cuadrado que es
menor que ese nmero
e ) funcin f que asigna a un par de enteros positivos el primer entero del par
2. Demostrar que la funcin estrictamente creciente es inyectiva.
3. Determinar si la funcin f : Z Z Z es uno-a-uno. Adicionalmente, determinar si
f es sobre. Justicar su decisin en ambos casos.

a ) f (m, n) = m n
b ) f (m, n) = m + n
c ) f (m, n) = m2 n2
d ) f (m, n) = |n|
e ) f (m, n) = m2 4
4. Sea f : A B una funcin, un conjunto S A y un conjunto T A. Demostrar que
f (S T ) = f (S) f (T ).
5. Sean g : A B y f : B C funciones.

a ) Demostrar que si f y g son uno-a-uno, entonces f g tambin lo es.

b ) Demostrar que si f y g son sobre, entonces f g tambin lo es.
6. Sean f , g : R R. f (x) = x2 + 1 y g(x) = x + 2. Encontrar f g y g f .
7. Sean f , g : R R. f (x) = ax + b y g(x) = cx + d, donde a, b, c y d son constantes.
Determine para cuales constantes a, b, c y d es verdad que f g = g f .

UTFSM - Departamento de Informtica - Fundamentos de Informtica I - 1 sem. de 2009

8. Demostrar que:

a ) x R dbxce = bxc
b ) x R y R dx + ye = dxe + dye
c ) x R y R bx + yc = bxc + byc
d ) x R y R dxye = dxedye
e ) x R y R z R ddx + ye + ze = dx + dy + zee
f ) x R y R z R bbxyczc = bxbyzcc
9. Dibujar el grco de las siguientes funciones:

a ) f (x) = bx + 12 c
b ) f (x) = dx 2e + bx + 2c
c ) f (x) = d x2 eb2xc
d ) f (x) = bx2 c

6. Induccin
1. Demuestre que n N:

a ) 7n 2n es divisible por 5, n N.
b ) 11n 4n es divisible por 7, n N.
c ) 5n+1 + 2 3n + 1 es divisible por 8, n N.
d ) 8n+1 + 92n+1 es divisible por 73, n N.
e ) Todo entero formado por 3n dgitos idnticos, es divisible por 3n .
f ) n2 1 es divisible por 8 para todo entero impar positivo.
2. Demuestre que 2n (n + 1)!.
P
3. Demuestre que nk=1 k 2 = n(n+1)(2n+1)
, n 1.
6
P
4. Demuestre que nk=1 2k1 = 2n 1.
P
P
5. Demuestre que nk=1 k 3 = ( nk=1 k)2 .
P
P
P
6. Demuestre que ( nk=1 ak bk )2 nk=1 a2k nk=1 b2k .
7. Demuestre que 2n1 (an + bn ) > (a + b)n , donde a + b > 0, a 6= b y n > 1.
8. Demuestre n N:
n
X

1
n
a)
i
i=1
n
X

1
2 n1
b)
i
i=1

UTFSM - Departamento de Informtica - Fundamentos de Informtica I - 1 sem. de 2009

9. Demuestre que n N:

2n n!
<
a) Qn
k=1 (3k + 2)
10. Si n N : an

n+2
2(n + 1)

n
2
3

n
Y
1 i+1 (n + 1)n+1
b)
=
1+
i
n!
i=1

1
1
1
1 2 1
demuestre que an =
=
1 2
2
3
(n + 1)2

7. Denciones recursivas e induccin

1. Sea (an )nN la sucesin tal que: a1 = 2,

a) a2k1 < a2k+1

c) a2k1 < 3

an+1 =

b) a2k > a2k+2

d) a2k > 3

12
. Demuestre que k N:
1 + an

2. Dena recursivamente la sucesin (an )nN si:

(a) an = 6n

(b) an = 4n 2

(c) an = 1 + (1)n

(d) an = n2

3. Dena recursivamente el conjunto de los enteros positivos impares, el de los enteros

que son potencia de 3, y el de los polinomios con coecientes enteros.
4. Dena recursivamente cada uno de los siguientes conjuntos de pares ordenados de
enteros positivos:

a ) S = {(a, b) : a Z+ , b Z + , a + b es impar}
b ) S = {(a, b) : a Z+ , b Z + , a divide a b}
c ) S = {(a, b) : a Z+ , b Z + , 3 divide a a + b}
5. En cada una de las siguientes sucesiones denidas de manera recursiva, demuestre la
validez de la expresin cerrada para el n-simo trmino n N:

1
an = (an1 an2 )
6
= 68 2n 99 3n

a ) a1 = 1,
an

a2 = 6,

para n > 2,

b ) a1 = 10, a2 = 47, an = 23an1 60an2

an = 20n1 + 3n+1

an

para n 3,

a2 = 3, an = 12 (an1 + an2 ) para n 2,

n1
4
1

3
2
a2 = 1, an+1 = n(an + an1 ),n entonces
1
1
1
(1)
= n! 1 + + +
1! 2! 3!
n!

c ) a1 = 1,
7
an =
3
d ) a1 = 0,

entonces
entonces

entonces

6. Considere la sucesin de Fibonacci (fn )nN , con f0 = 1, f1 = 1. Demuestre que

n N:

UTFSM - Departamento de Informtica - Fundamentos de Informtica I - 1 sem. de 2009

(a)

n
X

fi = fn+2 1

(b)

i=0

(d)

n
X

n
X

f2i1 = f2n 1

(c)

i=0

fi2

= fn fn+1

n
X

10

f2i = f2n+1

i=0

(e) fn+m = fn2 fm + fn1 fm+1

(f ) fn+5 > 10fn

i=0

7. Considere el conjunto T N N denido recursivamente de la siguiente forma:

i) (0, 0) T
ii) (m, n) T (m + 1, n), (m + 1, n + 1), (m + 1, n + 2) T .

a ) Liste seis elementos de T

b ) Demuestre que si (m, n) T , entonces 2m n,

n N

8. Dena recursivamente la funcin unos(s), que cuenta la cantidad de unos en una

cadena de bits. Use la induccin estructural para demostrar que unos(s+t) = unos(s)+
unos(t).
9. Use la induccin estructural para demostrar que n(T ) 2h(T )+1, donde T es el rbol
binario completo, n(T ) es el nmero de nodos y h(T ) es la altura del rbol T .
10. Demuestre que un rbol no vaco de n nodos contiene exactamente n + 1 subrboles
vacos.

8. Principios fundamentales de conteo

1. Cuntas cadenas de 8 letras de alfabeto latino (26 letras) hay, tales que

a ) no contienen vocales, y las letras se pueden repetir?

b ) no contienen vocales, y las letras no se pueden repetir?
c ) empiezan con una vocal, y las letras se pueden repetir?
d ) empiezan con una vocal, y las letras no se pueden repetir?
e ) contienen al menos una vocal, y las letras se pueden repetir?
f ) contienen exactamente una vocal, y las letras se pueden repetir?
g ) empiezan con letra x, contienen al menos una vocal, y las letras se pueden repetir?
h ) empiezan y terminan con letra x, contienen al menos una vocal, y las letras se
pueden repetir?
2. Un palindromo es una cadena, cuya cadena inversa es idntica al original. Cuntas
cadenas de bits de largo n son palindromos?
3. De cuntas maneras el fotografo de una boda puede ordenar a 6 personas para una
foto, si

a ) la novia debe estar al lado del novio?

b ) la novia no est al lado del novio?
c ) la novia est en alguna parte a la izquierda del novio?
4. Un cajn contiene 12 calcetines marrones y 12 calcetines negros, todos sin emparejar.
Un hombre saca calcetines en la oscuridad.

UTFSM - Departamento de Informtica - Fundamentos de Informtica I - 1 sem. de 2009

11

a ) Cuntos calcetines debe sacar para asegurarse de tener al menos 2 del mismo
color?
b ) Cuntos calcetines debe sacar para asegurarse de tener al menos 2 calcetines
negros?
5.

a ) Demostrar que si cinco enteros se seleccionan de los primeros ocho enteros positivos, debe haber un par de enteros cuya suma es igual a 9.
b ) Se mantendr la conlcusin de la parte (a), si se sacan 4 enteros en ves de cinco?

6. Una moneda se lanza al aire 10 veces, saliendo cara sello cada vez. Cuntos resultados posibles

a ) son en total?
b ) contienen exactamente 2 caras?
c ) contienen a lo ms 3 sellos?
d ) contienen el mismo nmero de caras y sellos?
7. Un club tiene 25 miembros.

a ) De cuntas maneras se puede elegir 4 miembros del club para servir en un comit
ejecutivo?
b ) De cuntas maneras se puede elegir un presidente, un vice-presidente, un secretario y un tesorero del club?
8. Una heladeria vende conos simples (de un sabor) de helado de vanilla, frutilla, almedras, chocolate, frambuesa, pia, lucuma y caf. Cuntas maneras hay para elegir

a ) 6 helados?
b ) 12 helados?
c ) 24 helados?
d ) 12 helados con al menos 1 sabor de cada uno?
e ) 12 helados con al menos 3 de frutilla y no ms de 2 de pia?
9. Cuntas soluciones tiene la ecuacin x1 + x2 + x3 x4 + x5 = 21, donde xi son enteros
no-negativos, i = 1, 2, . . . , 5, tales que

a ) x1 1?
b ) xi 2, i = 1, 2, . . . , 5?
c ) 0 x1 10?
d ) 0 x1 3, 1 x2 4, x3 15?
10. Cuntas maneras hay de distribuir 6 bolas iguales en 9 canastas iguales?
11. Se requiere ir del punto A = (0, 0, 0) al punto B = (4, 3, 5) tomando pasos de una
unidad en el sentido positivo de cada coordenada, es decir, no es posible devolverse o
ir en el sentido negativo. Cuntos caminos distintos hay para ir del punto A al punto
B?

UTFSM - Departamento de Informtica - Fundamentos de Informtica I - 1 sem. de 2009

12

9. Relaciones
1. Sean A el conjunto de estudiantes y B el conjunto de libros de la biblioteca. Sea
R1 la relacin consistente de pares ordenados (a, b) tal que el estudiante a debe leer
el libro b en un curso, y sea R2 la relacin consistente de pares ordenados (a, b)
tal que a ley el libro b. Describa los pares ordenados en las siguientes relaciones:
a) R1 R2
b) R1 R2
c) R1 R2
d) R2 R1
2. Sea R la relacin sobre el conjunto de personas consistente de pares (a, b) donde a es
padre de b. Sea S la relacin consistente de pares (a, b) donde a es hermano(a) de b.
Qu representan las relaciones S R y R S ?
3. Sean R1 y R2 las relaciones de congruencia mdulo 3 y mdulo 4 respectivamente
sobre el conjunto de nmeros enteros. Eso signica que R1 = {(a, b)|a b(mod 3)} y
R2 = {(a, b)|a b(mod 4)}. Encuentre:

a) R1 R2
c) R1 R2

b) R1 R2
d) R2 R1

4. Encuentre el error en la siguiente "demostracin"del "teorema":

"Teorema": Sea R una relacin sobre el conjunto A que es simtrica y transitiva.
Entonces, R es reexiva.
"Demostracin": Sea a A. Tomemos un elemento b A tal que (a, b) R. Ya que
R es simtrica, tenemos que (b, a) R. Usando la transitividad de R para (a, b) R
y (b, a) R, obtenemos que (a, a) R. Generalizando, la relacin R es reexiva. /
5. Liste los pares ordenados de las relaciones sobre {1, 2, 3, 4} correspondientes a las
siguientes
corresponden
a los enteros en orden creciente).
matrices (las
las y columnas

1 1 0 1
1 1 1 0
1 0 1 0
0 1 0 0

a)
b)
0 1 1 1
0 0 1 1
1 0 1 1
1 0 0 1

c)

0
1

0
1

1
0
1
0

0
1
0
1

0
0

1
0

1
0
d)
0
1

1
0
1
0

0
1
0
0

1
0

1
1

6. Determine si las relaciones del ejercicio 5 son reexivas, simtricas, antisimtricas y/o
transitivas. Dibuje adems el grafo dirigido para cada una de estas relaciones.
7. Cules de las siguientes relaciones sobre el conjunto de personas son relaciones de
equivalencia? Fundamente su decisin.

a ) R1 = {(a, b)|a y b son de la misma edad}

b ) R2 = {(a, b)|a y b tienen los mismos padres}
c ) R3 = {(a, b)|a y b son parientes}
d ) R4 = {(a, b)|a y b se conocen}

UTFSM - Departamento de Informtica - Fundamentos de Informtica I - 1 sem. de 2009

13

e ) R5 = {(a, b)|a y b hablan el mismo idioma}

f ) Describa las clases de equivalencia en aquellas relaciones anteriores que sean de
equivalencia.
8. Cules de las siguientes colecciones de los subconjuntos son particiones del conjunto
de nmeros enteros?

a ) el conjunto de enteros pares y el conjunto de enteros impares

b ) el conjunto de enteros positivos y el conjuntos de enteros negativos
c ) el conjunto de enteros divisibles por 3, el conjunto de enteros que deja el resto 1
al ser divididos por 3, y el conjunto de enteros que deja el resto 2 al ser divididos
por 3
d ) el conjunto de enteros menores que 100, el conjunto de enteros cuyo valor absoluto
no excede 100, y el conjunto de enteros mayores que 100
e ) el conjunto de enteros divisibles por 3, el conjunto de enteros pares, y el conjunto
de enteros que deja resto 3 al ser divididos por 6
9. En A = {0, 1, 2, 3, , 1,000,000} considere la relacin aRb a tiene el mismo nmero
de dgitos que b. Pruebe que R es de equivalencia, determine el nmero de clases de
equivalencia determinado por R en A y determine explcitamente el cardinal de cada
clase de equivalencia.
10. Sea A = {a1 , a2 , , an }. Cuntas relaciones simtricas hay en A? Cuntas
relaciones reexivas hay en A? Cuntas relaciones simtricas y reexivas hay en A?
11. Demostrar que si R1 y R2 son relaciones de A en B , entonces R1 R2 R11 R21 .
12. Sea R A2 . Demostrar:

a ) R es reexiva iA R
b ) R es simtrica R R1
c ) R es transitiva R R R
d ) R es antisimtrica R R1 R

10. Complejidad de algoritmos

1. Use la denicin de O grande para demostrar que x4 + 9x3 + 4x + 7 es O(x4 ).
2. Demuestre que

(x2 +1)
(x+1)

es O(x).

3. Estime el orden de complejidad O para las siguientes funciones:

a ) f (x) = 2x3 + x2 log2 x

b ) f (n) = 3 + sin n1
c ) f (x) = 2x2 + x2 log2 x
d ) f (x) = 3x3 + (log2 x)4
e ) f (x) =

x4 +x2 +1
x3 +1

UTFSM - Departamento de Informtica - Fundamentos de Informtica I - 1 sem. de 2009

f ) f (x) =
g ) f (n) =

x4 +5 log2 x
x4 +1
2
(n + 8)(n

14

+ 1)

h ) f (n) = (n log2 n + n2 )(n3 + 2)

i ) f (n) = (n! + 2n )(n3 + log2 (n2 + 1))
4. Demuestre que si f (x) es O(logb x), b > 1, entonces f (x) es O(loga x), a > 1.

n,
n impar
1,
n impar
5. Sean f, g : N R, f (n) =
y g(n) =
1,
n par
n,
n par
Demuestre que f
/ O(g)

g
/ O(f ).

6. Demuestre que si f (x) es O(g(x)), y f (x) y g(x) son funciones no acotadas y crecientes,
entonces log2 (|f (x)|) es O(log2 (|g(x)|)).
7. Use O grande para estimar el nmero de comparaciones de los siguientes algoritmos,
que se pide describir usando pseudocdigos:

a ) Algoritmo que tenga como entrada una lista de n enteros y genere como salida
la mayor diferencia entre dos enteros consecutivos.
b ) Algoritmo que determine si una funcin de un conjunto nito en otro conjunto
nito es sobreyectiva.
c ) Algoritmo que determine si una funcin de un conjunto nito en otro conjunto
nito es inyectiva.
d ) Algoritmo que cuente el nmero de `1' en una cadena de `0' y `1', examinando
cada bit de la cadena para determinar si es o no un `1'.
8. Analice la complejidad del caso promedio del algoritmo de bsqueda lineal, si exactamente la mitad de las veces el elemento x no se encuentra en la secuencia, y si x est
en la secuencia, puede estar en cualquier posicin.
9. El algoritmo convencional de evaluacin del polinomio an xn +an1 xn1 +. . .+a1 x1 +a0
en x = c se expresa en pseudocdigo de la siguiente manera:

procedure polinomial(c, a0 , a1 , . . . , an1 , an : real)

potencia := 1
y := a0
for i := 1 to n
begin
potencia := potencia c
y := y + ai potencia
end
donde el valor nal de y es el valor del polinomio en x = c. Calcule el nmero de
multiplicaciones y adiciones necesario para evaluar el polinomio de grado n en x = c.
No cuente las adiciones usadas para incrementar el contador del bucle.
10. El algoritmo de Horner de evaluacin del polinomio an xn + an1 xn1 + . . . + a1 x1 + a0
en x = c se expresa en pseudocdigo de la siguiente manera:

UTFSM - Departamento de Informtica - Fundamentos de Informtica I - 1 sem. de 2009

15

procedure Horner(c, a0 , a1 , . . . , an1 , an : real)

potencia := 1
y := an
for i := 1 to n
y := y c + ani
donde el valor nal de y es el valor del polinomio en x = c. Calcule el nmero de
multiplicaciones y adiciones necesario para evaluar el polinomio de grado n en x = c.
No cuente las adiciones usadas para incrementar el contador del bucle.
11. Analice la complejidad del peor caso de los siguientes algoritmos:

a)

sum := 0
i := n
while (i > 0)
begin
sum := sum + 1
i := bi/2c
end

b)

sum := 0
for i := 1 to n
begin
j := n
while (j > 0 )
begin
sum := sum + 1
j := bj/2c
end
end

12. Analice la complejidad temporal del algoritmo P alindrome check, que determina si la
cadena de caracteres es un palndromo, es decir, se lee de la misma manera de derecha
a izquierda que de izquierda a derecha. Para el caso promedio asuma que la mitad de
las veces la cadena no es un palndromo, y las diferencias pueden empezar en cualquier
caracter.

procedure P alindrome check(a1 a2 . . . an1 an : string)

respuesta := T rue
mitad := bn/2c
i := 1
while (respuesta and i <= mitad)
if not (ai = an+1i ) then respuesta := F alse
else i := i + 1
13. Analice la complejidad temporal del algoritmo que encuentra el primer elemento de la
secuencia que es mayor que un cierto nmero dado u:

procedure encontrar(a1 , a2 , . . . , an1 , an : integer ordenados de forma

creciente; u: integer)

UTFSM - Departamento de Informtica - Fundamentos de Informtica I - 1 sem. de 2009

16

location := 0
i := 1
while (location = 0 and i <= n)
if ai > u then location := i
else i := i + 1
14. Analice la complejidad temporal de la funcin utilizada para encontrar el k -simo
entero ms pequeo en un arreglo de enteros sin ordenar:

function k menor(a0 , a1 , . . . , an1 , an : integer; k , n: integer)

for i := 0 to k
mini := i
for j := i + 1 to n
if aj < amini then mini := j
tmp := ai
ai := amini
amini := tmp
return ak1
15. Analice la complejidad del peor caso medida en trminos de comparaciones del algoritmo de la bsqueda ternaria descrito de la siguiente manera:

procedure busqueda ternaria(x: integer,

a1 , a2 , . . . , an1 , an : integer en orden creciente)
i := 1
j := n
while i < j 1
begin
l := b(i + j)/3c
u := b2(i + j)/3c
if x > au then i := u + 1
else if x > al then
begin
i := l + 1
j := u
end
else j := l
end
if x = ai then location := i
else if x = aj then location := j
else location := 0