Encabezado Facultad de Ciencias
Presentación

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

Cuarto Semestre, Análisis Lógico

Grupo 7010, 54 lugares. 54 alumnos.
A partir del jueves 2 de febrero de 2012, al salón O 122
Profesor Favio Ezequiel Miranda Perea lu mi vi 11 a 12 O122
Ayudante Pilar Selene Linares Arévalo ma ju 11 a 12 O122
Ayudante Araceli Liliana Reyes Cabello ma ju 11 a 12
Ayud. Lab. Francisco Javier Enríquez Lavida lu 16 a 18 Laboratorio de Ciencias de la Computación 2

 

Sinopsis:

Este curso proporciona una introducción a la lógica matemática desde la perspectiva de las ciencias de la computación haciendo énfasis en algunas de sus aplicaciones. Al final del curso el alumno estará preparado para usar la lógica como una herramienta formal de apoyo en diversas áreas de las ciencias de la computación.

La página del curso está aquí

 


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.