Lógica y argumentación de los argumentos inductivos a las álgebras de Boole Alfonso Bustamante Arias
Tipo de material: TextoIdioma: Español Detalles de publicación: Cali Pearson Educación 2009Edición: 1a edDescripción: xvl, 274 p. il. 23 cmISBN:- 9786074422092
- 511.324 B877l 23
Tipo de ítem | Biblioteca actual | Colección | Signatura topográfica | Copia número | Estado | Fecha de vencimiento | Código de barras | |
---|---|---|---|---|---|---|---|---|
Libro Colección General | Central Bogotá Sala General | Colección General | 511.322 B871 (Navegar estantería(Abre debajo)) | 1 | Disponible | 0000000081296 | ||
Libro Colección General | Ingeniería Bogotá Sala General | Colección General | 511.324 B877l (Navegar estantería(Abre debajo)) | 2 | Disponible | 0000000081295 |
Navegando Ingeniería Bogotá estanterías, Ubicación en estantería: Sala General, Colección: Colección General Cerrar el navegador de estanterías (Oculta el navegador de estanterías)
No hay imagen de cubierta disponible | No hay imagen de cubierta disponible | No hay imagen de cubierta disponible | No hay imagen de cubierta disponible | |||||
511.32 L467t Teoría y problemas de teoría de conjuntos y temas afines | 511.32 M677t Teoría axiomática de conjuntos | 511.322 C434l Lógica y teoría de los conjuntos | 511.324 B877l Lógica y argumentación | 511.324 D354e Ejercicios de cálculo booleano | 511.324 T436b Boolean algebra and digital computers | 511.33 G357e Estructuras algebraicas I |
Incluye bibliografía
1. Lógica y argumentación ; 2. El silogismo categórico ; 3. Lógica simbólica. Lógica proposicional ; 4. Lógica simbólica-Fundamentos de cálculo de predicados ; 5. Demostración formal y álgebras de Boole
Este libro se pensó como una contribución a la capacidad de análisis crítico de los razonamientos propios o ajenos, desde el punto de vista de su fuerza o de su validez, y al gusto por la argumentación clara y precisa. Presta especial atención a los razonamientos deductivos y a los criterios de validez de los mismos, aportados por la lógica simbólica. En su último capítulo, se hace una breve presentación de las técnicas de prueba propias de la matemática como ciencia deductiva, y de su uso en casos particulares de álgebras de Boole como son el álgebra de conjuntos y el álgebra binaria para la descripción de los circuitos lógicos