LI2012: Lógica y programación
En la primera parte de la clase de hoy Lógica Informática se ha comentado las relaciones entre la lógica y la programación. Se han mostrado un programa con una máquina de Turing, un programa en Prolog y un demostrador proposicional en Haskell.
En la segunda parte he comentando relaciones entre las lógicas e informática:
- la de primer orden con la programación lógica (que verán en la signatura de “Programación declarativa”),
- la de orden superior con la verificación de sistemas (que verán en la asignatura de “Razonamiento asistido por computador”),
- las modales con los agentes inteligentes (que verán en la asignatura de “Sistemas inteligentes”)
- las descriptivas con la Web semántica (que verá en la asignatura de “Representación del conocimiento en la Web”).