LI2013: Presentación del curso de “Lógica informática”
En la primera parte de la clase de hoy, se ha presentado el 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 con los enunciados de los ejercicios,
- el libro de exámenes resueltos de cursos anteriores
- el libro de ejercicios de formalización,
- el libro con los apuntes de los temas,
En la segunda parte, se ha explicado la instalación y uso de Isabelle/HOL. Como ejemplo se ha resuelto el primer ejercicio de la 1ª relación. Finalmente se ha explicado cómo publicar la solución en la wiki.
Como tarea para la próxima clase, se ha propuesto la solución de los ejercicios de la 1ª relación.