Posts tagged ‘uhu’

marzo 28th, 2011

Una para el recuerdo

Se acabaron las clases presenciales para el curso de 2º y todas sus asignaturas.

Una de ellas ha sido Programación Declarativa, la cuál la he impartido durante todos los años que llevo de docente, tanto en Huelva como los 2 años que he estado en Sevilla y al final acaba uno cogiéndole hasta “cariño” a la asignatura.

El caso es que en la última clase del cuatrimestre, y por tanto de esta historia de la asignatura, un alumno se dió cuenta del detalle y propuso hacernos una fotografía para inmortalizar tal evento…. y aquí está!!


  

Pues buena suerte a todos!!.. y quizás nos veamos alguna vez en el futuro!

Gonzalo.

octubre 24th, 2010

Cambios

Hola,

La semana pasada estuve en el congreso “Concept Lattices and Their Applications” (CLA 2010) que organizaba mi grupo de investigación, en Sevilla.

Ha sido una semana MUY movida y SATISFACTORIA.

Ahora toca volver al mundo real:

– Esta semana que entra,  las tutorías del Lunes(25-Octubre) de 12 a 13 horas, pasarán al Jueves(28-Octubre) de 13:30 a 14:30

– Comienzan las clases de prácticas de Laboratorio de Programación Declarativa y Compiladores.

Pues nada, nos veremos en las clases!

G

abril 5th, 2010

PL – 05/04/2010

Hoy vamos a tener una sesión sobre Análisis Semántico con la herramienta automática JavaCC.

Fundamentalmente veremos como agregar verificaciones y acciones semánticas a un analizador generado automáticamente.

Tags: , , ,
abril 5th, 2010

Semana Santa

He publicado en la web de la asignarura IAIC una lista de ejercicios para cada uno de los temas que llevamos dados.

También recordaros que teneis que solicitar el trabajo adicional del segundo cuatrimestre(obligatorio).

Tags: , ,
abril 5th, 2010

IAIC – 25/03/2010

Última clase sobre lógica proposicional donde se explicó la resolución proposicional, algoritmo y posibles extensiones o modificaciones.

Se puso en la página de la asignatura el pseudocódigo del algoritmo y un ejemplo de ejecución del mismo.

marzo 18th, 2010

Cambio de tutorías

Cambio de las tutorías del Jueves, que pasan a impartirse en el Campus de la Rábida.

El horario queda de la siguiente manera:

Campus del Carmen: Facultad Ciencias del Trabajo, Pabellón Derecho, planta 1ª, aula 1

  • Lunes de 10:00 a 12:00h

Campus de la Rábida: Edificio Torreumbría, Despacho TUPB-11

  • Lunes de 16:00 a 18:00h
  • Jueves de 16:00 a 18:00h
marzo 18th, 2010

IAIC – 18/03/2010

Desarrollo hoy del tema 3 del bloque: Tableros Semánticose introducción a las formas normales.

Los tableros están terminados, a la espera de la publicación de algunos ejercicios, y las formas normales están casi terminadas, para el próximo día explicar Resolución y hacer algún ejemplo.

marzo 10th, 2010

PL – 08/03/2010

Primera práctica sobre Análisis Semántico. En ella se han descrito los nodos que compondrán el Árbol de Sintaxis Abstracta(ASA) generado por el compilador Tinto.

Hemos realizado al final un ejemplo de cómo quedaría, a mano(en la pizarra), el ASA del código Tinto de la práctica 1.

Tags: , , ,
febrero 22nd, 2010

Docencia 2C – 2009/2010

Asignaturas impartidas:

Datos para las tutorías del segundo cuatrimestre:

Campus del Carmen: Facultad Ciencias del Trabajo, Pabellón Derecho, planta 1ª, aula 1

  • Lunes de 10:00 a 12:00h
  • Jueves de 16:00 a 18:00h

Campus de la Rábida: Edificio Torreumbría, Despacho TUPB-11

  • Lunes de 16:00 a 18:00h