Introducción a la lógica

Por: Colaborador(es): Detalles de publicación: Lima PUCP 2000Edición: 2a. edDescripción: 388 SíISBN:
  • 6979
Clasificación CDD:
  • 160/T79
Contenidos:
1. Conceptos básicos. 2.Lógica proposicional: aspectos semánticos. 3. Simbolización y aplicaciones. 4. Consecuencia semántica. 5. Lógica cuantificacional: introducción. 6. Simbolización. 7. Inferencias clásicas. 8. El sistema de deducción natural proposicional. 9. Lógica cuantificacional: el método DN. 10. El sistema de diagramas sintácticos (SDS). Clave de ejercicios de repaso. Bibliografía. Indice de términos.
Etiquetas de esta biblioteca: No hay etiquetas de esta biblioteca para este título. Ingresar para agregar etiquetas.
Valoración
    Valoración media: 0.0 (0 votos)
Existencias
Tipo de ítem Biblioteca actual Signatura topográfica Estado Notas Código de barras
Libro Unidad de Biblioteca Central, Banco de Libros y Librería Primer Piso-Sala 2 160/T79 (Navegar estantería(Abre debajo)) Disponible Interno 34803

1. Conceptos básicos. 2.Lógica proposicional: aspectos semánticos. 3. Simbolización y aplicaciones. 4. Consecuencia semántica. 5. Lógica cuantificacional: introducción. 6. Simbolización. 7. Inferencias clásicas. 8. El sistema de deducción natural proposicional. 9. Lógica cuantificacional: el método DN. 10. El sistema de diagramas sintácticos (SDS). Clave de ejercicios de repaso. Bibliografía. Indice de términos.

No hay comentarios en este titulo.

para colocar un comentario.