Matemática para informática /
Esta obra tiene su origen en los cursos de matemáticas discretas y lógica. Trata aspectos sobre el cálculo proporcional y presenta una introducción a la lógica de primer orden.
Autor principal: | |
---|---|
Otros Autores: | , , , |
Formato: | Libro |
Lenguaje: | Spanish |
Publicado: |
Barranquilla, Colombia :
Ediciones Uninorte,
2010
|
Edición: | 1a. Edición |
Materias: |
Tabla de Contenidos:
- Índice general 1. Cálculo proposicional 2. Introducción a la lógica de primer orden 3. el sistema axiomático ZF Bibliografía & referencia