PCIC — Notas de clase
Search
Buscar
Modo oscuro
Modo claro
Modo lector
Explorador
resolucion
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
Estandarización aparte de variables
concepto
inteligencia-artificial
logica-primer-orden
variables
resolucion
26 sept 2026
Forma normal conjuntiva en lógica de primer orden
concepto
inteligencia-artificial
logica-primer-orden
forma-normal-conjuntiva
resolucion
26 sept 2026
Resolución de primer orden
concepto
inteligencia-artificial
logica-primer-orden
resolucion
refutacion
26 sept 2026
2026-09-17 IA - Logica proposicional
clase
inteligencia-artificial
logica-proposicional
inferencia
horn
resolucion
fnc
26 sept 2026
2026-09-08 ProgAv - Resolucion y metas en Prolog
clase
programacion-avanzada
programacion-logica
prolog
resolucion
clausulas-horn