Catálogo Biblioteca Central UCSM

LÓGICA FORMAL: SU ALCANCE Y SUS LIMITES

Por: Colaborador(es): Tipo de material: TextoTextoDetalles 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
Etiquetas de esta biblioteca: No hay etiquetas de esta biblioteca para este título.
Valoración
    Valoración media: 0.0 (0 votos)
Existencias
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.

para colocar un comentario.