Temas para las exposiciones

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 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 50 minutos por exposición, y 10 minutos para responder preguntas.

• Problema SAT Equipo: KLHL, ARM, CAHV, LEAC, ABP, AJAL. Fecha de exposición: martes 18 de noviembre.
• La no decibilidad de la lógica de predicados
• Isomorfismo de Curry-Howard Equipo: EFR, PGP, HACC, FCA, DCG, HDVV. Fecha de exposición: miércoles 19 de noviembre.
• Lógicas temporales
• Binary Decision Diagrams (BDDs) Equipo: ASMS, FJRP, AVBT, RCR, ESPG, CDCJ. Fecha de exposición: 20 de noviembre.
• Lógicas de orden superior
• Asistente de pruebas COQ
• Verificación formal mediante Isabelle

Mantendré actualizado este sitio para que observen los temas que ya fueron asignados y los que siguen disponibles.