Вы находитесь на странице: 1из 8

UNIVERSIDAD DE SAN CARLOS DE GUATEMALA

FACULTAD DE INGENIERA

DEPARTAMENTO DE MATEMTICA

CLAVE-960-2-M-1-00-2013

CURSO: Matemtica para Computacin 1

CODIGO DE CURSO: 0960

JORNADA: Matutina

SEMESTRE: Primer Semestre

AO: 2013

TIPO DE EXAMEN: Segundo Examen Parcial

NOMBRE DE LA PERSONA QUE

RESOLVI EL EXAMEN: Carlos Josu Avila Carrillo

NOMBRE DE LA PERSONA QUE

REVIS EL EXAMEN: Ing. Renato Ponciano


Universidad de San Carlos de Guatemala Matemtica para computacin I
Facultad de Ingeniera Primer semestre 2013
Departamento de Matemtica Segundo Examen Parcial

Temario F
Duracin: 90 minutos

TEMA 1 (20 puntos)


Demuestre por induccin matemtica que

TEMA 2 (15 puntos)


Escriba una operacin entre los conjuntos A, B y C tal que A B
represente a las reas sombreadas del siguiente diagrama
de Venn. Justifique su respuesta.

TEMA 3 (10 puntos)


Sea . Cules de las siguientes proposiciones son verdaderas?
a) d)
b) e)
c)

TEMA 4 (15 puntos)


Demuestre que si ab es impar, entonces a y b son impares (para enteros a y b).

TEMA 5 (20 puntos)


Usando las propiedades de los conjuntos demuestre que para cualesquiera conjuntos A,B,C U la
siguiente igualdad es verdadera.
( A B) C ( A C) ( B C)

TEMA 6 (20 puntos)


Demuestre la validez del siguiente argumento:



Solucin de examen

Tema 1

Paso 1: Base

Paso 2: Hiptesis de induccin

Paso 3: Demostracin
( )

( )

( )
Tema 2

[ ]
Tema 3

a) Verdadero
b) Falso
c) Verdadero
d) Verdadero
e) Falso
Tema 4
Sea:

Entonces:

Demostracin por Contrapositiva.


Se quiere demostrar:

Por la disyuncin existen dos casos, cuando a es par y cuando b es par. Para el caso en el
que a es par.(es anlogo a cuando b es par, y ambos lo son):

0 Hiptesis

1 Definicin de numero
par
2 Operacin
algebraica
3 Asociatividad del
producto
4 Propiedad de
cerradura del
producto
5 Por definicin de
numero par
6 Por disyuncin
7 Por modus ponens
Por lo tanto ab es par si es verdadera entonces la contrapositiva es
verdadera, por lo tanto la proposicin original es verdadera tambin.
Tema 5
Expresin Reglas
Expresin original

Identidad


Doble negacin

de De Morgan

Propiedad Asociativa
Propiedad Distributiva



Leyes de Inverso

Propiedad de neutro
de De Morgan
de De Morgan
Propiedad Asociativa

Tema 6
1 Premisa
2 Premisa
3 Premisa
4 Premisa
5 Modus toliens 3 y 4
6 De De Morgan
7 Simplificacin conjuntiva 6
8 Simplificacin conjuntiva 6
9 Modus toliens 7 y 1
10 Modus toliens 8 y 1
11 Conjuncin 9 y 10

Вам также может понравиться