En la clase de hoy del curso de Demostración asistida por ordenador se se ha estudiado cómo escribir demostraciones mediante deducción natural en lógica de primer orden usando Isabelle/HOL/Isar.
La teoría correspondiente a la clase es Tema_3.thy cuyo contenido se muestra a continuación
Read More “DAO2011: Deducción natural en lógica de primer orden con Isabelle/HOL”
En la clase de hoy de Informática de 1º del Grado en Matemáticas hemos continuado la introducción al estudio de grafos.
En primer lugar, hemos visto cómo se puede generar familas de grafos como los grafos completos de orden n y los ciclos de orden n, que se usarán en la relación 30 de ejercicios. Estos y otros ejemplos se pueden ver en la galería de grafos de Wikipedia.
A continuación, se ha explicado cómo pueden construirse y representarse estos grafos con Maxima. Las instrucciones se encuentran en el capítulo 57 del manual de Maxima.
En la clase de hoy de Informática de 1º del Grado en Matemáticas hemos comenzado el estudio de grafos.
En primer lugar, hemos considerados cómo distintos conceptos habituales pueden representarse mediante grafos, como mapas, redes sociales, relaciones binarias, grafo de dependencia de módulos y matrices.
A continuación, hemos comentado los conceptos y terminología de grafos que usaremos en el curso.
Las transparencias usadas en la clase son las páginas 1-5 del tema 22:
Read More “I1M2010: Introducción a los grafos”
En la clase de hoy de Informática de 1º del Grado en Matemáticas se ha realizado el 6º examen de la evaluación continua.
A continuación se muestra el examen junto con su solución:
Read More “I1M2010: 6º examen de la evaluación continua”
En la clase de hoy del curso Lógica Informática se presentado la lógica de primer orden como sistema de representación del conocimiento.
La clase ha comenzado recordando la ecuación que resumen el curso: LI=RC+AR, donde LI = Lógica informática, RC = Representación del conocimiento y AR = Automatización del razonamiento.
Ya hemos estudiado el sistema básico de representación del conocimiento (la lógica proposicional) y tres sistemas deductivos (deducción natural, tableros semánticos y resolución).
Hoy empezamos el estudio de un sistema de representación: la lógica de primer orden. Este sistema permite representar de forma más compacta conocimiento representable en lógica proposicional y también representar conocimiento que no se puede representar en lógica proposicional.
Como ejemplos de representación hemos visto cómo representar conocimiento geográfico, del mundo de los bloques y conocimiento astronómico. En los distintos ejemplos hemos resaltado los tipos de símbolos lógicos utilizados.
Finalmente, como tutor para la representación del conocimiento, se ha presentado el APLI2 (APLIcación de Ayuda Para Lógica Informática).
Las transparencias de esta clase son las páginas 1 a 10 del tema 6.
Como tarea se propone la resolución de los ejercicios del tema 6 del libro de ejercicios y los de APLI2.