MÉTODOS LÓGICOS DE AUTOMATIZACIÓN DEL RAZONAMIENTO

Cod.31101184

PRESENTACIÓN

Ficha técnica

Tipo: Optativa

Cuatrimestre: Primero

Créditos/horas totales: 6/150

Horas de estudio teórico: 60

Horas de prácticas: 60

Horas complementarias: 30

Objeto de la asignatura

Evaluación del uso de sistemas lógicos como soporte de la inferencia deductiva en IA y Ciencias de la Computación.