16/02/12 | Los resultados del examen de febrero 2012 se publicarán el lunes 27 de febrero a última hora. La muestra se realizará el miércoles 29 de 16 a 17:30 hrs. en el salón 016. |
08/12/11 | El examen de diciembre será en el salón 107. |
07/12/11 | Lista de estudiantes habilitados para el examen de Diciembre aquí |
27/07/11 | Distribución de estudiantes por salón para el examen de Julio aquí |
05/07/11 | Se publicó la información de la encuesta para el mejoramiento de los cursos, orientada inicialmente a mejorar el cursos de P1. La invitación la pueden encontrar en este link. |
28/06/11 | El formulario para solicitar el certificado de asistencia la segundo parcial se encuentra aquí. |
28/06/11 | Se encuentra disponible la encuesta de opinión estudiantil. Este año se realiza en un formulario web al que se puede acceder en: Formulario. |
21/06/11 | Colgado un artículo acerca del uso de Yoda en la página de herramientas. |
06/06/11 | Publicada la presentación de teórico correspondiente a Completitud en Lógica Predicados de Primer Orden. |
01/06/11 | Publicada la presentación de teórico correspondiente a Identidad en Lógica Predicados de Primer Orden. |
27/05/11 | Publicada la presentación de teórico correspondiente a Deducción Natural en Lógica Predicados de Primer Orden. |
19/05/11 | Hoy, jueves 19/5/2011 hay clase de teórico. |
14/05/11 | Publicada la presentación de teórico correspondiente Semántica de la Lógica Predicados de Primer Orden. |
13/05/11 | Publicada la presentación de práctico correspondiente al Práctico 6 |
05/05/11 | Publicadas las presentaciones de teórico correspondientes : |
04/05/11 | El cronograma de actividades del curso para las semanas siguientes está publicado aquí |
11/04/11 | Publicada la presentación de práctico correspondiente al Práctico 5 |
04/04/11 | Publicada la presentación de teórico correspondiente Corrección, Consistencia y Completitud en Lógica Proposicional. |
29/03/11 | Publicada la presentación de práctico correspondiente al Práctico 3 |
25/03/11 | Publicada la presentación de teórico correspondiente Deducción Natural en la Lógica Proposicional. |
18/03/11 | Publicada la presentación de teórico correspondiente Semántica de la Lógica Proposicional. |
13/03/11 | Publicada la presentación de teórico correspondiente Sintaxis de la Lógica Proposicional. |
11/03/11 | Publicada la presentación de práctico correspondiente a la segunda parte del Práctico 1 |
10/03/11 | Publicada la presentación de práctico correspondiente a la primera parte del Práctico 1 |
3/03/11 | Disculpen la demora en la publicación del material. Ya están publicados los siguientes teóricos: |
23/02/11 | Habilitada la página del curso de Lógica y Computación 2011. |
17/02/11 | Bienvenidos a la edición 2011 del curso de Lógica. El teórico comienza el martes 1 de marzo, el práctico el viernes 4 de marzo y las consultas en la semana del 7 de marzo. |