Lógica y matemáticas discretas en la informática : el estilo calculatorio /
Saved in:
| Main Author: | |
|---|---|
| Corporate Author: | |
| Format: | Book |
| Language: | Spanish |
| Published: |
Bogotá :
Escuela Colombiana de Ingeniría,
2012.
|
| Series: |
Colección de informática
|
| Subjects: | |
| Notas Contenido: |
|
Table of Contents:
- Fundamentos del lenguaje matemático
- Sintaxis
- Sistemas formales
- Lógica de predicados y operatorias
- La lógica como lenguaje para modelar
- Conjuntos, relaciones y funciones
- Teoría de conjuntos
- Aritmética y combinatoria
- Teoría de relaciones.
