Síguenos en:

  • Google+

Apuntes y problemas de lógica matemática

Apuntes y problemas de lógica matemática ampliar imagen

  • Gallinari, Alessandra.
  • valoración
    (0 Comentarios)
    Comenta y valora este libro

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

    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"

    • El cerebro moral
      Lo que la neurociencia nos cuenta ...

      Patricia S. Churchland

      2019 Paidós

      NOVEDAD!! OFERTA!!

      antes:
      26,90 €
      ahora: 25,55 €


    • El seguro deportivo obligatorio
      Especial referencia a la cobertura de ...

      López Sánchez, Alejandro

      2020 Colex

      NOVEDAD!! OFERTA!!

      antes:
      22,00 €
      ahora: 20,90 €


    • Líquidos
      Sustancias deliciosas y peligrosas que fluyen ...

      Miodownik, Mark

      2019 Crítica

      NOVEDAD!! OFERTA!!

      antes:
      21,90 €
      ahora: 20,80 €


    • La partícula divina
      Si el universo es la respuesta, ...

      VV.AA.

      2019 Crítica

      OFERTA!!

      antes:
      16,90 €
      ahora: 16,05 €



    Boletín de Novedades

    Suscríbase a nuestro boletín de novedades.


    Descarga de catálogos


    Publicidad: