Inf119 18 1
Inf119 18 1
1. IDENTIFICACION DE LA MATERIA
2. JUSTIFICACION
Todo futuro ingeniero en Informática necesita adquirir conocimientos y competencias en
al área de Matemática Discreta, que es la rama básica de las Matemáticas cuya aplicación
más se ajusta a esta ingeniería. Por ello se intenta cubrir de una manera básica los
principales campos que la componen. Una manera lógica de empezar es cubriendo los
aspectos básicos de Teoría de Conjuntos sobre los cuales se construirá el resto de los
temas, así como el concepto de inducción matemática, de gran utilidad a la hora de
demostrar determinados enunciados matemáticos. Le sigue un tema de Lógica
Matemática de utilidad obvia. Otro tema básico son las técnicas básicas de conteo y
combinatoria y su aplicación a la resolución de problemas sencillos. Otro concepto
fundamental es entender el concepto de recurrencia y saber cómo resolver relaciones de
recurrencia lineales, tema relacionado con la complejidad computacional y con el
concepto de recursividad. Otra área a cubrir por esta asignatura es la Teoría de grafos. En
este caso el estudiante deberá entender el lenguaje propio de esta rama de las
Matemáticas y aprender cómo modelizar problemas reales en términos de grafos, así
como aprender a resolver problemas típicos de teoría de grafos usando métodos
algorítmicos. También se cubren los conceptos de relación de equivalencia y de orden y su
importancia en las aplicaciones informáticas.
Finalmente se ve el tema de Álgebra de Boole que se aplica hoy en día de forma
generalizada en el ámbito del diseño electrónico.
Página | 1
Universidad Autónoma “Gabriel René Moreno”
FACULTAD DE INGENIERIA EN CIENCIAS
DE LA COMPUTACIÓN Y TELECOMUNICACIONES
3. OBJETIVOS DE LA ASIGNATURA
Página | 2
Universidad Autónoma “Gabriel René Moreno”
FACULTAD DE INGENIERIA EN CIENCIAS
DE LA COMPUTACIÓN Y TELECOMUNICACIONES
4. CONTENIDO MINIMO
Introducción a la Lógica Simbólica, Calculo Proposicional y de Predicados.
Conjuntos. Relaciones, Grafos dirigidos, Matrices Booleanas, Relaciones de
Equivalencia, Manipulación de las Relaciones, Cerraduras, Relaciones de Orden,
Conjuntos Parcialmente Ordenados, Elementos extremos. Funciones, Manipulación
de funciones. Sucesiones, Inducción Matemática. Combinatoria, Permutaciones,
Combinaciones y el Binomio de Newton. Estructuras Algebraicas.
CONTENIDO:
1.1. Introducción.
1.2. Cálculo proposicional.
1.2.1. Proposición.
1.2.2. Valor de verdad de una proposición.
1.2.3. Proposiciones atómicas y moleculares.
1.2.4. Conectivos lógicos.
1.2.5. Jerarquía de los conectivos lógicos.
1.2.6. Lenguajes lógicos.
1.2.7. Tablas de verdad.
1.2.8. Operaciones con proposiciones.
1.2.8.1. Negación de una proposición.
1.2.8.2. Conjunción o producto lógico.
1.2.8.3. Disyunción o suma lógica.
1.2.8.4. Disyunción exclusiva.
1.2.8.5. Condicional.
1.2.8.6. Bicondicional.
1.2.9. Formulas proposicionales.
1.2.10. Construcción de tablas de verdad de formulas proposicionales.
1.2.11. Clasificación de formulas proposicionales.
1.2.11.1. Tautología.
1.2.11.2. Contradicción.
Página | 3
Universidad Autónoma “Gabriel René Moreno”
FACULTAD DE INGENIERIA EN CIENCIAS
DE LA COMPUTACIÓN Y TELECOMUNICACIONES
1.2.11.3. Contingencia.
1.2.12. Relaciones entre fórmulas proposicionales.
1.2.12.1. Implicación lógica.
1.2.12.2. Equivalencia lógica.
1.2.13. Leyes de la lógica proposicional (Equivalencias lógicas más
importantes).
1.2.14. Aplicación: Simplificación de fórmulas proposicionales.
1.2.15. Inferencia lógica.
1.2.15.1. Inferencia válida.
1.2.15.2. Reglas de inferencia.
1.2.15.3. Métodos de demostración.
1.2.15.4. Conclusiones no válidas.
1.2.15.5. Consistencia e inconsistencia de premisas.
1.2.16. Circuitos electrónicos- Circuitos lógicos.
1.2.16.1. Representación de conmutadores.
1.2.16.2. Circuitos en serie.
1.2.16.3. Circuitos en paralelo.
1.2.16.4. Circuitos compuestos.
1.2.16.5. Conmutadores complementarios.
1.2.16.6. Simplificación de circuitos.
1.3. Calculo de predicados.
1.3.1. Análisis de la estructura interna de las proposiciones atómicas.
1.3.2. Simbolización de proposiciones elementales.
1.3.3. Funciones o esquemas proposicionales en una variable.
1.3.4. Operaciones lógicas con funciones proposicionales.
1.3.5. Cuantificadores u operadores.
1.3.5.1. Cuantificador universal.
1.3.5.2. Cuantificador existencial.
1.3.6. Variables libres y ligadas.
1.3.7. Negación de enunciados cuantificados.
1.3.8. Formas de obtener proposiciones a partir de un esquema
proposicional en dos variables.
1.3.9. Proposiciones categóricas y no categóricas.
1.3.10. Función o esquema proposicional en dos variables.
1.3.11. Formas de obtener proposiciones a partir de un esquema
proposicional en dos variables.
1.3.12. Negación de proposiciones doblemente cuantificadas.
1.3.13. Leyes de la lógica cuantificacional.
1.3.14. Reglas de inferencia en el cálculo de predicados.
Página | 4
Universidad Autónoma “Gabriel René Moreno”
FACULTAD DE INGENIERIA EN CIENCIAS
DE LA COMPUTACIÓN Y TELECOMUNICACIONES
CONTENIDO:
2.1. Conjuntos.
2.1.1. Nociones primitivas.
2.1.2. Elementos de un conjunto.
2.1.3. Relaciones de pertenencia.
2.1.4. Conjunto universal.
2.1.5. Diagrama de Venn - Euler.
2.1.6. Conjuntos numéricos.
2.1.7. Formas de definir un conjunto.
2.1.7.1. Por extensión.
2.1.7.2. Por comprensión.
2.1.8. Clasificación de los conjuntos de acuerdo al número de elementos.
2.1.8.1. Conjunto vacio.
2.1.8.2. Conjunto unitario.
2.1.8.3. Conjunto finito.
2.1.8.4. Conjunto infinito.
2.1.9. Inclusión – Subconjunto.
2.1.10. Comparabilidad.
2.1.11. Igualdad de conjuntos.
2.1.12. Conjunto potencia.
2.1.13. Conjunto solución.
2.2. Operaciones con conjunto.
2.2.1. Intersección de conjuntos.
2.2.2. Unión de conjuntos.
2.2.3. Diferencia de conjuntos.
2.2.4. Diferencia simétrica.
2.2.5. Complementos de conjuntos.
2.2.5.1. Complemento absoluto.
2.2.5.2. Complemento relativo.
2.2.6. Propiedades de las operaciones con conjuntos.
2.2.7. Formas de demostración de igualdad de conjuntos.
2.2.8. Numero de elementos de un conjunto.
UNIDAD No. III RELACIONES
TIEMPO: 27 horas - aula
Página | 5
Universidad Autónoma “Gabriel René Moreno”
FACULTAD DE INGENIERIA EN CIENCIAS
DE LA COMPUTACIÓN Y TELECOMUNICACIONES
OBJETIVOS ESPECÍFICOS:
CONTENIDO:
3.1. Definición de par ordenado.
3.2. Definición de producto cartesiano.
3.2.1. Representación gráfica.
3.3. Definición de relación de un conjunto en otro.
3.3.1. Dominio y recorrido de una relación.
3.3.2. Relación inversiva.
3.4. Manipulación de las relaciones.
3.4.1. Unión.
3.4.2. Intersección.
3.4.3. Relación complementaria.
3.4.4. Composición de relaciones.
3.4.5. Teorema (Matrices).
Página | 6
Universidad Autónoma “Gabriel René Moreno”
FACULTAD DE INGENIERIA EN CIENCIAS
DE LA COMPUTACIÓN Y TELECOMUNICACIONES
Página | 7
Universidad Autónoma “Gabriel René Moreno”
FACULTAD DE INGENIERIA EN CIENCIAS
DE LA COMPUTACIÓN Y TELECOMUNICACIONES
CONTENIDO:
4.1. Introducción.
4.2. Definición de funciones.
4.3. Dominio y recorrido de una función.
4.4. Gráfica de una función.
4.5. Clasificación de funciones.
4.5.1.1. Función Inyectiva.
4.5.2. Función Sobreyectiva.
4.5.3. Función Biyectiva.
4.6. Composición de funciones.
4.7. Algebra de funciones.
Manejar combinaciones.
Manejar permutaciones.
Demostrar por inducción.
Desarrollar el binomio de Newton.
CONTENIDO:
Página | 8
Universidad Autónoma “Gabriel René Moreno”
FACULTAD DE INGENIERIA EN CIENCIAS
DE LA COMPUTACIÓN Y TELECOMUNICACIONES
CONTENIDO:
Página | 9
Universidad Autónoma “Gabriel René Moreno”
FACULTAD DE INGENIERIA EN CIENCIAS
DE LA COMPUTACIÓN Y TELECOMUNICACIONES
6. METODOLOGIA
El método utilizado será el método activo e inductivo y las técnicas utilizadas serán:
o Exposiciones del profesor con apoyo de pizarra y tiza.
o Preguntas y respuestas (profesor – estudiantes y estudiantes - profesor).
o Ejercicios prácticos en grupos de tres, con apoyo de apuntes de aula y material
bibliográfico.
8. SISTEMA DE EVALUACION
Exámenes Prácticos: Se tomará un examen práctico de cada una de las unidades
Página | 10
Universidad Autónoma “Gabriel René Moreno”
FACULTAD DE INGENIERIA EN CIENCIAS
DE LA COMPUTACIÓN Y TELECOMUNICACIONES
Examen Final: Para tener derecho al examen final es necesario contar con una asistencia
mínima del 65% a clases además de contar con los dos exámenes parciales y por lo menos
con tres exámenes prácticos.
9. BIBLIOGRAFIA
Página | 11
Universidad Autónoma “Gabriel René Moreno”
FACULTAD DE INGENIERIA EN CIENCIAS
DE LA COMPUTACIÓN Y TELECOMUNICACIONES
Página | 12