Cursos impartidos con materiales completos: apuntes, ejercicios y exámenes resueltos. Áreas: #Lógica, #ProgramaciónLógica, #ProgramaciónFuncional, #IA, #RazonamientoAutomático. https://jaalonso.github.io/cursos

Temas de "Lógica informática" (curso 2015-16). https://web.archive.org/web/http://www.cs.us.es/~jalonso/cursos/li-15/temas/temas-LI-2015-16.pdf #Lógica #ProgramaciónLógica #Prolog

Curso "Lógica informática (2015-16). https://jaalonso.github.io/cursos/li-15 #Lógica #ProgramaciónLógica #Prolog

Temas de "Lógica informática" (curso 2014-15). https://web.archive.org/web/http://www.cs.us.es/~jalonso/cursos/li-14/temas/temas-LI-2014-15.pdf #Lógica #ProgramaciónLógica #Prolog

Curso "Lógica informática (2014-15)". https://jaalonso.github.io/cursos/li-14 #Lógica #ProgramaciónLógica #Prolog

Curso "Lógica informática (2013-14)". https://jaalonso.github.io/cursos/li-13 #Lógica #ProgramaciónLógica #Prolog

Curso "Lógica informática (2012-13)". https://jaalonso.github.io/cursos/li-12 #Lógica #ProgramaciónLógica #Prolog

Temas de "Lógica informática" (curso 2011-12). https://web.archive.org/web/http://www.cs.us.es/~jalonso/cursos/li-11/temas/temas-LI-2011-12.pdf #Lógica #ProgramaciónLógica #Prolog

Curso "Lógica informática (2011-12)". https://jaalonso.github.io/cursos/li-11 #Lógica #ProgramaciónLógica #Prolog

Curso de programación lógica. ~ Ana Pradera. https://burjcdigital.urjc.es/server/api/core/bitstreams/30d163ff-af2a-46b8-9b3b-980b87bbf13f/content #Lógica #ProgramaciónLógica #Prolog