Accesos directos a las distintas zonas del curso
Ir a los contenidos
Ir a menú navegación principal
Ir a menú pie de página
Ficha técnica
Tipo: Optativa Créditos/horas totales: 6/150 Horas de estudio teórico: 60 Horas de prácticas: 60 Horas complementarias: 30
Tipo: Optativa
Créditos/horas totales: 6/150
Horas de estudio teórico: 60 Horas de prácticas: 60 Horas complementarias: 30
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.