Un texto avanzado que cubre la lógica de primer orden con un énfasis en los fundamentos matemáticos necesarios para la demostración automática de teoremas, un componente clave de la programación lógica.
JG
JG
Jean H. Gallier
americano
Jean H. Gallier es un matemático y científico de la computación conocido por sus contribuciones en el campo de la geometría computacional y el modelado matemático. Su trabajo ha influido en el desarrollo de algoritmos en diversas áreas, incluyendo la visualización y la programación gráfica.
Obras en el archivo
7 títulos
Este libro ofrece una introducción a los conceptos matemáticos fundamentales utilizados en la gráfica por ordenador, explorando enfoques algorítmicos y aplicaciones en el diseño visual y la representación gráfica.
Este libro proporciona herramientas geométricas fundamentales para el desarrollo de gráficos por computadora, cubriendo aspectos teóricos y prácticos de la geometría computacional, incluyendo algoritmos y estructuras que son esenciales para esta disciplina.
Autores relacionados
Aparecen junto a Jean H. Gallier en búsquedas del archivo