UNIVERSIDAD TÉCNICA DE MACHALA CURSO DE NIVELACIÓN Y ADMISIÓN MATEMATICA PARA CIENCIAS E INGENIERIA
SESIONES DE TRABAJO
Docentes: Dr. Freddis Pesántes, Dr. Nelson Romero, Ing. Sara Cruz, Ing. Liwintong Márquez, Ing. Ramiro Quezada, Ing. Teresa Marín, Ing. Joofre Honores, Ing. Jorge Arias
FECHA SESION UNIDAD TEMAS
07-01-2013 1
Lógica Matemática (16 horas)
Introducción a la lógica Reseña histórica
Proposiciones: valores de verdad, tablas de verdad
Operadores lógicos: negación, conjunción, disyunción, disyunción exclusiva, condicional, reciproca, inversa, contrarecíproca, condiciones necesarias y suficientes, bicondicional
08-01-2013 2 Ejercicios de aplicación a los operadores lógicos (1-22)
09-01-2013 3 Proposiciones simples, compuestas y formas proposicionales: variables proposiconales, formas proposicionales, tautología, contradiccion, contingencia, implicación logica, equivalencia lógica 10-01-2013 4 Ejercicios de aplicación (23-51)
11-01-2013 5 Propiedad de los operadores lógicos: leyes de los operadores fundamentales conjunción y disyunción, leyes de los operadores negación, condicional y bicondicinal, leyes de la implicaciones lógicas, ejercición s de aplicación (52-64)
14-01-2013 6 Razonamiento: validez de un razonamiento Ejercicios de aplicación(65-80)
Demostraciones: directas, por contraposición, por contraejemplo, por reducción al absurdo.
Ejercicios de aplicación (81-83)
15 7 Conjuntos
(15 horas)
Evaluación I, Descripción de conjuntos: Cardinalidad, Conjuntos relevantes, Ejercicios (84-84)
16 8 Cuantificadores: Cuantificador universal, existencial, subconjunto, conjunto potencia y Relación entre conjuntos. Ejercicios de aplicación (86-97)
17 9 Operaciones entre conjuntos: Unión, Intersección, Diferencia, Diferencia simétrica, complementación. Ejercicios de aplicación (98-119)
18 10 Propiedades de las operaciones entre conjuntos: Leyes de la operaciones fundamentales unión e intersección, Otras Leyes, Demostración de propiedades de algebra de conjuntos, Operaciones entre conjuntos, Cardinalidad de conjuntos. Ejercicios de Aplicación (120-138)
21 11 Predicados: Predicado de una variable, Conjunto de verdad de un predicado, Leyes de los conjuntos de verdad de predicados, Valor de verdad de proposiciones con cuantificadores, Leyes de los cuantificadores. Ejercicios de Aplicación (139-148)