Lógica para informáticos

Lógica para informáticos

Rafel Farré / Sep 20, 2019

L gica para inform ticos La finalidad de este libro es proporcionar al lector fundamentos de l gica en el mbito de las ciencias de la computaci n La audiencia principal son pues los estudiantes de titulaciones en inform tica

  • Title: Lógica para informáticos
  • Author: Rafel Farré
  • ISBN: 8426716946
  • Page: 358
  • Format:
  • La finalidad de este libro es proporcionar al lector fundamentos de l gica en el mbito de las ciencias de la computaci n La audiencia principal son pues los estudiantes de titulaciones en inform tica, aunque el libro tambi n es til como complemento en la formaci n b sica de otras ciencias e ingenier as En esta obra s lo se asumen conocimientos previos muy b sicos de matem ticas, conocimientos que adem s se revisan brevemente en un cap tulo de preliminares El libro est escrito de forma amena y cercana, simplificando al m ximo la carga notacional y con numerosos ejemplos que ilustran los conceptos explicados Todos los ejercicios propuestos, m s de 200, van acompa ados de su correspondiente soluci n, desarrollada en todo detalle El libro trata de dos l gicas fundamentales la L gica Proposicional y la L gica de Primer Orden Despu s del cap tulo de preliminares matem ticos, los dos siguientes cap tulos giran alrededor de la definici n de la L gica Proposicional y de las t cnicas de deducci n en esta l gica y sus aplicaciones Siguiendo el mismo esquema, en la segunda parte del libro se define la L gica de Primer Orden y se explican los m todos de deducci n y algunas aplicaciones, en el primer cap tulo El siguiente cap tulo est dedicado a una aplicaci n relevante de la l gica y sus m todos deductivos en la inform tica la programaci n l gica Un ltimo cap tulo recopila todos los problemas propuestos junto a sus correspondientes soluciones Los autores del libro son Doctores en Inform tica o Matem ticas En la actualidad ocupan plazas de Lector, Profesor Titular o Catedr tico en la Universidad Polit cnica de Catalu a y cuentan con muchos a os de experiencia en la docencia y la investigaci n de la l gica en el mbito de la inform tica.

    • Best Download [Rafel Farré] ☆ Lógica para informáticos || [Mystery Book] PDF ✓
      358 Rafel Farré
    • thumbnail Title: Best Download [Rafel Farré] ☆ Lógica para informáticos || [Mystery Book] PDF ✓
      Posted by:Rafel Farré
      Published :2019-06-20T17:04:20+00:00

    About "Rafel Farré"

      • Rafel Farré

        Rafel Farré Is a well-known author, some of his books are a fascination for readers like in the Lógica para informáticos book, this is one of the most wanted Rafel Farré author readers around the world.


    675 Comments

    1. Esta bastante bien, ya que sin el libro no hubiera aprobado, se entiende bien, sobretodo gracias a los ejercicios resueltos.


    Leave a Reply