Aborda la semántica en programación lógica, uniendo la lógica formal con aplicaciones en informática, similar a la combinación de álgebra y lógica en el libro de Nebesky.
Álgebra y Lógica Aplicada
por Ladislav Nebesky · 1981
Ver sugerenciasSinopsis
Este libro aborda la intersección entre el álgebra abstracta y la lógica formal, mostrando sus aplicaciones en la ciencia de la computación y la lingüística formal desde una perspectiva de Europa Central.
Sé el primero en valorar este libro.
Libros similares
Libros relacionados según distintos criterios de búsqueda
Explora la lógica desde una perspectiva algebraica, facilitando la comprensión de conceptos lógicos, lo que resuena con el enfoque en la intersección de álgebra y lógica.
Formální logika a sémantický web
Alena Lukasová, Martin Žáček, Marek Vajgl, Zdeňka Telnarová
2019·divulgacion
Presenta una intersección entre lógica formal y la Web Semántica, mostrando la relevancia de la lógica en la tecnología actual, en consonancia con el enfoque de Nebesky.
Explora la teoría de categorías aplicada a la lógica, proporcionando una nueva estructura que complementa el análisis lógico y algebraico del libro referencial.
Ofrece un enfoque rigoroso de la lógica y la matemática discreta, alineándose con el interés de Nebesky en la lógica y su conexión con la computación.
Presenta fundamentos teóricos de lógica y álgebra, estableciendo conexiones entre estos campos y la computación, similar a la perspectiva unificada del libro de referencia.