Sesión 5: Deducción Automática
Faraón Llorens Largo
26 de octubre de 2015
Bloque: Lógica
Asignatura: Matemáticas I
Grado en Ingeniería Multimedia (http://www.eps.ua.es/ingenieria-multimedia)
Universidad de Alicante
Entradas recientes
Categorías
- Actividades (403)
- CatedraTD_UA (371)
- Charlas (69)
- Clase (23)
- Gobierno de las TI (182)
- infografía (10)
- Innovación educativa (364)
- Inteligencia artificial (37)
- Libros (163)
- Me gusta (7)
- Prensa (76)
- reflexiones (84)
- Sin categoría (20)
- Smart_Learning (201)
- Tesis Doctoral (8)
- TFG-TFM (30)
- Videojuegos (96)
Etiquetas
analíticas de aprendizaje
aprendizaje
aprendizaje adaptativo
aprendizaje basado en proyectos
automatización
biblioteca
bLearning
Cartera Estratégica Proyectos TI
cerebro
CIO
clase invertida
comunicación
creatividad
deducción
didáctica
diseño
docencia
educación abierta
educational data mining
estrategia
evaluación
gamificación
incertidumbre
infografía
informática
innovación
inteligencia
Inteligencia artificial
investigación
lógica
madurez digital
MOOC
motivación
ontología
pensamiento computacional
planificación estratégica
programación
razonamiento
representación del conocimiento
sistema multiagentes
tecnología
Transformación Digital
universidad
videojuegos educativos
ética
Deducción Automática
Tags: automatización, deducción, lógica, razonamiento
← Deducción Natural (estrategias) Número especial de ReVisión: Investigación sobre educación universitaria en informática con proyección internacional →