Gutiérrez García, Ismael

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

004.0151 / G984 2010