Título : | Lógica para principiantes | Tipo de documento: | texto impreso | Autores: | María Manzano, Autor ; Antonia Huertas, Autor | Editorial: | Madrid : Alianza Editorial | Fecha de publicación: | 2006 | Colección: | Filosofía y pensamiento num. 090 | Número de páginas: | 422 p | Il.: | il., cuadros, tabs | Material de acompañamiento: | CD Rom | ISBN/ISSN/DL: | 978-84-206-4570-4 | Nota general: | Incluye bibliografía | Palabras clave: | LÓGICA PROPOSICIONAL; SEMÁNTICA; TEORÍA DE CONJUNTOS | Clasificación: | 005.131 MANl | Resumen: | 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. |
Lógica para principiantes [texto impreso] / María Manzano, Autor ; Antonia Huertas, Autor . - Alianza Editorial, 2006 . - 422 p : il., cuadros, tabs + CD Rom. - ( Filosofía y pensamiento; 090) . ISBN : 978-84-206-4570-4 Incluye bibliografía Palabras clave: | LÓGICA PROPOSICIONAL; SEMÁNTICA; TEORÍA DE CONJUNTOS | Clasificación: | 005.131 MANl | Resumen: | 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. |
| |