Universidad Nacional Facultad de Ciencias Exactas y Naturales Escuela de Informtica CDIGO: NOMBRE DEL CURSO: REQUISITOS: NATURALEZA: REA

DISCIPLINARIA: PERODO: NIVEL: MODALIDAD: TIPO DE CURSO: REQUISITO: Crditos 4 MAY 220 Matemtica para Informtica I Ingreso a carrera Terico Prctico Matemtica I Ciclo, 2009. I Ciclo Comn Ingreso a la carrera Horas estudio independiente 5 Horas de atencin a estudiantes 2

Horas Horas semanales Presenciales 10 5

I. DESCRIPCIN Este curso es una introduccin a los temas matemticos como herramienta fundamental que debe conocer un profesional informtico para su adecuada aplicacin en la solucin de problemas computacionales. Los contenidos esenciales a estudiar son: lgica matemtica, teora de conjuntos, relaciones y funciones.

II. OBJETIVOS ESPECFICOS Que al finalizar el curso el estudiante sea capaz de: 1. Comprender y aplicar la lgica proposicional, las reglas de inferencia y la naturaleza de las demostraciones y la obtencin de conclusiones validas. 2. Comprender y aplicar la de teora de conjuntos y el trabajo de demostracin del lgebra booleana de conjuntos. 3. Comprender y aplicar la teora de relaciones. Particularmente las relaciones binarias de orden y de equivalencia. 4. Comprender y aplicar la teora de funciones.

III. CONTENIDOS 1. Lgica matemtica (3 semanas) Lgica proposicional, sistema axiomtico. Teoremas fundamentales. Inferencias. Tablas de verdad. Cuantificador universal. Cuantificador existencial. Naturaleza de una demostracin y obtencin de conclusiones vlidas. 2. Teora de conjuntos (4 semanas) Notaciones. Inclusin e igualdad de conjuntos. Conjunto potencia. Interseccin de conjuntos. Unin de conjuntos. Complemento de conjuntos. Diferencia de conjuntos. Leyes de De Morgan. La diferencia simtrica. Pares ordenados. Producto cartesiano. 3. Relaciones (4 semanas) Relaciones binarias. Propiedades de las relaciones. Relacin de orden. Definicin de relacin de equivalencia. Clases de equivalencia. Conjunto cociente. Particin de un conjunto. Determinacin de las relaciones de equivalencia de un conjunto a partir de las particiones. 4. Funciones (I parte)(2 semanas) Definicin de funcin. Grfico. mbito e imgenes directas e inversas de conjuntos. Grficas de funciones reales. Composicin de funciones. Tipos de funciones: inyectivas, sobreyectivas, y biyectivas. Funcin inversa. 5. Funciones (II parte)(2 semanas) Funcin polinomial, lineal (estudio especial de la funcin lineal, paralelismo, perpendicularidad, interseccin de rectas), parablica, valor absoluto, parte entera. Funciones par e impar. Funciones creciente y decreciente. Determinacin de funciones inversas. 6. Funciones Exponenciales y Logartmicas(2 semanas) Definicin de funcin exponencial. Grfica de la funcin exponencial. Las funciones exponenciales particulares de base e y 10. Definicin de la funcin logartmica como inversa de la funcin exponencial. Grfica de la funcin logartmica. Los casos particulares de funciones logartmicas de base 10 y e . Propiedades de estas funciones. Ecuaciones exponenciales y logartmicas.

IV. BIBLIOGRAFA Marrangello Leonardo. Introduccin a la Matemtica. CAEM, Escuela de Matemtica. Universidad de costa Rica. 1984. De Lorenzo, Javier. Iniciacin a la teora intuitiva de conjuntos. Editorial Tecnos. Madrid, Espaa; 1976. Godement, Rger. lgebra. Editorial Tecnos. Madrid, Espaa; 1978. Gngora, Enrique. Introduccin al pensamiento lgico matemtico. Segunda Edicin. EUNED. San Jos, Costa Rica; 1997. Lipschutz, Seymour. Teora de conjuntos y temas afines. Editorial Universitaria de Buenos Aires, Argentina, 1970. Quine, W.V.D. Los Mtodos de la Lgica. Ediciones Ariel, Barcelona, Espaa; 1976. Oubia, Lia. Introduccin a la teora de conjuntos. Editorial Universitaria de Buenos Aires, Argentina, 1976