Matemáticas Discretas
Grupo 7020
Profa. Lourdes del Carmen González Huesca lu mi 17 a 18:30 P213
Profa. Lourdes del Carmen González Huesca lu mi 17 a 18:30 P213
Ayud. María Fernanda Mendoza Castillo ma ju 16 a 17 P213
Ayud. María Fernanda Mendoza Castillo ma ju 16 a 17 P213
Ayud. Lab. Juan Pablo Yamamoto Zazueta vi 16 a 18 Laboratorio de Ciencias de la Computación 2
Ayud. Lab. Juan Pablo Yamamoto Zazueta vi 16 a 18 Laboratorio de Ciencias de la Computación 2
Temario:
Introducción: panorama de las EDiscretas, introducción a lenguajes formales y gramáticas, razonamiento ecuacional, y razonamiento formal en Ciencias de la Computación y funciones.
Inducción y Recursión: números naturales y estructuras de datos básicas.
Lógica Matemática: lógica proposicional y de primer orden.
Lógica en la práctica computacional: métodos de prueba, circuitos digitales.
Relaciones: relaciones n-arias y órdenes parciales.