Sylabus IFM-0425

Syllabus

IFM-0425 Matemáticas para Computación

DRA. YAQUELINE PECH HUH

ypech@itescam.edu.mx

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

Prerrequisitos

LOGICA.1.Conocer el concepto de lógica. 2.Manejo de Propocisiones en oraciones. 3. Aplicación de reglas de inferencia para determinar resultados.

MATEMATICAS. 1. Manejo de conjuntos, dominio, contradominio. 2. Aplicación de operadores lógicos AND, OR, NOT. 3. Conversiones a diferentes bases.

Competencias

Atributos de Ingeniería

Normatividad

El alumno deberá:
1.- Cumplir con todos los trabajajos marcados en clases y extraclases.
2.- No se aceptaran trabajos documentales, programas o tareas de forma extemporanea.
3.- Participar en el salón de clases cuando se le requiera.
4.- Tener el mínimo de asistencias requerido por la subdirección académica (80%).
5.- Tener un comportamiento de disciplina dentro del salon de clases.
6.- Estar a más tardar 15 min. después de la entrada del profesor, despues de lo cual no se le dejará entrar.

Materiales

Computadora, papel, lápiz, circuitos OR, NOT, AND, XOR

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

Parámetros de Examen
PARCIAL 1	Unidad I, II, III, IV
PARCIAL 2	Unidad V

Contenido (Unidad / Competencia / Actividad / Material de Aprendizaje)
1. Sistemas de Numeración 1.1. Tipos de Sistemas 1.1.1. Decimal y Binario Decimal- Binario (47616 bytes) 1.1.2. Octal y Hexadecimal Octal- Hexadecimal (47616 bytes) 1.2. Conversiones 1.2.1. Decimal a binario, Octal o Hexadecimal Sistema Numerico Conversiones (159232 bytes) 1.2.2. Binario a Decimal, Octal, Hexadecimal Sistema Numérico Conversiones (113664 bytes)
2. Lógica 2.1. Proposiciones 2.1.1. Introducción a las proposiciones Introduccion (19968 bytes) Johnsonbaugh Richard Matemáticas dicretas Ed. Grupo editorial Iberoamericano Materiales (844135 bytes) http://www.ittehuacan.edu.mx/MatDiscr/matematdiscretas.htm 2.1.2. Conjunción Johnsonbaugh Richard Matemáticas dicretas Ed. Grupo editorial Iberoamericano Pag. 2 http://www.ittehuacan.edu.mx/MatDiscr/matematdiscretas.htm Conjunción (58288 bytes) 2.1.3. Disyunción Johnsonbaugh Richard Matemáticas dicretas Ed. Grupo editorial Iberoamericano Pag. 2 Disyunción (52191 bytes) 2.1.4. Condicional Johnsonbaugh Richard Matemáticas dicretas Ed. Grupo editorial Iberoamericano Pag. 8 Condicional (55902 bytes) 2.1.5. Bicondicional Johnsonbaugh Richard Matemáticas dicretas Ed. Grupo editorial Iberoamericano Pag. 13 Bicondicional (55768 bytes) 2.1.6. Negación Negación (27136 bytes) Johnsonbaugh Richard Matemáticas dicretas Ed. Grupo editorial Iberoamericano Pág. 3 2.1.7. Tablas de verdad Tablas de verdad (36864 bytes) Johnsonbaugh Richard Matemáticas dicretas Ed. Grupo editorial Iberoamericano Pág. 3 2.2. Inferencia y equivalencia lógica 2.2.1. Inferencia y Equivalencia Lógica Reglas de Inferencia (95232 bytes) Documentación del tema (58718 bytes) 2.2.2. Agumentos validos y no validos 2.3. Demostraciones, predicados y Aplicaciones 2.3.1. Demostraciones condicionales y por contradicción Demostración por contradicción (22528 bytes) Johnsonbaugh Richard Matemáticas dicretas Ed. Grupo editorial Iberoamericano. Pag 21 2.3.2. Predicados variables y cuantificadores Predicados (35840 bytes) Cuantificadores (20480 bytes) Johnsonbaugh Richard Matemáticas dicretas Ed. Grupo editorial Iberoamericano Pag. 28 Variables (76227 bytes)
3. Algebra Booleana 3.1. Expresiones booleanas 3.1.1. Introducción al Algebra booleana Johnsonbaugh Richard Matemáticas dicretas Ed. Grupo editorial Iberoamericano Cap VII pag. 325-329 3.1.2. Expresiones booleanas Johnsonbaugh Richard Matemáticas dicretas Ed. Grupo editorial Iberoamericano Cap VII pag. 342-347 3.1.3. Propiedades Johnsonbaugh Richard Matemáticas dicretas Ed. Grupo editorial Iberoamericano Cap VII pag. 342-347 3.2. Compuertas Lógicas 3.2.1. Optimización de expresiones booleanas Johnsonbaugh Richard Matemáticas dicretas Ed. Grupo editorial Iberoamericano Cap VII pag. 348 3.2.2. Compuertas lógicas Aplicaciones Johnsonbaugh Richard Matemáticas dicretas Ed. Grupo editorial Iberoamericano Cap VII pag. 356
4. Relaciones 4.1. Tipos de Relaciones 4.1.1. Introducción a las relaciones Johnsonbaugh Richard Matemáticas dicretas Ed. Grupo editorial Iberoamericano. Pag 41 Material de Autoaprendizaje de la unidad (69894 bytes) 4.1.2. Reflexiva Johnsonbaugh Richard Matemáticas dicretas Ed. Grupo editorial Iberoamericano. Pag 41 4.1.2. Simétrica, transitiva Johnsonbaugh Richard Matemáticas dicretas Ed. Grupo editorial Iberoamericano. Pag 41 4.1.3. Antisimétrica, de equivalencia Johnsonbaugh Richard Matemáticas dicretas Ed. Grupo editorial Iberoamericano. Pag 53 Relaciones de equivalencia (58118 bytes) 4.3. Funciones 4.3.1. Inyectiva - Biyectiva Johnsonbaugh Richard Matemáticas dicretas Ed. Grupo editorial Iberoamericano Cap II Pag. 67 4.3.3. Suprayectiva Johnsonbaugh Richard Matemáticas dicretas Ed. Grupo editorial Iberoamericano Cap II Pag. 67
5. Grafos y Árboles 5.1. Conceptos de grafos 5.1.1. Conceptos básicos de grafos Conceptos básicos de grafos (209920 bytes) 5.1.2. Clasificación de grafos Clasificación de Grafos (75264 bytes) 5.2. Operaciones sobre grafos 5.2.1. Caminos Calculo de caminos (27648 bytes) 5.2.2. Circuitos Circuitos (93696 bytes) 5.3. Representación Matricial 5.3.1. Matriz de Adyacencia Matriz de Adyacencia (103424 bytes) 5.3.2. Matriz de Incidencia Matriz de Incidencia (32768 bytes) 5.4. Problemas de grafos 5.4.1. Isomorfismo Johnsonbaugh Richard Matemáticas dicretas Ed. Grupo editorial Iberoamericano. Pag 181 5.4.2. Aplicaciones Johnsonbaugh Richard Matemáticas dicretas Ed. Grupo editorial Iberoamericano. Pag 181 5.5. Árboles 5.5.1. Propiedades y tipos de árboles Árboles (286208 bytes) 5.5.2. Arboles generadores Arboles Generadores (32768 bytes) 5.5.3. Búsquedas Busquedas (41984 bytes) 5.5.4. Recorridos y notaciones polacas de expresiones Recorridos (20992 bytes) Johnsonbaugh Richard Matemáticas dicretas Ed. Grupo editorial Iberoamericano. Pag 251
6. Introducción a los lenguajes formales 6.1. Gramáticas y lenguajes formales 6.1.1. Introducción Introduccion (67072 bytes) 6.1.2. Estructuras de las gramáticas Estructuras de las gramáticas (43632 bytes) 6.1.3. Clasificación de las gramáticas Clasificación de las gramáticas (34816 bytes) 6.1.4. Representación de las gramáticas Representación de las gramáticas (103106 bytes) 6.2. Automatas 6.2.1. Determinísticos Autómatas Determinísticos (101888 bytes) http://es.wikipedia.org/wiki/Aut%C3%B3mata_finito#Definici.C3.B3n_formal Unidad II Lenguajes Regulares (176309 bytes) 6.2.2. No Determinísticos Autómatas No Determinísticos (58880 bytes) 6.3. Maquinas de Estado finito 6.3.1. Expresiones regulares: Operaciones Expresiones Regulares (30720 bytes) Equivalencia de Expresiones Regulares (293375 bytes) 6.3.2. Máquinas de Turing, Contrucción y lenguajes Maquinas de Turing (151040 bytes)