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

Descripción completa

Detalles Bibliográficos
Autor principal: Manzano, María (autor)
Otros Autores: Huertas, Antonia (autor)
Formato: Libro
Lenguaje:Spanish
Colección:El libro universitario. Manuales 090
Materias:
LEADER 02186nam a22003257a 4500
007 ta
008 150127b2006 sp ||||| |||| 00| 0 spa d
020 |a 8420645702 
037 |b Alianza editorial ; Calle Juan Ignacio Luca de Tena, 15; 28027, Madrid ; web www.alianzaeditorial.es 
040 |a Sistema Bibliotecario Universidad de El Salvador  |b spa  |e rda 
082 4 |2 21  |a 160  |b M369L 
100 1 0 |a Manzano, María  |e autor 
245 1 0 |a Lógica para principiantes /  |c María Manzano, Antonia Huertas. 
264 |a Madrid :  |b Alianza Editorial,  |c 2006 
300 |a XII, 422 páginas :  |b ilustraciones ;  |c 24 cm. 
336 |2 rdacontent  |a texto  |b txt 
337 |2 rdamedia  |a no mediado  |b n 
338 |2 rdacarrier  |a volumen  |b nc 
490 |a El libro universitario.  |a Manuales  |v 090 
504 |a Bibliografía: p. 421-422. Índice 
505 |a Logica proposicional -- Conjuntos y diagramas -- Logica de primer orden -- Apendices. 
520 |a 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.  
521 |a Audiencia general 
650 7 |2 lemb  |a Lógica (razonamiento) 
700 1 |a Huertas, Antonia  |e autor 
942 |2 ddc  |c BK 
990 |a omontano 
990 |a bc_lorena 
999 |c 29568  |d 29568 
952 |0 0  |1 0  |2 ddc  |4 0  |6 160_000000000000000_M369L  |7 0  |8 CG  |9 42501  |a 10  |b 10  |c CG  |d 2011-12-06  |e Clasicos Roxsil  |g 23.56  |i 65074  |o 160 M369L  |p 10048273  |r 2017-01-19  |w 2015-01-27  |y BK  |k 96486