INET - Biblioteca
A partir de esta página puede:
Volver a la pantalla de inicio con las categorías... |
Información de una colección
Colección Filosofía y pensamiento
- Editorial : Alianza Editorial
- ISSN : sin ISSN
Documentos disponibles dentro de esta colección
Refinar búsquedaLógica para principiantes / María Manzano (2006)
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. Reserva
Reservar este documento
Ejemplares
Código de barras Signatura Tipo de medio Ubicación Sección Estado Destino del Ejemplar 001835 005.131 MANl Libro Biblioteca INET Informática Disponible 002220 005.131 MANl ej.2 Libro Biblioteca INET Informática Disponible 002221 005.131 MANl ej.3 Libro Biblioteca INET Informática Disponible 002223 005.131 MANl ej.4 Libro Biblioteca INET Informática Disponible 002226 005.131 MANl ej.5 Libro Biblioteca INET Informática En préstamo hasta 02/04/2024 Introducción a la teoría de la lógica / José Luis Zalabardo (2002)
Título : Introducción a la teoría de la lógica Tipo de documento: texto impreso Autores: José Luis Zalabardo, Autor Editorial: Madrid : Alianza Editorial Fecha de publicación: 2002 Colección: Filosofía y pensamiento num. 080 Número de páginas: 364 p ISBN/ISSN/DL: 978-84-206-7885-6 Palabras clave: LÓGICA PROPOSICIONAL; SEMÁNTICA; SINTAXIS; LÓGICA DEDUCTIVA Clasificación: 005.131 ZALi Resumen:
Nota de contenido: Los elementos. Lógica proposicional. Lógica de primer orden: sintaxis y semántica. La deducción. Consistencia y completud. La cardinalidad. Limitaciones expresivas. La decibilidad. Introducción a la teoría de la lógica [texto impreso] / José Luis Zalabardo, Autor . - Alianza Editorial, 2002 . - 364 p. - (Filosofía y pensamiento; 080) .
ISBN : 978-84-206-7885-6
Palabras clave: LÓGICA PROPOSICIONAL; SEMÁNTICA; SINTAXIS; LÓGICA DEDUCTIVA Clasificación: 005.131 ZALi Resumen:
Nota de contenido: Los elementos. Lógica proposicional. Lógica de primer orden: sintaxis y semántica. La deducción. Consistencia y completud. La cardinalidad. Limitaciones expresivas. La decibilidad. Reserva
Reservar este documento
Ejemplares
Código de barras Signatura Tipo de medio Ubicación Sección Estado Destino del Ejemplar 002231 005.131 ZALi Libro Biblioteca INET Informática Disponible 002233 005.131 ZALi ej.2 Libro Biblioteca INET Informática Disponible 002234 005.131 ZALi ej.3 Libro Biblioteca INET Informática Disponible 002236 005.131 ZALi ej.4 Libro Biblioteca INET Informática Disponible 002237 005.131 ZALi ej.5 Libro Biblioteca INET Informática Disponible 002238 005.131 ZALi ej.6 Libro Biblioteca INET Informática Disponible 002239 005.131 ZALi ej.7 Libro Biblioteca INET Informática Disponible