LI2011-12: Presentación del curso de “Lógica informática” (2011-12)

En la clase de hoy, se ha realizado la presentación del curso Lógica Informática siguiendo el plan de la asignatura. Se ha comentado el contenido de la asignatura, el sistema de evaluación y los materiales de la asignatura en la Red:

• la página de la asignatura,
• las transparencias de los temas,
• el libro con los apuntes de los temas,
• el libro sobre la construcción lógica de sistemas lógicos,
• el libro con los enunciados de los ejercicios,
• el libro de exámenes resueltos de cursos anteriores
• el libro de ejercicios de formalización,
• el libro de soluciones de los ejercicios de deducción natural proposicional y
• el libro de soluciones de los ejercicios de deducción natural en lógica de primer orden.