Biblioteca UNEATLANTICO catalog › Details for: Lógica para principiantes /

Normal view MARC view

Lógica para principiantes / María Manzano, Antonia Huertas

Contributor(s): Huertas Sánchez, María Antonia

Series: El libro universitario; Manuales. Filosofía y pensamiento ; 90Publisher: Madrid : Alianza, 2004Edition: 1 êd., 8 r̂eimpDescription: XII, 422 p. : gráf. ; 24 + 1 disco (CD-ROM)ISBN: 9788420645704Subject(s): Lógica

Contents:

Lógica proposicional -- conjuntos y diagramas -- Lógica de primer orden

Summary: 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.

Average rating: 0.0 (0 votes)

Holdings ( 1 )
Title notes

Item type	Current location	Collection	Call number	Status	Date due	Barcode	Course reserves
LIBRO + CD	Biblioteca Universidad Europea del Atlántico Fondo General	No ficción	16 MAN log	Available		4692	Lógica

Contiene problemas con soluciones

El CD-ROM incluye ejercicios

Lógica proposicional -- conjuntos y diagramas -- Lógica de primer orden

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.