Matematicas Discretas
Matematicas Discretas
Matematicas Discretas
1. DATOS GENERALES
Docente:
CARDENAS DELGADO SONIA ELIZABETH
Descripción de la Asignatura:
Las matemáticas discretas son un área de las matemáticas encargadas del estudio de los conjuntos discretos: finitos o infinitos numerables. En
oposición a las matemáticas continuas, que se encargan del estudio de conceptos como la continuidad y el cambio continuo, la matemáticas
discretas estudian estructuras cuyos elementos pueden contarse uno por uno separadamente. Es decir, los procesos en matemáticas discretas
son contables, como por ejemplo, los números enteros, grafos y sentencias de lógica. Mientras que el cálculo infinitesimal está fundado en los
números reales que no son numerables, la matemática discreta es la base de todo lo relacionado con los números naturales o conjuntos
numerables. Son fundamentales para la ciencia de la computación, porque sólo son computables las funciones de conjuntos numerables.
Contribución de la Asignatura:
Las Matemáticas Discretas proporcionan los fundamentos teóricos apropiados de la matemática y del razonamiento lógico que sustentan el
desarrollo de la tecnología computacional. De esta manera, las Matemáticas Discretas son una ciencia fundamental en las carreras de
Ingeniería en Sistemas e Informática y Tecnologías de Ia Información (TI), proporcionando los insumos para analizar la complejidad y factibilidad
de las aplicaciones que pretenden solucionar problemas computables. También provee el simbolismo necesario para formalizar las estructuras
de datos y los métodos de acceso a éstos, que son el pilar sobre el que descansa los sistemas modernos para gestión de Bases de Datos.
Lógica proposicional y funcional, la teoría de conjuntos, métodos de conteo, análisis de algoritmos y teoría de grafos, son abordados por esta
asignatura; se hace énfasis en principios generales tales como la inducción matemática y la recursión.
CÓDIGO: SGC.DI.321
VERSIÓN: 1.3 Página 1 de 5
FECHA ÚLTIMA REVISIÓN: 23/09/14
PROGRAMA DE ASIGNATURA - SÍLABO
Proyecto Integrador
Desarrollo de algoritmos recursivos que acceden a estructuras no lineales de datos
CONTENIDOS
Unidad 1 Horas/Min: HORAS DE TRABAJO AUTÓNOMO
Lógica proposicional y funcional. Prácticas de Aplicación y Experimentación
Lógica Proposicional
1.1.1 Definiciones básicas
1.1.2 Leyes de la lógica proposicional
1.1.3 Equivalencias Lógicas
1.1.4 Reglas de inferencia para proposiciones
Lógica funcional y demostraciones
1.2.1 Sintáxis para Predicados del Primer orden
1.2.2 Operadores lógicos y cuantificadores
1.2.3 Reglas de inferencia para afirmaciones cuantificadas
1.2.4 Métodos de demostración
1.2.5 Demostraciones por refutación: principio de resolución
1.2.6 Principio de Inducción matemática
Álgebra de conjuntos.
1.3.1 Formas de determinación de un conjunto
1.3.2 Álgebra de conjuntos
1.3.1 Leyes del álgebra de conjuntos
1.3.4 Principio de inclusión y exclusión
CONTENIDOS
Unidad 2 Horas/Min: HORAS DE TRABAJO AUTÓNOMO
Complejidad algorítmica Prácticas de Aplicación y Experimentación
Métodos de Conteo
2.1.1 Principio de la multiplicación y principio de la suma
2.1.2 Permutaciones
2.1.3 Combinaciones
2.1.4 Algoritmos para generar permutaciones y combinaciones
2.1.5 Probabilidad discreta
2.1.6 El principio del palomar
2.1.7 Solución de relaciones de recurrencia
CÓDIGO: SGC.DI.321
VERSIÓN: 1.3 Página 2 de 5
FECHA ÚLTIMA REVISIÓN: 23/09/14
PROGRAMA DE ASIGNATURA - SÍLABO
2. SISTEMA DE CONTENIDOS Y RESULTADOS DEL APRENDIZAJE
Análisis de algoritmos
2.2.1 Características de un algoritmo
2.2.2 Complejidad espacial y temporal
2.2.3 Orden de un algoritmo
2.2.4 Análisis para algoritmos de búsqueda y ordenamiento
2.2.5 Algoritmos recursivos
Relaciones
2.3.1 Grafo y matriz de una relación
2.3.2 Tipos de relaciones
2.3.3 Relaciones de equivalencia
2.3.4 Operadores relacionales: selección, proyección y unión
2.3.5 Funciones
2.3.6 Sucesiones y series
CONTENIDOS
Unidad 3 Horas/Min: HORAS DE TRABAJO AUTÓNOMO
Grafos, árboles y autómatas finitos Prácticas de Aplicación y Experimentación
Grafos
3.1.1 Elementos y definiciones
3.1.2 CAMINOS Y CIRCUITOS
3.1.3 CIRCUITO DE EULER Y CIRCUITO DE HAMILTON
3.1.4 ALGORITMO DE LA RUTA MÁS CORTA
3.1.5 GRAFOS ISOMORFOS
3.1.6 Grafos planos
Árboles
3.2.1 ÁRBOLES BINARIOS DE BÚSQUEDA
3.2.2 RECORRIDOS DE UN ÁRBOL
3.2.3 ÁRBOL DE DECISIONES
3.2.4 ISOMORFISMO DE ÁRBOLES
3.2.5 ÁRBOLES DE JUEGOS
Máquinas de estado finito
3.3.1 Elementos de una máquina de estado finito
3.3.2 Diagramas de transición
3.3.3 Autómatas de estado finito
3.3.4 Gramáticas y lenguajes regulares
3.3.5 Gramáticas independientes de contexto
CÓDIGO: SGC.DI.321
VERSIÓN: 1.3 Página 3 de 5
FECHA ÚLTIMA REVISIÓN: 23/09/14
PROGRAMA DE ASIGNATURA - SÍLABO
2. SISTEMA DE CONTENIDOS Y RESULTADOS DEL APRENDIZAJE
ACTIVIDADES DE APRENDIZAJE / HORAS CLASE
COMPONENTES DE DOCENCIA 22
PRÁCTICAS DE APLICACIÓN Y EXPERIMENTACIÓN 10
HORAS DE TRABAJO AUTONOMO 20
TOTAL HORAS POR UNIDAD 52/832
México, D. F. : McGraw-
Matemáticas discretas Lipschutz, Seymour - 2009 Español Hill Interamericana
México, D. F. : McGraw-
Matemáticas discretas Lipschutz, Seymour - 2009 Español Hill Interamericana
CÓDIGO: SGC.DI.321
VERSIÓN: 1.3 Página 4 de 5
FECHA ÚLTIMA REVISIÓN: 23/09/14
PROGRAMA DE ASIGNATURA - SÍLABO
FIRMAS DE LEGALIZACIÓN
NO
DOCENTE
APROBADO
SONIA ELIZABETH CARDENAS DELGADO TATIANA KARINA NOBOA MORALES
COORDINADOR DE AREA DE CONOCIMIENTO
CÓDIGO: SGC.DI.321
VERSIÓN: 1.3 Página 5 de 5
FECHA ÚLTIMA REVISIÓN: 23/09/14