Argumentación deductiva con diagramas y árboles de forzamiento
Detalles de publicación: Medellín Universidad EAFIT 2010Edición: 1a. reimpDescripción: 253 SíISBN:- 14105
- 302.2/S52
Contenidos:
Diagramación de argumentos. Representación simbólica de la información. Árboles de forzamiento semántico clásico. Sistema deductivo para la lógica clásica.
| Tipo de ítem | Biblioteca actual | Signatura topográfica | Estado | Notas | Código de barras | |
|---|---|---|---|---|---|---|
| Libro | Unidad de Biblioteca Central, Banco de Libros y Librería Primer Piso-Sala 2 | 302.2/S52 (Navegar estantería(Abre debajo)) | Disponible | Externo | 47666 |
Navegando Unidad de Biblioteca Central, Banco de Libros y Librería estanterías, Ubicación en estantería: Primer Piso-Sala 2 Cerrar el navegador de estanterías (Oculta el navegador de estanterías)
Diagramación de argumentos. Representación simbólica de la información. Árboles de forzamiento semántico clásico. Sistema deductivo para la lógica clásica.
No hay comentarios en este titulo.
Iniciar sesión para colocar un comentario.