Matemáticas para informática /
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
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