Pirueta Editorial

Pirueta Editorial. Editorial online de libros en formatos PDF, EPUB y MOBI

Lógica para informáticos

Resumen del Ebook

Libro 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, 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.

Ficha del Libro

Total de páginas 218

Autor:

  • Rafel . . . [et Al. ] Farré

Categoría:

Formatos Disponibles:

MOBI, PDF, EPUB, AZW

¿Cómo obtener el libro?

A continuación te mostramos varias formas de obtener el libro. Intenta comprartelo en una librería de tu zona, pero sino lo encuentras, nosotros podemos ofrecertelo:

Puntuación

Popular

3.5

10 Valoraciones Totales


Más libros de la categoría Informática

Hacking y serguridad en Internet

Libro Hacking y serguridad en Internet

La pretensión de este libro es la de introducir a los lectores en el mundo de la seguridad de TI, desde el punto de vista del atacante o hacker y del que tiene la responsabilidad de implementar políticas de seguridad y así intentar reducir las vulnerabilidades de sus sistemas y redes. En un primer bloque se describen los protocolos necesarios para entender como se comunican los sistemas y las apliacciones que se ejecutan en ellos, además, se detallan las técnicas que se utilizan para identificar sistemas que pueden ser susceptibles de ser atacados, así como el conocimiento de las...

Herramientas de inteligencia artificial para marketing digital

Libro Herramientas de inteligencia artificial para marketing digital

A lo largo de los últimos años, se ha producido un gran progreso y desarrollo en lo que respecta a la inteligencia artificial y a las herramientas de aprendizaje automático. La inteligencia artificial es el núcleo de los actuales avances tecnológicos que se están produciendo. La IA hace que las máquinas aprendan de la experiencia humana, realicen tareas y se ajusten a las nuevas entradas de información. Las herramientas de marketing de IA son plataformas de software que ayudan a crear decisiones automatizadas basadas en los datos que se recopilan y analizan. La mayoría de las veces,...

Omnium contra omnes

Libro Omnium contra omnes

Cuando se intenta abordar el análisis de la ciberguerra y la posible aplicación de una estrategia militar, se llega a la conclusión de que su vinculación con el escenario de las relaciones internacionales, junto con las características intrínsecas del ciberespacio, impide que dicho análisis pueda realizarse de manera aislada. Este estudio tiene el objetivo de profundizar tanto en el ámbito político como en el militar para dar contexto teórico a un nuevo modelo de guerra.

Arduino y el Internet de las cosas

Libro Arduino y el Internet de las cosas

El texto consta de dos capítulos, los cuales se lo han dividido con la finalidad de mejorar el aprendizaje del lector; el primer capítulo trata sobre la Introducción al Arduino y el Internet de las cosas; y el segundo capítulo abarca las prácticas de Arduino orientadas al internet de las cosas.

Libros Recomendados



Últimas Búsquedas


Categorías Destacadas