LÓGICA FORMAL: SU ALCANCE Y SUS LIMITES
Tipo de material: TextoDetalles de publicación: PAMPLONA; ; 1999Edición: 1A. edDescripción: 279; 21.5Tema(s): Clasificación CDD:- 160..JEFF.00
Contenidos:
PROPOSICIONES COMPUESTAS
. -- INTRODUCCIÓN
. -- EQUIVALENCIA LÓGICA
. -- FUNCIONES DE VERDAD
. -- ARBOLES DE VERDAD
. -- ADECUACIÓN DEL MÉTODO. ARBOLES Y DEMOSTRACIONES
. -- CUANTIFICACIÓN
. -- REGLAS DE INFERENCIA DE LOS CUANTIFICADORES
. -- CUANTIFICACIÓN MÚLTIPLE. TRADUCCIÓN
. -- ADECUACIÓN DEL MÉTODO DE LOS ARBOLES
. -- IDENTIDAD. FUNCIONES
. -- INDECIBILIDAD. INCOMPLETITUD
Tipo de ítem | Biblioteca actual | Colección | Signatura topográfica | Copia número | Estado | Fecha de vencimiento | Código de barras | |
---|---|---|---|---|---|---|---|---|
Libros | Biblioteca Central | BIBCE-CSSOC (Biblioteca Central - 2do piso) | 160..JEFF.00 (Navegar estantería(Abre debajo)) | 1e. | Disponible | 39324 |
PROPOSICIONES COMPUESTAS
. -- INTRODUCCIÓN
. -- EQUIVALENCIA LÓGICA
. -- FUNCIONES DE VERDAD
. -- ARBOLES DE VERDAD
. -- ADECUACIÓN DEL MÉTODO. ARBOLES Y DEMOSTRACIONES
. -- CUANTIFICACIÓN
. -- REGLAS DE INFERENCIA DE LOS CUANTIFICADORES
. -- CUANTIFICACIÓN MÚLTIPLE. TRADUCCIÓN
. -- ADECUACIÓN DEL MÉTODO DE LOS ARBOLES
. -- IDENTIDAD. FUNCIONES
. -- INDECIBILIDAD. INCOMPLETITUD
No hay comentarios en este titulo.
Ingresar a su cuenta para colocar un comentario.