Archive for abril 5th, 2010

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.

abril 5th, 2010

PL – 22/03/2010

Última sesión sobre el análisis semántico sobre Tinto v0.1 “a mano”.