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

Primer Semestre, Estructuras Discretas

Contacto y ligas de conexión:

Para cualquier duda respecto al curso pueden escribir al siguiente correo:

Liliana Reyes Cabello

liliana@ciencias.unam.mx

Rafael Reyes Sánchez

rreyes@ciencias.unam.mx

Temario:

• Inducción y Recursión

  • Números naturales

  • Estructuras de datos

• Introducción a lenguajes formales

  • Gramáticas

  • Razonamiento formal

  • Funciones

• Lógica Matemática

  • Lógica proposicional

  • Lógica de primer orden

• Lógica computacional

  • Métodos de prueba

  • Circuitos digitales

• Relaciones

  • Relaciones n-arias

  • Órdenes parciales

Evaluación:

30% Ejercicios semanales

35% Exámenes

35% Prácticas

No hay reposición de ninguna de las evaluaciones ni examen final.

No se elimina la calificación más baja de ninguna evaluación.

Para tener derecho a calificación final aprobatoria es necesario tener un promedio aprobatorio de exámenes.

Para obtener un NP es necesario que no se tengan más de dos calificaciones de cualquier tipo.

Referencias:

• Miranda, F.; Viso E.;Matemáticas Discretas, Temas de Computación, Las prensas de Ciencias.

• Rosen, Kenneth H., Discrete Mathematics and Its Applications, sixth edition, McGraw Hill, 2007.

Grassmann, Winfried K., Logic and discrete mathematics : a computer science perspective , Prentice Hall, Nueva Jersey, 1996.

El curso como se menciona se impartirá de forma virtual, para las primeras dos semanas de clase se utilizará la siguiente liga de conexión electrónica por vía zoom.

Tema: Estructuras Discretas Grupo 7019

Hora: L-V 16:00 - 17:00

Unirse a la reunión Zoom

https://cuaieed-unam.zoom.us/j/87247778888?pwd=c09KcGI2RlR5N3cxU2c4VVZkMVhKdz09

ID de reunión: 872 4777 8888

Código de acceso: 346425