DM

David Makinson

británico

David Makinson es un filósofo y lógico británico conocido por sus trabajos en lógica, razonamiento y la teoría de la autorreferencia. Su contribución es relevante en el campo de la lógica no clásica y el estudio de los sistemas de inferencia.

Obras en el archivo

1 título

Un texto de introducción a los fundamentos matemáticos de la informática, cubriendo la teoría de conjuntos, la lógica proposicional y de predicados, y conceptos clave para la comprensión de algoritmos y teorías computacionales.

Autores relacionados

Aparecen junto a David Makinson en búsquedas del archivo