#programacionlogica — Public Fediverse posts

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

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

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

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

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

Apuntes de lógica: desde Aristóteles hasta Prolog. ~ Joaquín Arias. https://burjcdigital.urjc.es/server/api/core/bitstreams/601a1567-c9b0-43c8-b684-6321230bf781/content #Lógica #ProgramaciónLógica #Prolog

Enseñanza del sistema de deducción natural en lógica proposicional aplicando programación lógica. ~ Joaquín Arias, Iván Ramírez. https://cied.urjc.es/innovacion/banco-de-buenas-practicas-docentes/item/1425-ensenanza-del-sistema-de-deduccion-natural-en-logica-proposicional-aplicando-programacion-logica #Lógica #ProgramaciónLógica #Prolog

Curso "Programación lógica (2008-09)". https://jaalonso.github.io/cursos/d-pl-08 #ProgramaciónLógica #Prolog #IA

Curso "Programación declarativa (2008-09)". https://jaalonso.github.io/cursos/pd-08 #ProgramaciónFuncional #Haskell #ProgramaciónLógica #Prolog

Curso "Programación lógica (2007-08)". https://jaalonso.github.io/cursos/d-pl-07 #ProgramaciónLógica #Prolog #IA

Curso "Programación declarativa (2007-08)". https://jaalonso.github.io/cursos/pd-07 #ProgramaciónFuncional #Haskell #ProgramaciónLógica #Prolog