Este libro utiliza la lógica y la teoría de dominios para definir el significado de los programas, similar a cómo el texto de referencia aborda la semántica del lenguaje natural.

por Jan van Eijck · 2011
Ver sugerenciasSinopsis
Explora cómo se pueden usar las técnicas de programación funcional para analizar y representar el significado del lenguaje natural, uniendo la lingüística computacional con la ciencia de la computación.
Sé el primero en valorar este libro.
Otras obras del mismo autor en el catálogo
Libros relacionados según distintos criterios de búsqueda
Este libro utiliza la lógica y la teoría de dominios para definir el significado de los programas, similar a cómo el texto de referencia aborda la semántica del lenguaje natural.
Carl A. Gunter
1992·divulgacion
Ambos textos exploran la semántica de lenguajes funcionales, utilizando enfoques formales y categóricos, lo que refleja una conexión en el tratamiento del significado.
Al igual que el libro de referencia, este trabajo se centra en asignar un significado preciso a las construcciones de programas a través de métodos semánticos formales.
Ambos estudios examinan métodos rigurosos para definir el significado de programas, destacando la importancia de la verificación y diseño en la programación, uniendo computación y semántica.
El texto de filosofía combina lógica y computación, parecido a la forma en que el libro de referencia relaciona técnicas funcionales con el análisis del lenguaje natural.
Al igual que el libro de referencia, este ensayo explora cómo el significado se establece en un contexto computacional, integrando la semántica con fundamentos lógicos.