MD
MD
Martin D. Davis
estadounidense
Martin D. Davis es un autor y matemático estadounidense conocido por su trabajo en lógica matemática y por su influencia en la educación en ciencias. Ha contribuido a la divulgación de conceptos matemáticos complejos a través de sus escritos y publicaciones.
Obras en el archivo
16 títulos
Computability, Complexity, and Languages: Fundamentals of Theoretical Computer Science
1994·ciencia ficcion
Un texto avanzado y exhaustivo que cubre en profundidad la teoría de la computabilidad, la complejidad computacional y los lenguajes formales.
Principles of Mathematical Reasoning
Este libro presenta una introducción a los principios del razonamiento matemático, explorando la lógica subyacente y las técnicas necesarias para la formulación y prueba de argumentos matemáticos.
Autores relacionados
Aparecen junto a Martin D. Davis en búsquedas del archivo