LENGUAJES FORMALES

• APLICACION DE TECNICAS DE DESCRIPCION FORMAL, MEDIANTE LENGUAJE SDL, AL MODELO ARQUITECTONICO DE REFERENCIA NORMALIZADO DE LA INFRAESTRUCTURA GLOBAL DE LA INFORMACION.
  Autor: TOMAS VALERO MANUEL
  Año: 1997
  Universidad: POLITECNICA DE VALENCIA
  Resumen

  Esta Tesis está dedicada a analizar el problema de la construcción de las futuras infraestructuras de la Información. Este trabajo de investigación recoge las propuestas que la Unión Internacion ... [Sigue]
• LA RESTRICCION EN LA TEORIA DE LA GRAMATICA (EN TORNO A LA EVOLUCION DE LOS MODELOS CHOMSKYANOS).
  Autor: LONGA MARTINEZ VICTOR MANUEL
  Año: 1995
  Universidad: SANTIAGO DE COMPOSTELA
  Resumen

  EN LA TESIS REFERIDA SE ANALIZAN LAS PRINCIPALES DIVERGENCIAS SUCEDIDAS A LO LARGO DEL DEVENIR DE LA GRAMATICA GENERATIVA TRANSFORMACIONAL, EN UN DOBLE SENTIDO: QUE HA MOTIVADO LA SUCESIVA FORMULACIO ... [Sigue]
• INGENIERIA DEL APRENDIZAJE: HACIA UNA TEORIA FORMAL Y FUNDAMENTAL DEL APRENDIZAJE
  Autor: CASARES GALLEGO RAMON M.
  Año: 1992
  Universidad: POLITECNICA DE MADRID
  Resumen

  EL PROPOSITO DE LA TESIS ES DEFINIR EL TERMINO APRENDIZAJE CON LA PRECISION SUFICIENTE PARA QUE PUEDA SER UTILIZADO CON PROVECHO EN LA INGENIERIA. A TAL FIN SE PROPONE DEFINIR AL APRENDIZ COMO AQUELL ... [Sigue]
• ESTUDIO DEL LEMA DE INTERPOLACION EN EL CONTEXTO DE DIVERSOS LENGUAJES FORMALES.
  Autor: CORREDOR LANAS CRISTINA
  Año: 1990
  Universidad: AUTONOMA DE MADRID
  Resumen

  LA TESIS CONSISTE EN UNA PRESENTACION SISTEMATIZADA DEL LEMA DE INTERPOLACION, ANALIZANDO LOS RASGOS SINTACTICOS Y SEMANTICOS QUE DETERMINAN SU SATISFACCION. SU FALLO EN UNA SERIE DE LOGICAS: LOGICA ... [Sigue]
• UNA LOGICA NO ESTANDARD ADMISIBLE PARA PROGRAMAS FUNCIONALES
  Autor: GIL LUEZAS ANA
  Año: 1989
  Universidad: COMPLUTENSE DE MADRID
  Resumen

  SON PRESENTADOS ALGUNOS LENGUAJES FORMALES PARA EL ESTUDIO DE LOS PROGRAMAS FUNCIONALES. EL LENGUAJE MAS AMPLIAMENTE TRATADO ES EL LRF, ESTE LENGUAJE CONSTA DE EXPRESIONES FUNCIONALES, QUE REPRESENTA ... [Sigue]
• SISTEMAS FORMALES AFINES A LA SEMANTICA DE SITUACIONES.
  Autor: BARBA ESCRIBA JUAN
  Año: 1988
  Universidad: AUTONOMA DE MADRID