Encabezado Facultad de Ciencias
Presentación

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

Primer Semestre, Estructuras Discretas

Grupo 7015, 48 lugares. 49 alumnos.
Profesor Víctor Germán Mijangos de la Cruz ma ju 13 a 14:30 P102
Ayudante José Antonio Ramírez Maciel lu mi 12 a 13 P102
Ayud. Lab. Teresa Becerril Torres vi 12 a 14 Laboratorio de Ciencias de la Computación 1

 

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 3 exámenes, además que se contarán las tareas tanto teóricas como prácticas. Los procentajes a considerar son:

Concepto Valor
Exámenes 50%
Tareas 40%
Participación 10%

Temario:

  • Introducción

    1. Qué son las estructuras discretas

    2. Expresiones

    3. Descripción de expresiones con gramáticas

  • Lógica

    1. Lógica proposicional

    2. Aplicaciones a circuitos digitales

    3. Lógica de predicados

  • Inducción y recursión

    1. Números naturales y axiomas de Peano

    2. Inducción

    3. Definiciones recursivas

    4. Inducción estructural

  • Relaciones

    1. Relaciones y funciones

    2. Relaciones de equivalencia

    3. Relaciones de orden

    4. Latices

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=uptcxjr

 


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.