Encabezado Facultad de Ciencias
Presentación

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

Cuarto Semestre, Lógica Computacional

Grupo 7056, 43 lugares. 34 alumnos.
Profesor Miguel Carrillo Barajas ma ju 18 a 19:30
Ayudante Silvia Díaz Gómez lu mi 19:30 a 20:30
Ayudante Naomi Itzel Reyes Granados lu mi 19:30 a 20:30
Ayud. Lab. Ismael Lautaro Martner Varela ma 14 a 16
Ayud. Lab. Ricardo Rubén Gónzalez García

 


Hola,
Las clases inician mañana, martes 16, en https://meet.google.com/gdq-njro-out, a las 18:00 hrs.
(quienes ya se inscribieron, recibieron una invitación a la videoconferencia)

En la primera sesión de laboratorio, martes 16 a las 14:00 hrs, usando el mismo link de arriba,
se verá una introducción a Haskell (Instalación, Tutorial básico, y Ejercicios útiles para la clase).

El curso cubrirá temas esenciales del temario oficial.
En punto (del temario) que corresponde a una introducción a temas posteriores, veremos:
Lógica Modal básica y aplicaciones a temas de interés actual en Ciencias de la Computación.

En la primera clase comentamos el temario y la forma de evaluación del curso.

Miguel Carrillo.

 


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.