Logica Para Principiantes.(universidad)

EXCLUSIVO ONLINE

Pasa por encima el cursor para ver más detalle

Vendido por
Vendedor Nacional
(72)
27,50 € 26,12 €
  • ENVÍO GRATIS
Envío a domicilio:
Fecha estimada de entrega del 16 al 17 de Julio gratis

Características

REF. 9788420645704 / EAN 9788420645704

Este libro está pensado para los estudiantes de Lógica de las facultades de Filosofía e Informática y, en general, para quienes se acercan a la lógica por vez primera. El texto, que se apoya en numerosos ejemplos y ejercicios, es accesible, interdisciplinar y moderno en su concepción, poniendo especial énfasis en la semántica. Aporta técnicas sencillas de prueba: diagramas de Venn para la lógica de predicados monarios y tableaux semánticos, cálculos de resolución y  de deducción natural, tanto para la lógica proposicional como para la  de primer orden. Contiene varios apéndices con un glosario, un índice  analítico y unas notas históricas sobre los fundamentos de la lógica en el siglo XX. Le acompaña un CD interactivo con más de 2.000 ejercicios y sus soluciones, así como un documento con los teoremas habituales de la metalógica.Parte 1. Lógica proposicional 1. Introducción general.- 2. El lenguaje de la lógica proposicional.- 3. Semántica.- 4. Tableaux semánticos.- 5. Otros cálculos proposicionales Parte 2. Conjuntos y diagramas 6. Teoría básica de conjuntos.- 7. Diagramas de Venn.- 8. Relaciones y  funciones Parte 3. Lógica de primer orden 9. El lenguaje de la lógica de primer orden.- 10. Semántica.- 11. Tableaux para lógica de primer orden.- 12. Otros cálculos de primer orden. Apéndices Bibliografía Indice analítico.

LIBROS DE TEXTO Y CONSULTA

Autor
Manzano, María/Huertas, Antonia

DATOS GENERALES

Editorial
ALIANZA
Idioma
Castellano