Un saludo a tod@s mis estudiantes de Lógica Computacional, a partir de ahora este blog va a ser un medio de apoyo para el aprendizaje de las temáticas de la materia, al igual que va a ser una herramienta informativa de fechas y demas.
El trabajo de investigación consiste en consultar:
- Satisfacibilidad
- Consecuencia
- Equivalencia.
Y en el trabajo debe haber como mínimo un ejemplo que ilustre cada uno de estos términos usados en la lógica computacional. La fecha de entrega del trabajo es para el día 29 de febrero dia en el cual tenemos el primer parcial.
El trabajo es individual y se debe entregar impreso. La consulta del trabajo puede entrar en el parcial.
Por ultimo les recuerdo el horario de asesorías academicas que son todos los viernes de 5 a 6:30 pm, en caso de que alguien no pueda en esa hora y requiera de una asesoría se buscaría el espacio para poder realizarla, en tal caso me ubicarian en la sala de profesores o me escriben un correo edwinri@hotmail.com.
