Imagen de Amazon.com
Primer curso de lógica matemática
Tipo de material:
Texto España : Reverté 1988Descripción: 283 pISBN: - 84-291-5150-8
- Introducción a la lógica matematica
- 511.3 S959
Contenidos:
Simbolización de proposiciones -- Inferencia lógica -- Certeza y validez -- Tablas de certeza -- Términos predicados y cuantificadores universales -- Especificación universal y leyes de identidad -- Un sistema matemático simple: Axiomas de la adición -- Generalización universal
| Imagen de cubierta | Tipo de ítem | Biblioteca actual | Biblioteca de origen | Colección | Ubicación en estantería | Signatura topográfica | Materiales especificados | Info Vol | URL | Copia número | Estado | Notas | Fecha de vencimiento | Código de barras | Reserva de ítems | Prioridad de la cola de reserva de ejemplar | Reservas para cursos | |
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
Libro
|
Biblioteca Rafael Escandón Hernández - UNAC - Medellín Sala principal de colecciones - Primer piso - Medellín | General | 511.3 S959 (Navegar estantería(Abre debajo)) | Ejemplar 1 | Disponible | 28119 | ||||||||||||
|
Libro
|
Biblioteca Rafael Escandón Hernández - UNAC - Medellín Sala principal de colecciones - Primer piso - Medellín | General | 511.3 S959 (Navegar estantería(Abre debajo)) | Ejemplar 2 | Disponible | 28120 |
Incluye índice
Simbolización de proposiciones -- Inferencia lógica -- Certeza y validez -- Tablas de certeza -- Términos predicados y cuantificadores universales -- Especificación universal y leyes de identidad -- Un sistema matemático simple: Axiomas de la adición -- Generalización universal
