1. No category

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