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

Primer Semestre, Estructuras Discretas

Estructuras Discretas 2024-2

Curso con modalidad HyFlex

Revisen con regularidad la presentación del curso, pues es posible que actualicemos información estos días. En particular aún falta por definir bien la forma de evaluación. La última actualización de esta presentación se hará el 19 de enero de 2024.

Es importante que actualicen su correo y dispongan de una cuenta @ciencias puesto que con el correo institucional tendrán acceso al material del curso.

Los anuncios y demás material de clase se colocarán en la plataforma de Google Classroom y en el sitio del curso.

A los que les sea asignado este grupo, se les agregará al Classroom. Procuren tener actualizada su cuenta @ciencias. En caso de estar inscritos en el grupo y aún no tener acceso al Classroom, mandar correo al profesor.

La sesión introductoria del curso será el 29 de enero de 2024 a las 16:00 hrs en el salón asignado. Para esa misma sesión tendrán acceso remoto vía zoom, cuyo enlace se los compartiremos vía Classroom.

Temario:

1. Introducción
   • Expresiones
   • Gramáticas y árboles de derivación
2. Lógica proposicional
   • Introducción a la lógica proposicional
   • Evaluación de expresiones
   • Análisis sintáctico de expresiones lógicas
   • Equivalencia lógica
   • Interpretaciones
   • Análisis de argumentos
3. Circuitos digitales
   • Fórmulas proposicionales y circuitos digitales
   • Mapas de Karnaugh
   • Métodos de Quine-McCluskey para minimización
4. Lógica de predicados
   • Introducción a la lógica de predicados
   • Especificación formal
   • Semántica informal
5. Inducción y recursión
   • Los números naturales
   • Inducción en los números naturales
   • Inducción completa
   • Definiciones recursivas
   • Inducción estructural
6. Relaciones
   • Producto cartesiano
   • Relaciones
   • Relaciones de equivalencia
   • Relaciones de orden
   • Elementos extremos
   • Latices

Evaluación:

• Exámenes parciales 50% (100%)
• Tareas 25% (0%)
• Prácticas de laboratorio 15% (0%)
• Ejercicios semanales 10% (0%)

Sobre los exámenes

El examen final valdrá el 100% de la calificación y se dividirá en 3 o 4 exámenes parciales que se aplicarán presencialmente durante el semestre. Cualquier alumno que curse la materia podrá optar por una evaluación en la que los exámenes parciales valgan solo el 50% de su calificación final, complementándose con 25% de tareas, 15% de prácticas de laboratorio y 10% de ejercicios semanales.

Notas:

• No se evaluará a los oyentes.
• En caso de detectarse copia en algún entregable, se le pondrá 0 a todos los involucrados en dicha actividad.
• No hay NP para extraordinarios largos si entregaron algún evaluable del curso. Para los demás alumnos, en caso de requerirlo, deberán mandar correo al profesor solicitándolo.

Bibliografía:

• Matemáticas Discretas

  Favio Ezequiel Miranda Perea y Elisa Viso Gurovich

• Discrete Mathematics and Its Applications

  Keneth H. Rosen

• Foundation Discrete Mathematics for Computing

  Dexter J. Booth

Sobre la modalidad HyFlex

El curso se impartirá con normalidad de forma presencial con la cualidad de que los alumnos podrán atender las clases de forma presencial en el salón de clases, o bien, podrán conectarse de forma remota vía Zoom (los accesos se los daremos una vez que se hayan inscrito). Las sesiones serán grabadas por si no pueden conectarse de forma síncrona.

Las grabaciones de las sesiones se colocarán en el sitio del curso.

Los exámenes se realizarán de forma presencial.

Fecha de actualización de esta presentación: 19 de enero de 2024.