Sets, Logic and Maths for Computing
2008·divulgacion
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.