Ciencias de la Computación (plan 1994) 2021-2

Grupo 7014, 60 lugares. 5 alumnos.

 

Importante

Para la comunicación con el grupo y entrega de trabajos, haremos uso de la plataforma Google Classroom. Es importante que tengan su correo actualizado en el Sistema de la Facultad de Ciencias pues ahí enviaremos los datos de acceso a la clase así como información sobre la presentación del curso. En caso de no recibir esta información o si tienen alguna duda, envíenme un correo a manu@ciencias.unam.mx o también pueden escribirme por Telegram.

Oyentes: Si alguien está interesado o interesada en tomar la clase como oyente, escríbanme para darles acceso a Classroom.

Ya los hemos dado de alta en la plataforma. Si alguien no recibió la invitación, escríbanme lo más pronto posible.

---

Página del curso

https://sites.google.com/ciencias.unam.mx/semantica/20212

Descripción

El objetivo del curso es estudiar el análisis y verificación formal de programas, que constituyen un conjunto de herramientas matemáticas para razonar formalmente sobre el comportamiento de los programas. Su empleo nos permitirá demostrar que los programas son correctos y se adhieren a su especificación. A lo largo del curso presentaremos los fundamentos matemáticos subyacentes a dichas herramientas, reconociendo, en particular, sus alcances y limitaciones. Estudiaremos, además, las distintas estrategias que se utilizan para automatizar su aplicación.

Evaluación

El curso se evaluará mediante tareas (70%) y exposiciones (30%).

Contenido