La evaluación de la última parte del curso será mediante exposiciones, cuyos temas a elegir se muestran a continuación. Los equipos deben ser de cinco o seis integrantes. En breve, manden un correo a dudas_lc_fc@turing.iimas.unam.mx indicando los miembros del equipo y dos temas en los que están interesados, le daré prioridad al primer tema pero si ya está asignado tomaré en cuenta el segundo.
Lo que espero es una explicación a manera de introducción de cada uno de los temas, que sea didáctica, con imágenes, cuestionarios, ejecuciones de software según sea el caso, ejemplos y aplicaciones. El tiempo será de no más de 25 minutos por exposición, y 5 minutos para responder preguntas.
Problema SATEquipo: GOP, MHP, RJMF, RPMI, SGE. Fecha de exposición: 14 de mayo.
La no decibilidad de la lógica de predicadosEquipo: FDD, MCM, RJI, SGPY, VTMA. Fecha de exposición: 21 de mayo.
Isomorfismo de Curry-HowardEquipo: MDLA, GEKJ, EGIG, CGJL, LPM, SELA. Fecha de exposición: 14 de mayo.
Lógicas temporalesEquipo: SCW, LHM, CTMX, EVAD, LDGA, MAJG. Fecha de exposición: 19 de mayo.
Binary Decision Diagrams (BDDs)Equipo: ZGGA, ARI, MJJG, CGLI, LMA. Fecha de exposición: 16 de mayo.
Lógicas de orden superiorEquipo: MSLJ, RPAL, OPAD, PFJA. Fecha de exposición: 19 de mayo.
Asistente de pruebas COQEquipo: HLVE, MVA, CSIA, RTDB. Fecha de exposición: 21 de mayo.
Verificación formal mediante IsabelleEquipo: DQAJ, VADH, CCPI, TMDA, PGO. Fecha de exposición: 16 de mayo.
Mantendré actualizado este sitio para que observen los temas que ya fueron asignados y los que siguen disponibles.