Logic for Computer Science: Foundations of Automatic Theorem Proving
1986·ciencia ficcion
Un texto que cubre los fundamentos de la lógica matemática relevante para la informática, con un enfoque en la demostración automática de teoremas.
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
An Introduction to the Mathematics of Computer Graphics
1990
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.
Geometric Tools for Computer Graphics
2002
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