LI2012: Presentación del curso de “Lógica informática” (2012-13)
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.
- el libro con los apuntes de los temas,