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

Primer Semestre, Estructuras Discretas

Presentación del curso: 5 de agosto de 2024.

Objetivo: Brindar al alumno una introducción a las herramientas matemáticas fundamentales utilizadas en Ciencias de la Computación.

Temario:

1. ¿Qué son las Estructuras Discretas?
2. Conjuntos, Relaciones y Funciones.
3. Relaciones Binarias.
4. Relaciones de Equivalencia y de Orden.
5. Inducción y Recursión.
6. Introducción a Lenguajes.
7. Lógica Proposicional.
8. Introducción a Lógica de Primer Orden

Evaluación: Continua con los siguientes rubros

• Exámenes Semanales: 50%
• Ejercicios de Laboratorio: 40%
• Participación: 10%

Forma de aprobar el curso: Tener calificación final aprobatoria en el rubro de Exámenes Semanales.

Reposiciones: No habrá reposiciones de ningún tipo, excepto un examen final para acreditar el rubro de Exámenes Semanales si es necesario.

Herramientas: Se utilizará Classroom, por lo que es imprescindible que usar la cuenta @ciencias.

Reglas del curso:

• No se puede renunciar a una calificación final aprobatoria.
• Para tener derecho a NP, no se debió haber entregado ninguna actividad durante el curso.
• Cualquier copia detectada implica automáticamente 5 de calificación final a los involucrados.

Bibliografía: Se indicará conforme se avance.

Página del curso:

Contacto:

• Profesor: luis_lazaro@ciencias.unam.mx
• Ayudante de teoría:
• Ayudante de laboratorio:
• Segundo ayudante de laboratorio: Derek.Almanza@ciencias.unam.mx