Encabezado Facultad de Ciencias
Presentación

Ciencias de la Computación (plan 2013) 2024-1

Primer Semestre, Estructuras Discretas

Grupo 7018, 53 lugares. 54 alumnos.
Profesor Víctor Germán Mijangos de la Cruz ma ju 13 a 14:30 O134
Ayudante Teresa Becerril Torres lu mi 12 a 13 O134
Ayudante Karla Denia Salas Jiménez lu mi 12 a 13
Ayud. Lab. José Canek García Aguilar vi 12 a 14 Laboratorio de Ciencias de la Computación 1
Ayud. Lab. Sebastián Alamina Ramírez vi 12 a 14 Taller de Ingeniería de Software

 

Presentación del curso: El curso de estructuras discretas tiene como objetivo desarrollar las nociones esenciales para el modelado matemático de fenómenos discretos y de lógica matemática. Se introducirán los temas de lógica matemática, inducción, recursión y relaciones que formarán bases para el desarrollo de la teoría y aplicaciones computacionales de la carrera.

Forma de evaluación: El curso será evaluado a partir de 4 exámenes, además que se contarán las tareas tanto teóricas como prácticas de laboratorio. Los porcentajes a considerar son:

Concepto Valor
Exámenes 60 %
Tareas y prácticas 40 %

Asimismo, se podrán hacer reposiciones de los exámenes al final del semestre. Sólo se otorgará calificación aprobatoria cuando se cumpla con el promedio y la entrega de todas las actividades. Por tanto, sólo se tendrá calificación aprobatoria si se aprueba el laboratorio.

Temario:

  1. Introducción

    1. Qué son las estructuras discretas

    2. Expresiones

    3. Gramáticas

  2. Inducción y recursión

    1. Números naturales y axiomas de Peano

    2. Inducción sobre naturals

    3. Inducción fuerte

    4. Recursión

    5. Inducción estructural

  3. Lógica proposicional

    1. Proposiciones atómicas y constantes lógicas

    2. Operaciones lógicas

    3. Tablas de verdad

    4. Sintaxis de la lógica proposicional

    5. Sustitución

    6. Tautologías, contradicciones y contingencias

    7. Equivalencias lógicas

    8. Consecuencias lógicas y uso de interpretaciones

    9. Tableaux lógicos

  4. Circuitos lógicos

    1. Álgebra booleana binaria

    2. Compuertas lógicas

    3. Mapas de Karnaugh y minimización de expresiones

    4. Circuitos combinatorios

    5. Circuitos secuenciales

  5. Lógica de predicados

    1. Predicados lógicos

    2. Cuantificación

    3. Sintaxis de la lógica de predicados

    4. Nociones de semántica en lógica de predicados

  6. Relaciones y latices

    1. Relaciones y funciones

    2. Relaciones de equivalencia

    3. Relaciones de orden

    4. Latices y lógicas

Bibilografía

Favio E. Miranda y Elisa Viso, (2010) Matemáticas Discretas. Las Prensas de Ciencias.

Dossey, J. A.; Otto, A. D. Spence, L. E.; Vanden Eynden, C., (2006). Discrete Mathematics. Pearson/Addison-Wesley.

Classroom: https://classroom.google.com/c/NTM3Njk5Nzg4OTc3?cjc=k2acm3s

 


Hecho en México, todos los derechos reservados 2011-2016. Esta página puede ser reproducida con fines no lucrativos, siempre y cuando no se mutile, se cite la fuente completa y su dirección electrónica. De otra forma requiere permiso previo por escrito de la Institución.
Sitio web administrado por la Coordinación de los Servicios de Cómputo de la Facultad de Ciencias. ¿Dudas?, ¿comentarios?. Escribenos. Aviso de privacidad.