Matemáticas para informática /
Saved in:
| Main Author: | |
|---|---|
| Format: | Book |
| Language: | Spanish |
| Published: |
Barranquilla :
Ediciones Uninorte
©2010.
Ecoe Ediciones, |
| Subjects: | |
| Notas Contenido: |
|
Table of Contents:
- Lógica matemática
- Cálculo proposicional
- Introducción a la lógica de primer orden
- Teoría de conjuntos
- El sistema axiomático ZF
