Matemáticas para informática
Gutiérrez García, Ismael
Matemáticas para informática Dos tópicos en matemáticas discretas (Cd-rom) - 1a. edición - x, 188 páginas ; 17x24 cm. + 1 Cd-rom
Incluye índice: páginas 183-188.
Publicado con: Software educativo MaXI.
Incluye bibliografía: páginas 181-182.
Parte 1: Lógica matemática. Cálculo proposicional. -- Introducción a la lógica de primer orden. -- Parte 2: Teoría de conjuntos. -- El sistema axiomático ZF. -- Dos tópicos en matemáticas discretas (Cd-rom)
9789587410754
Lógica simbólica y matemática
Teoría de conjuntos
Lógica de primer orden
511.3 / G984
Matemáticas para informática Dos tópicos en matemáticas discretas (Cd-rom) - 1a. edición - x, 188 páginas ; 17x24 cm. + 1 Cd-rom
Incluye índice: páginas 183-188.
Publicado con: Software educativo MaXI.
Incluye bibliografía: páginas 181-182.
Parte 1: Lógica matemática. Cálculo proposicional. -- Introducción a la lógica de primer orden. -- Parte 2: Teoría de conjuntos. -- El sistema axiomático ZF. -- Dos tópicos en matemáticas discretas (Cd-rom)
9789587410754
Lógica simbólica y matemática
Teoría de conjuntos
Lógica de primer orden
511.3 / G984