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