PCIC — Notas de clase
Search
Buscar
Modo oscuro
Modo claro
Modo lector
Explorador
inferencia
6 artículos con esta etiqueta.
01 oct 2026
2026-09-22 IA - logica de primer orden
clase
inteligencia-artificial
logica-primer-orden
inferencia
resolucion
unificacion
skolemizacion
prolog
26 sept 2026
Regla de consecuencia de Hoare
concepto
programacion
logica-de-hoare
inferencia
26 sept 2026
Reglas de conjunción y disyunción de Hoare
concepto
programacion
logica-de-hoare
inferencia
26 sept 2026
Vinculación lógica
concepto
inteligencia-artificial
logica
inferencia
26 sept 2026
2026-09-10 IA - Agentes logicos
clase
inteligencia-artificial
agentes-logicos
logica-proposicional
satisfacibilidad
wumpus
inferencia
csp
26 sept 2026
2026-09-17 IA - Logica proposicional
clase
inteligencia-artificial
logica-proposicional
inferencia
horn
resolucion
fnc