PCIC — Notas de clase
Search
Buscar
Modo oscuro
Modo claro
Modo lector
Explorador
logica
7 artículos con esta etiqueta.
26 sept 2026
Aserción de programa
concepto
programacion
logica
verificacion-formal
26 sept 2026
Base de conocimiento
concepto
inteligencia-artificial
logica
representacion-conocimiento
26 sept 2026
Cláusula de Horn
concepto
inteligencia-artificial
logica
clausulas-horn
26 sept 2026
Fortaleza lógica de una aserción
concepto
logica
aserciones
logica-de-hoare
26 sept 2026
Lógica proposicional
concepto
inteligencia-artificial
logica
formalismo
26 sept 2026
Negación como falla
concepto
programacion
prolog
logica
programacion-logica
26 sept 2026
Vinculación lógica
concepto
inteligencia-artificial
logica
inferencia