NOMBRE DE LA ASIGNATURA: Matemáticas para Computación CICLO: SEGUNDO CUATRIMESTRE CLAVE: LCS0212 OBJETIVO(S) GENERAL(ES): Al finalizar el curso el alumno analizará problemas relacionados con el leguaje matemático de la computación y sus aplicaciones a la soluciòn de problemas TEMA(S) Y SUBTEMA(S): 1. SISTEMAS NUMÉRICOS Y ARITMÉTICA DEL COMPUTADOR. 1.1 Clasificación de los números. 1.2 Representación decimal. 1.3 Representación binaria. 1.4 Representación octal y hexadecimal. 1.5 Complementos. 1.6 Aritmética modular. 2. LÓGICA PROPOSICIONAL. 2.1 Proposiciones. 2.1.1 Proposiciones simples y compuestas. 2.1.2 Términos de enlace de proposiciones. 2.1.3 Simbolización de proposiciones de los términos de enlace. 2.2 Tipos de proposiciones. 2.2.1 Conjunción. 2.2.2 Disyunción, condicional y bicondicional. 2.3 Término de enlace dominante. 2.3.1 Término de enlace dominante. 2.4 Fórmulas lógicas. 2.4.1 Valores de certeza de una proposición. 2.4.2 Tablas de verdad de la proposiciones moleculares básicas. 2.5 Diagrama lineales. 2.5.1 Elaboración de la tabla de verdad para cualquier proposición. 2.5.2 Tautologías. 2.5.3 Contradicciones. 2.5.4 Reglas de inferencia. 2.5.5 Demostraciones directas, condiciones, por contradicción y por inducción. 2.5.6 Inferencias válidas y no válidas. 3. CONJUNTOS, RELACIONES, FUNCIONES Y ÁLGEBRA BOLEANA. 3.1 Concepto básicos de conjuntos.

3.2 Operaciones y álgebra de conjuntos. 3.3 Aplicaciones. 3.4 Arreglos computacionales. 3.5 Compuertas lógicas. 3.6 Concepto de relación. 3.6.1 Relaciones binarias. 3.6.2 Relaciones de equivalencia. 3.7 Definición de funciones. 3.7.1 Composición de funciones. 3.7.2 Clases de funciones. 3.7.3 Funciones inversas. 3.7.4 Funciones localizadoras. 4. TEORÍA DE GRAFOS. 4.1 Grafos. 4.1.1 Nodos. 4.1.2 Ramas y lazos. 4.1.3 Ramas paralelas. 4.2 Grafos simples. 4.3 Grafos de similaridad. 4.4 Grafos bipartidos. 4.5 Representación Matricial de Grafos. 4.5.1 Ramas sucesivas de longitud “n” 4.5.2 Matriz de adyacencia e incidencia. 4.5.3 Caminos; 4.5.4 Caminos simples. 4.6 Grafos conexos. 4.6.1 Caminos de Euler. 4.6.2 Valencia de nodos. 4.6.3 Componente de un grafo. 4.7 Grafos Ponderados. 4.7.1 Longitud de un camino. 4.7.2 El camino más corto. 4.7.3 Dos problemas clásicos. 4.7.3.1 Grafos isomorfos. 4.7.3.2 Grafos planos. 4.7.3.3 Grafos homomorfos. 4.7.3.4 Teoremas de Kuratowski y de Euler.

TEMA(S) Y SUBTEMA(S): 5. GRAMÁTICAS Y LENGUAJES FORMALES. 5.1 Expresiones regulares. 5.2 Lenguajes formales. 5.3 Semigrupos. 5.4 Máquinas de Estado Finito. 5.5 Autómatas y lenguajes.

1 2 3 4

ACTIVIDADES DE APRENDIZAJE Con docente Independientes Elaboración de síntesis escritas para cada 1 Investigaciones bibliográficas y hemerográficas clase informe sobre la aplicabilidad de la soluciòn a un Lecturas comentadas 2 problema de graficos informe sobre la aplicación a lenguajes de Estudio de casos 3 programaciòn Soluciòn de dos series de problemas sobre Exposición de temas en equipo de trabajo 4 algebra booleana Horas 56 Horas 44

CRITERIOS Y PROCEDIMIENTOS DE EVALUACIÓN Y ACREDITACIÓN La asignatura se acredita satisfaciendo los siguientes criterios Exámenes Evaluación sobre actividades de aprendizaje con docente Evaluación sobre actividades de aprendizaje independientes

Contribución a la calificación final (%) 50

Aprobar dos Obtener el crédito de las actividades (1), (2), (3) y (4) Obtener el crédito de las actividades (1), (2) y (3)

25 25

MATEMÀTICAS PARA COMPUTACIÒN TIPO 1

LIBRO

2 3

LIBRO LIBRO

TITULO FUNDAMENTALS OF COMPUTING I: LOGIC PROBLEM SOLVING. PROGRAMS AND COMPUTERS LÒGICA PARA LA COMPUTACIÒN I ESTRUCTURAS PARA MATEMÀTICAS DISCRETAS PARA LA COMPUTACIÒN

AUTOR

EDITORIAL

AÑO 1994

AGUILERA, G. Y PÈREZ DE GUZMAN I KOLMAN, BERNARD Y ROBERT BUSBY

MC. GRAW HILL AGORA PRENTICE HALL

TUCKER, A. B.

1993 1991