Deducción Automática 27 octubre 2015
Publicado por faraon en Clase , añadir un comentarioSesió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
Deducción Natural (estrategias) 27 octubre 2015
Publicado por faraon en Clase , añadir un comentarioSesión 4: Deducción Natural (estrategias)
Faraón Llorens Largo
13 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
Deducción Natural 6 octubre 2015
Publicado por faraon en Clase , añadir un comentarioSesión 3: Deducción Natural
Faraón Llorens Largo
5 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
Semántica 29 septiembre 2015
Publicado por faraon en Clase , añadir un comentarioSesión 2: Semántica
Faraón Llorens Largo
28 de septiembre de 2015
Bloque: Lógica
Asignatura: Matemáticas I
Grado en Ingeniería Multimedia (http://www.eps.ua.es/ingenieria-multimedia)
Universidad de Alicante
Representación del conocimiento y razonamiento 22 septiembre 2015
Publicado por faraon en Clase , añadir un comentarioSesión 1: Representación del conocimiento y razonamiento
Faraón Llorens Largo
21 de septiembre de 2015
Bloque: Lógica
Asignatura: Matemáticas I
Grado en Ingeniería Multimedia (http://www.eps.ua.es/ingenieria-multimedia)
Universidad de Alicante