Apuntes y problemas de lógica matemática

Gallinari, Alessandra

valoración
(0 Comentarios)
Comenta y valora este libro

  • Editorial: Dykinson
  • ISBN: 978-84-9849-475-4
  • Colección: CC. Experimentales
  • Páginas: 274
  • Dimensiones: 17 cm x 0 cm
  • Fecha de la edición: January 2009
  • Edición: 1
  • Volúmen: 1

PVP. 22,00 €

Disponible

cantidad:


Información detallada:

Resumen del libro

Los principales objetivos de esto libro son: Introducir herramientas y conceptos básicos de la Lógica Matemática y sus aplicaciones. Ayudar a aprender a razonar y formalizar correctamente. Fijar las bases teóricas para el estudio de la Lógica Informática, así que se pueda tener una formación global acerca de los procedimientos formales y algorítmicos de razonamiento automático y resolución formal de problemas. Facilitar la comprensión de los conceptos teóricos de la Lógica Matemática, presentando una amplia colección de problemas con soluciones completas. La primera parte de la publicación trata la lógica proposicional y la segunda la lógica de predicados. El libro incluye también dos capítulos preliminares. El primero es una breve introducción histórica a la lógica y a sus relaciones con la Filosofía, las Matemáticas y la Informática. El segundo es un repaso de la teoría de conjuntos.


Comentarios

Colección Ciencias Experimentales y Tecnología; 37


Índice

1. Prólogo 2. Introducción 3. Algunas nociones de teoría de conjuntos, relaciones y funciones I. Lógica de proposiciones 4. Sintaxis de la lógica proposicional 5. Semántica de la lógica proposicional. Teoría interpretativa 6. Teoría de la demostración y sistema de deducción natural de Gentzen 7. Problemas de repaso sobre lógica proposicional resueltos II. Lógica de predicados de primer orden 8. Sintaxis de la lógica de primer orden 9. Semántica de la lógica de primer orden. Teoría interpretativa 10. Teoría de la demostración y sistema de deducción natural de Gentzen 11. Problemas de repaso resueltos A. El sistema de Kleene



Otros libros de Ciencias Experimentales

  • por varios autores

    Experimentación en química analítica

    Dykinson (2009)

    El presente texto se presenta con el objetivo de cubrir las necesidades bibliográficas existentes en la asignatura de Experiomentación en Química Analítica que en los planes de estudio de titulaciones como la Ingeniería Química o ...

    valoración

    pvp.21,25 €

  • Aguado Alonso, José

    Tratamientos avanzados de aguas residuales industriales

    Dykinson (2009)

    Esta obra constituye una recopilación de las diferentes tecnologías, tanto físicas como químicas, para el tratamiento de aguas residuales industriales en las que son especialistas los diferentes grupos de investigación que constituyen la Red Madrileña ...

    valoración

    pvp.15,00 €

  • Serrano Sánchez De León, Ángel

    Face Recognition and Verification with Gabor Filters

    Dykinson (2009)

    The face is the most signi_cant part of the human body for our daily mutual interaction. We look at the eyes of the person we are speaking to in order to learn whether the message ...

    valoración

    pvp.10,00 €

  • El desmantelamiento de instalaciones al final de su vida útil es un proceso poco regulado desde el punto de vista medioambiental...
    El protocolo tiene un carácter general de manera que puede aplicarse a distintos sectores ...

    valoración

    pvp.10,00 €

  • Mendoza Mendoza, Flor Ángela

    Dispositivos no convencionales de realidad virtual

    Dykinson (2009)

    La realidad virtual es una tecnología que integra y simula los sentidos de los seres humanos a través de dispositivos especiales en entornos tridimensionales con el fin de integrar sensaciones interactivas e inmersivas. Los dispositivos ...

    valoración

    pvp.10,00 €


Utilizamos cookies propias y de terceros para mejorar nuestros servicios y facilitar la navegación. Si continúa navegando consideramos que acepta su uso.

aceptar más información