Syllabus

IFM-0425 Matemáticas para Computación

L.I. MARIO IVAN CRUZ CHIN

micruz@itescam.edu.mx

Semestre Horas Teoría Horas Práctica Créditos Clasificación
3 3 2 8

Prerrequisitos
SIN PRERREQUISITOS

Competencias Atributos de Ingeniería

Normatividad
1. Es necesario para el alumno tener una asistencia mínima del 80% para presentar sus exámenes. 2. Los retardos aplican después del pase de lista y hasta 30 minutos después de haber iniciado la sesión. 3. Para justificar las faltas se requiere de un documento oficial. 4. La falta colectiva se será considerada doble y se dará el tema como visto. 5. Los trabajos documentales serán entregados en tiempo y forma para tener validez. 6.No usar gorra, lentes obscuros dentro del aula, los celulares deberán estar en modo vibrar. 7. Cualquier actitud y/o acción que denote mala conducta hacia el docente o sus compañeros se sancionará con suspensión y afectación de la calificación.

Materiales
CALCULADORA CIENTÍFICA

Bibliografía disponible en el Itescam
Título
Autor
Editorial
Edición/Año
Ejemplares

Parámetros de Examen
PARCIAL 1 De la actividad 1.1.1 a la actividad 2.9.1
PARCIAL 2 De la actividad 3.1.1 a la actividad 4.5.1

Contenido (Unidad / Competencia / Actividad / Material de Aprendizaje)
1. Sistemas de numeración
          1.1. Sistema decimal
                   1.1.1. Sistema decimal
                          
          1.2. Sistema binario, Octal y Hexadecimal
                   1.2.1. Sistema binario, Octal y Hexadecimal
                          
          1.3. Conversiones.
                   1.3.1. Conversiones.
                          
          1.4. Operaciones básicas
                   1.4.1. Operaciones básicas
                          
2. Lógica.
          2.1. Introducción
                   2.1.1. Introducción
                           Diapositivas de la UNIDAD (434688 bytes)
                          
          2.2. Proposiciones
                   2.2.2. Proposiciones
                          
          2.3. Tablas de verdad
                   2.3.1. Tablas de verdad
                          
          2.4. Inferencia lógica
                   2.4.1. Inferencia lógica
                          
          2.5. Equivalencia lógica
                   2.5.1. Equivalencia lógica
                          
          2.6. Argumentos válidos y no válidos
                   2.6.1. Argumentos válidos y no válidos
                          
          2.7. Demostraciones formales
                   2.7.1. Demostraciones formales
                          
          2.8. Predicados y sus valores de verdad
                   2.8.1. Predicados y sus valores de verdad
                          
          2.9. Aplicaciones
                   2.9.1. Aplicaciones
                          
3. Álgebra booleana.
          3.1. Introducción
                   3.1.1. Introducción
                          
          3.2. Expresiones booleanas
                   3.2.1. Expresiones booleanas
                          
          3.3. Propiedades
                   3.3.1. Propiedades
                          
          3.4. Optimización de expresiones booleanas
                   3.4.1. Optimización de expresiones booleanas
                          
          3.5. Compuertas lógicas
                   3.5.1. Compuertas lógicas
                          
4. Relaciones.
          4.1. Introducción
                   4.1.1. Introducción
                          
          4.2. Tipos de relaciones: reflexiva, simétrica, transitiva, de equivalencia
                   4.2.1. Tipos de relaciones: reflexiva, simétrica, transitiva, de equivalencia
                          
          4.3. Clases de equivalencia
                   4.3.1. Clases de equivalencia
                          
          4.4. Funciones
                   4.4.1. Funciones
                          
          4.5. Aplicaciones
                   4.5.1. Aplicaciones
                          
5. Grafos y árboles
          5.1. Introducción
                   5.1.1. Introducción
                          
          5.2. Tipos de grafos
                   5.2.1. Nodos
                          
                   5.2.2. Ramas y lazos
                          
                   5.2.3. Valencia
                          
                   5.2.4. Caminos
                          
                   5.2.5. Ramas paralelas
                          
                   5.2.6. Grafos simples, de similaridad, bipartitos y completos
                          
          5.3. Representación matricial de grafos
                   5.3.1. Ramas sucesivas de longitud "n"
                          
                   5.3.2. Rama matriz adyacente e incidencia
                          
                   5.3.3. Caminos
                          
          5.4. Isomorfismo
                   5.4.1. Isomorfismo
                          
          5.5. Problemas con grafos
                   5.5.1. Problemas con grafos
                          
          5.6. Árboles
                   5.6.1. Propiedades de los árboles
                          
                   5.6.2. Tipos de árboles
                          
                   5.6.3. Bosques
                          
                   5.6.4. Árboles generadores
                          
                   5.6.5. Búsquedas
                          
          5.7. Recorridos de árboles y notaciones polacas de expresiones
                   5.7.1. Recorridos de árboles y notaciones polacas de expresiones
                          
          5.8. Aplicaciones
                   5.8.1. Aplicaciones
                          
6. Introducción a los lenguajes formales
          6.1. Introducción
                   6.1.1. Introducción
                          
          6.2. Gramáticas y lenguajes formales
                   6.2.1. Estructuras de gramáticas
                          
                   6.2.2. Clasificación de las gramáticas (Chomsky)
                          
                   6.2.3. Representación de gramáticas
                          
          6.3. Autómatas finitos
                   6.3.1. Introducción
                          
                   6.3.2. Autómatas finitos determinísticos y no determinísticos
                          
          6.4. Máquinas de estado finito y reconocimiento de expresiones regulares
                   6.4.1. La máquina de Turing
                          
          6.5. Aplicaciones
                   6.5.1. Aplicaciones
                          

Prácticas de Laboratorio (20232024P)
Fecha
Hora
Grupo
Aula
Práctica
Descripción

Cronogramas (20232024P)
Grupo Actividad Fecha Carrera

Temas para Segunda Reevaluación