Ciencias de la Computación (plan 1994) 2022-1

Grupo 7015, 60 lugares. 4 alumnos.

 

El curso no tendrá sesiones de laboratorio.

📢 Importante

Para la comunicación con el grupo haremos uso de la plataforma Telegram. 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. Todos los detalles, como la forma de trabajo se encuentran en la página del curso. En caso de no recibir la información de acceso o si tienen alguna duda, envíenme un correo a manu@ciencias.unam.mx, también pueden escribirme por Telegram.

---

🔗 Página del curso

https://semanticafc.gitlab.io/20221/

🔡 Descripción

El objetivo del curso es estudiar la semántica y verificación formal de programas, que constituyen un conjunto de herramientas matemáticas para razonar formalmente sobre el comportamiento de los mismos. 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 investigaciones (10%), ejercicios semanales (45%) y proyectos (45%).

📋 Contenido