Lógica para principiantes /

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 espec...

Description complète

Enregistré dans:
Détails bibliographiques
Auteur principal: Manzano, María (autor)
Autres auteurs: Huertas, Antonia (autor)
Format: Livre
Langue:espagnol
Collection:El libro universitario. Manuales 090
Sujets:
Accès en ligne:Voir à l'OPAC
Tags: Ajouter un tag
Pas de tags, Soyez le premier à ajouter un tag!
Description
Résumé: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ánti ca. 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.
Description matérielle:XII, 422 páginas : ilustraciones ; 24 cm.
Public:Audiencia general
Bibliographie:Bibliografía: p. 421-422. Índice
ISBN:8420645702