Encabezado Facultad de Ciencias
Presentación

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

Optativas, Semántica y Verificación

Grupo 7014, 28 lugares. 6 alumnos.
Profesor Lourdes del Carmen González Huesca ma ju 13 a 14:30 P118
Ayudante Braulio Aaron Santiago Carrillo lu mi 13 a 14 P118
Ayud. Lab.

 

Anuncios y comunicación: GoogleClassroom código jg5v74m

Página del curso

¡ Iniciamos el 16 (martes) de agosto !

Temario:

  1. Introducción: fundamentos de lenguajes de programación, sintaxis

  2. Semántica operacional

  3. Semántica axiomática

  4. Semántica denotacional

Evaluación:

70% Tareas teórico-prácticas (6)

30% Actividades complementarias

No hay reposición de ninguno de los anteriores, ni hay examen final.

No se elimina la calificación más baja de ninguno aunque puede hacerse una excepción al final.

Para tener derecho a calificación final aprobatoria es necesario tener un promedio aprobatorio de exámenes.

Para obtener un NP es necesario que no se tengan más de dos calificaciones de cualquier tipo.

 


Hecho en México, todos los derechos reservados 2011-2016. Esta página puede ser reproducida con fines no lucrativos, siempre y cuando no se mutile, se cite la fuente completa y su dirección electrónica. De otra forma requiere permiso previo por escrito de la Institución.
Sitio web administrado por la Coordinación de los Servicios de Cómputo de la Facultad de Ciencias. ¿Dudas?, ¿comentarios?. Escribenos. Aviso de privacidad.