Archivo de la categoría ‘Otras noticias de interés’

Cambio de seminario y horario

A partir del miércoles 14 de noviembre la clase de Ingeniería del Conocimiento se impartirá en el seminario H1.50 en horario de 16:30 a 18:30

Horario del curso 2011-12

El horario del curso 2011-12 es el siguiente

1º cuatrimestre:
              +-------+-------+-------+-------+
              | L     | M     | X     | J     |
+-------------+-------+-------+-------+-------+
| 16:30-18:30 |       | CB    | AA    | RA    |
| 18:30-20:30 | SLMC  | RCW   | MCVA  | IC    |
+-------------+-------+-------+-------+-------+

2º cuatrimestre:
              +-------+-------+-------+-------+
              | L     | M     | X     | J     |
+-------------+-------+-------+-------+-------+
| 16:30-18:30 | CDE   | SVRAI | TIB   | SACBS |
| 18:30-20:30 |       | RAC   | PL    | MA    |
+-------------+-------+-------+-------+-------+

Siglas de asignaturas:

  • AA = Aprendizaje automático
  • CB = Computación bioinspirada
  • IC = Ingeniería del conocimiento
  • MCVA = Métodos computacionales en vida artificial
  • RA = Razonamiento automático
  • RCW = Representación del conocimiento en la Web
  • SLMC = Seminario de Lógica Matemática y Computación
  • CDE = Competencias digitales para la enseñanza
  • MA = Modelos de la aritmética
  • PL = Programación lógica
  • RAC = Razonamiento asistido por computador
  • SACBS = Simulación y análisis computacional en biología de sistemas
  • SVRAI = Síntesis, verificación y razonamiento sobre agentes inteligentes
  • TIB = Técnicas inteligentes en bioinformática

El programa de doctorado recibe la mención “Hacia la excelencia”

Nuestro programa de doctorado (al que da acceso este Master) ha recibido el informe favorable a su solicitud de “Mención hacia la excelencia”. En el informe destaca, entre otros apartados, la excelente repercusión científica de los doctores formados en nuestro programa

RAC: próximas clases del 13 y 16 de junio

La dos últimas clases se dedicarán a la realización de ejemplos concretos de verificación usando ACL2  Sedan. Los ejemplos se tomarán del capítulo 19 del libro “Computer Aided Reasoning: An Approach”.

Como ejercicio a entregar, se pide el bloque 8, antes del 19 de junio. Este ejercico es similar a la demostración de la corrección mergesort, pero usando la noción de “permutación”, en lugar de la de “ocurrencias”.

La semana que viene publicaré una serie de ejercicios que habrá que hacer como trabajo final de la asignatura.

RAC: próxima clase 9 de junio

Se recuerda que el próximo día 2 de junio no hay clase de RAC, y que esta clase queda aplazada para el día 13 de junio a la misma hora.

Para la clase del próximo 9 de junio, hay que realizar, en ACL2 Sedan, la demostración de que el algoritmo mergesort devuelve una lista ordenda.