Matemáticas para informática /
Ismael Gutiérrez García.
- Primera edición
- x, 188 páginas ; 24 cm.
Incluye alfabeto griego en la página 179 Incluye índice de nombres en la página 183 Incluye índice alfabético en la página 185
Incluye referencias bibliográficas en la página 181
Parte I. Lógica matemática: 1. Cálculo proposicional -- 2. Introducción a la lógica de primer orden -- Parte II. Teoría de conjuntos: 3. El sistema axiomático ZF
9789587410754
Computadores matemáticas Lógica simbólica y matemática Teoría de conjuntos