product
465977Lógica para principianteshttps://www.gandhi.com.mx/logica-para-principiantes/phttps://gandhi.vtexassets.com/arquivos/ids/1837095/95e0e4f5-e7cc-44a8-849a-1f9e737123a4.jpg?v=638429235175600000https://gandhi.vtexassets.com/arquivos/ids/6938991/9788420645704.jpg?v=638767372854400000https://gandhi.vtexassets.com/arquivos/ids/6979164/9788420645704.jpg?v=638774980906030000MXNAlianza editorialOutOfStock/Libros/No ficción//Libros/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.461613Lógica para principiantes396565https://www.gandhi.com.mx/logica-para-principiantes/phttps://gandhi.vtexassets.com/arquivos/ids/1837095/95e0e4f5-e7cc-44a8-849a-1f9e737123a4.jpg?v=638429235175600000https://gandhi.vtexassets.com/arquivos/ids/6938991/9788420645704.jpg?v=638767372854400000https://gandhi.vtexassets.com/arquivos/ids/6979164/9788420645704.jpg?v=638774980906030000OutOfStockMXN0FITapa blanda1a Edición20049788420645704_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.9788420645704_Alianza editorial9788420645704_9788420645704170.0000x240.0000x23.0000María ManzanoEspañol2004-03-29T00:00:00+00:00440170.0000240.0000667.000023.0000Alianza editorial