Catálogo Biblioteca Central UCSM

Vista normal Vista MARC Vista ISBD

LÓGICA FORMAL: SU ALCANCE Y SUS LIMITES

Por: JEFFREY, RICHARD C | [Autor].
Colaborador(es): JEFFREY, RICHARD C.
Editor: PAMPLONA ; ; 1999Edición: 1A. ed.Descripción: 279; 21.5.Tema(s): LÓGICA FORMAL.-SILOGÍSTICAClasificació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
Etiquetas de esta biblioteca: No hay etiquetas de esta biblioteca para este título.
    valoración media: 0.0 (0 votos)
Tipo de ítem Ubicación actual Colección Signatura 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) 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 para este ejemplar.

Ingresar a su cuenta para colocar un comentario.