LÓGICA COMPUTACIONAL
Editorial: Blackwell Press
Licencia: Creative Commons (by-nc-nd)
Autor(es): Blackwell Faculty
Licencia: Creative Commons (by-nc-nd)
Autor(es): Blackwell Faculty
Lógica Computacional es una obra que explora los principios y aplicaciones de la lógica en el ámbito de la computación. Desde los fundamentos de la lógica proposicional y álgebra de Boole hasta temas avanzados como lógica difusa, modal y no clásica, el libro ofrece una visión integral. Se abordan aplicaciones en inteligencia artificial, verificación formal, criptografía y sistemas distribuidos, mostrando la relevancia de la lógica para resolver problemas complejos. Ideal para estudiantes y profesionales interesados en el razonamiento automático y la optimización. Una guía imprescindible para entender el papel fundamental de la lógica en la tecnología actual y futura.
Compartir:
Esta es una vista previa de los documentos vistos recientemente por el usuario.
Una vez que el usuario haya visto al menos un documento, este fragmento será visible.
Una vez que el usuario haya visto al menos un documento, este fragmento será visible.