Sílabo de MA1256
Cargado por
ScribdTranslationsSílabo de MA1256
Cargado por
ScribdTranslationsMA1256 MATEMÁTICAS DISCRETAS 3 1 0 100
OBJETIVO
Para ampliar la madurez matemática de los estudiantes y su capacidad para lidiar con la abstracción y para introducir
la mayoría de las terminologías básicas utilizadas en los cursos de ciencias de la computación y la aplicación de ideas a
resolver problemas prácticos.
OBJETIVOS
Al final del curso, los estudiantes ...
•Tener conocimiento de los conceptos necesarios para probar la lógica de un programa.
•He adquirido conocimientos que tienen aplicación en sistemas expertos, en bases de datos y una base para
el lenguaje prolog.
Tener comprensión en la identificación de patrones en muchos niveles.
•Ten en cuenta una clase de funciones que transforman un conjunto finito en otro conjunto finito que
se relaciona con funciones de entrada y salida en ciencias de la computación.
•Estar expuesto a conceptos y propiedades de estructuras algebraicas como semigrupos, monoides
y grupos.
UNIDAD I CÁLCULO PROPOSICIONAL 10 + 3
Proposiciones–Conectivos lógicos–Proposiciones compuestas–
Proposiciones condicionales y bicondicionales – Tablas de verdad – Tautologías y contradicciones –
Contrapositiva - Equivalencias lógicas e implicaciones - Leyes de DeMorgan - Formas normales -
Formas normales conjuntivas y disyuntivas principales - Reglas de inferencia - Argumentos - Validez de
argumentos.
UNIDAD II CÁLCULO PREDICATIVO 9+3
Predicados–Función de declaración–Variables–Variables libres y ligadas–Cuantificadores–Universo
del discurso–Equivalencias lógicas e implicaciones para declaraciones cuantificadas–Teoría de
inferencia–Las reglas de especificación y generalización universales–Validez de los argumentos.
UNIDAD III TEORÍA DE CONJUNTOS 10 + 3
Conceptos básicos - Notaciones - Subconjunto - Álgebra de conjuntos - El conjunto potencia - Pares ordenados y
Producto cartesiano - Relaciones en conjuntos - Tipos de relaciones y sus propiedades - Relacional
matriz y el gráfico de una relación–Particiones–Relaciones de equivalencia–Orden parcial–Conjunto parcialmente ordenado
–Diagrama de Hasse–Lattices y sus propiedades–Sublattices–Álgebra booleana–
Homomorfismo.
UNIDAD IV FUNCIONES 7+3
Definiciones de funciones - Clasificación de funciones - Tipos de funciones - Ejemplos -
Composición de funciones - Funciones inversas - Operaciones binarias y n-arias - Característica
función de un conjunto - Funciones de hash - Funciones recursivas - Funciones de permutación.
UNIDAD V GRUPOS 9+3
Sistemas algebraicos - Definiciones - Ejemplos - Propiedades - Semigrupos - Monoides -
Homomorfismo–Subsemigrupos y Submonoidales -Clases laterales y el teorema de Lagrange –Normal
subgrupos–Sistema algebraico normal con dos operaciones binarias - Códigos y códigos de grupo
– Nociones básicas de corrección de errores - Recuperación de errores en códigos de grupo.
TUTORIAL 15
60
LIBROS DE TEXTO
1. Trembly J.P y Manohar R, “Estructuras Matemáticas Discretas con Aplicaciones a
Ciencias de la Computación”, Tata McGraw–Hill Pub. Co. Ltd, Nueva Delhi, 2003.
Ralph P. Grimaldi, “Matemáticas Discretas y Combinatorias: Una Introducción Aplicada”
Cuarta edición, Pearson Education Asia, Delhi, 2002.
REFERENCIAS
1. Bernard Kolman, Robert C. Busby, Sharan Cutler Ross, “Estructuras Matemáticas Discretas”
Cuarta reimpresión india, Pearson Education Pvt Ltd., Nueva Delhi, 2003.
2. Kenneth H. Rosen, “Matemáticas Discretas y sus Aplicaciones”, Quinta Edición, Tata McGraw –
Hill Pub. Co. Ltd., Nueva Delhi, 2003.
3. Richard Johnsonbaugh, “Matemáticas Discretas”, Quinta Edición, Pearson Education Asia, Nuevo
Delhi, 2002.
