Síguenos en:

  • Google+

Lógica para Informáticos

(y otras herramientas matemáticas)

Lógica para Informáticos ampliar imagen

  • García Miranda, Jesús.
  • valoración
    (0 Comentarios)
    Comenta y valora este libro

    • Editorial: Editorial Técnica Avicam
    • ISBN: 978-84-16535-96-5
    • Páginas: 291
    • Dimensiones: 17 cm x 24 cm
    • Plaza de edición: Granada , España
    • Encuadernación: Rústica
    • Idiomas: Español
    • Fecha de la edición: 2017
    • Edición: 1ª ed.
    Versión en papel:
    OFERTA!!

    antes:
    18,00 €
    ahora: 17,10 €

    Disponible

    Información detallada:

    Resumen del libro

    El intento de formalización de esquemas de razonamiento ha sido u tema recurrente en el avance científico a lo largo de la historia. La irrupción de los ordenadores en los últimos años ha convertido esta faceta del conocimiento en una disciplina indispensable para todo el que quiera adentrarse en el mundo de la informática. En este sentido, la lógica matemática, que constituye la base matemática del software, proporciona u medio para formalizar determinados patrones de pensamiento.

    En este texto se pretende hacer una aproximación a los métodos de la lógica. Se ha optado por seguir fundamentalmente el camino semántico, por considerarlo más intuitivo y accesible a personas sin formación matemática, pero sin renunciar a métodos sintácticos cuando la ocasión lo requiera.


    Índice

    1. Álgebras de Boole

    2. Lógica proposicional

    3. Lenguajes de primer orden

    4. Unificación y resolución

    5. Inducción y recurrencia

    6. Introducción a la teoría de grafos



    Otros libros de "Ingeniería-Tecnología"


    Boletín de Novedades

    Suscríbase a nuestro boletín de novedades.


    Descarga de catálogos


    Publicidad: