PCIC — Notas de clase
Search
Buscar
Modo oscuro
Modo claro
Modo lector
Explorador
logica-primer-orden
8 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
Lógica de primer orden
concepto
inteligencia-artificial
logica-primer-orden
representacion-conocimiento
26 sept 2026
Resolución de primer orden
concepto
inteligencia-artificial
logica-primer-orden
resolucion
refutacion
26 sept 2026
Skolemización
concepto
inteligencia-artificial
logica-primer-orden
skolemizacion
26 sept 2026
Sustitución lógica
concepto
inteligencia-artificial
logica-primer-orden
sustitucion
26 sept 2026
Unificación
concepto
inteligencia-artificial
logica-primer-orden
unificacion