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

Aprendizaje automático y profundo en python

Libro Aprendizaje automático y profundo en python

Es una herramienta de apoyo y de consulta para toda aquella persona interesada en dominar los fundamentos del aprendizaje automático y profundo, a tal punto que le permita aprender lo necesario para desarrollar sus propios modelos de aprendizaje aptos para realizar predicciones con base en los datos, para ello el autor hará uso en la mayoría de los casos de explicaciones teóricas y prácticas, que permitan al lector afianzar sus ideas y fortalecer su aprendizaje. El libro se encuentra dividido en dos partes la primera enfocada en el machine learning y sus diferentes algoritmos de...

Processing

Libro Processing

Processing es un lenguaje de programación con un entorno de desarrollo integrado, pensado para todo tipo de usuarios interesados en dotar a sus proyectos con una salida visual de la información. Si quiere descubrir cómo Processing deviene un complemento ideal para Arduino y ESP8266, este es su libro. Con él podrá ir más allá de la recogida de datos de sensores o el manejo de servos y motores, lo que le permitirá crear interfaces y entornos visuales interactivos para llevar sus proyectos con Arduino y ESP8266 a un nuevo nivel. Gracias a la multitud de prácticas que presenta el manual...

Desarrollo de prototipos de productos editoriales multimedia. ARGN0110

Libro Desarrollo de prototipos de productos editoriales multimedia. ARGN0110

Libro especializado que se ajusta al desarrollo de la cualificación profesional y adquisición de certificados de profesionalidad. Manual imprescindible para la formación y la capacitación, que se basa en los principios de la cualificación y dinamización del conocimiento, como premisas para la mejora de la empleabilidad y eficacia para el desempeño del trabajo.

Redes Sociales para Familias

Libro Redes Sociales para Familias

El objetivo es que al alumno al finalizar el curso tenga un profundo conocimiento sobre lo qué son las redes sociales y aquellas más utilizadas por los adolescentes. Además de saber las características principales de las redes sociales y conocer sus peligros y la forma de evitarlos.

Libros Recomendados



Últimas Búsquedas


Categorías Destacadas