INTRODUCCIÓN A LA LÓGICA MATEMÁTICA.
Por: SUPPES, PATRIK | [Autor].
Colaborador(es): HILL, SHIRLEY.
Editor: BARCELONA ; ; 1982Edición: 1A. ed.Descripción: 278; 21.5.Tema(s): MATEMÁTICAS.-LÓGICAClasificación CDD: 511.3.SUPP.00
Contenidos:
SIMBOLIZACIÓN DE PROPOSICIONES
. -- INFERENCIA LÓGICA
. -- CERTEZA Y VALIDEZ
. -- TABLAS DE CERTEZA
. -- TÉRMINOS, PREDICADOS Y CUANTIFICADORES UNIVERSALES
. -- ESPECIFICACIONES UNIVERSALES Y LEYES DE IDENTIDAD
. -- UN SISTEMA MATEMÁTICO SIMPLE.
Tipo de ítem | Ubicación actual | Colección | Signatura | Copia número | Estado | Fecha de vencimiento | Código de barras |
---|---|---|---|---|---|---|---|
Libros | Biblioteca Central | BIBCE-CSING (Biblioteca Central - 1er piso) | 511.3.SUPP.00 (Navegar estantería) | 1e. | Disponible | 19425 |
Navegando Biblioteca Central Estantes , Código de colección: BIBCE-CSING (Biblioteca Central - 1er piso) Cerrar el navegador de estanterías
511.3.SANC.01 MATEMÁTICA BÁSICA CON WINPLOT | 511.3.SANC.02 Matemática para Ingeniería con Winplot y Desmos | 511.3.SANC.02 Matemática para Ingeniería con Winplot y Desmos | 511.3.SUPP.00 INTRODUCCIÓN A LA LÓGICA MATEMÁTICA. | 511.3.TASA.00 RAZONAMIENTO MATEMÁTICO ACTUAL. LOS AUTÉNTICOS PROBLEMAS CAPCIOSOS. | 511.3.TASA.00 RAZONAMIENTO MATEMÁTICO ACTUAL. LOS AUTÉNTICOS PROBLEMAS CAPCIOSOS. | 511.3.VERA.00 PSICOTÉCNICO 50 TEST Y 3000 PROBLEMAS RESUELTOS. |
SIMBOLIZACIÓN DE PROPOSICIONES
. -- INFERENCIA LÓGICA
. -- CERTEZA Y VALIDEZ
. -- TABLAS DE CERTEZA
. -- TÉRMINOS, PREDICADOS Y CUANTIFICADORES UNIVERSALES
. -- ESPECIFICACIONES UNIVERSALES Y LEYES DE IDENTIDAD
. -- UN SISTEMA MATEMÁTICO SIMPLE.
No hay comentarios para este ejemplar.