Convergencia y sistematizaci??n de sem??nticas formales en la ense??anza de la l??gica elemental y avanzada

Se realiza un an??lisis y adaptaci??n al proceso de convergencia europea de las sem??nticas formales en la ense??anza de la l??gica elemental y avanzada. Se constituye un equipo permanente de trabajo docente de car??cter interuniversitario entre las Universidades de Le??n y Salamanca, y se mantiene una colaboraci??n con los investigadores, alumnos de doctorado y la Asociaci??n Software Libre Le??n, asociada a Hispalinux. Se crea una versi??n mejorada del programa de verificaci??n de matrices l??gicas matriguity (Matriguity II) con la posibilidad de incluir constantes. Se dise??an e implementan las herramientas de c??digo y las herramientas internas del programa inform??tico Hydroyanic (HCN), aplicaci??n utilizada para la ense??anza de la l??gica cl??sica de primer orden. Se dise??an y se ponen en funcionamiento recursos telem??ticos consistentes en p??ginas Web de acceso libre. Finalmente se elaboran materiales textuales para la implementaci??n docente de la sem??ntica estrat??gica, as?? como sem??nticas relacionadas de car??cter modal, para el uso de los alumnos y del profesorado.