Lógica para informáticos

Sinopsis del Libro

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 Técnica del Libro

Número de páginas 218

Autor:

Rafel . . . [et Al. ] Farré

Categoría:

Informática

Formatos Disponibles:

PDF, EPUB, MOBI

¿Cómo descargar el libro?

A continuación, te enseñamos varias alternativas para conseguir el libro.

Opciones de Descarga

Valoración

Popular

3.0

69 Valoraciones Totales

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

Analítica y visualización de datos en Twitter

Twitter se ha convertido en un importante canal de comunicación por su facilidad de uso y la rapidez con que circulan los contenidos por medio del llamado microblogging. Este libro reúne trabajos de investigadores iberoamericanos en torno a los diferentes tipos de contenidos publicados en esta plataforma, que van desde datos identitarios hasta noticias y mensajes de activismo. El trabajo con grandes cantidades de datos requiere de herramientas para el análisis y la visualización, por lo que esta obra se enfoca en diversas estrategias que profesionales de la comunicación e investigadores...

Tratamiento de la fotografía digital

Las grandes ventajas que ofrece la fotografía digital la hacen una herramienta indispensable para el diseño gráfico. Con este manual se intenta dar a conocer diferentes técnicas fotográficas, en color y en blanco y negro y conocer las nuevas aplicaciones de la fotografía así como el dominio del lenguaje visual para conseguir mejores resultados. Todo esto apoyado con el programa Photoshop para el retoque, clasificación y almacenamiento de los diversos formatos de la fotografía. Índice 1. Introducción a la fotografía digital 2. Herramientas básicas 3. Conceptos de selección y...

Bitcoin: Introducción simple

Comprende los fundamentos de Bitcoin. Bitcoin es una revolucionaria divisa digital que está transformando el concepto de dinero que conocemos. Pero su comprensión puede ser intimidante para el usuario medio. ¡A partir de ahora dejará de serlo! Este libro elimina esta complejidad y enseña los fundamentos de Bitcoin de manera simple, con un lenguaje fácil de entender. No es un libro de texto. Es un primer contacto que responde a las más importantes y comunes preguntas que los nuevos usuarios tienen sobre Bitcoin. Sin jerga, sin tecnicismos y sin requerir conocimientos previos. En este...

La Iluminación en la Fotografía

Se ha preguntado: ¿es necesario usar flash con la luz del sol? ¿Cuál es la mejor iluminación para un disparo macro? ¿Cuánto debe durar la exposición en condiciones de poca luz? Si es así, este libro es para usted. La iluminación afecta a la composición, al enfoque, a las decisiones de la exposición y a casi todo acerca de cómo hacer una foto. Es más, el estado de ánimo que transmita la fotografía depende totalmente de la iluminación. Enfocando La iluminación en la fotografía le muestra cómo lograr la iluminación perfecta en el momento del disparo, sin la necesidad de...

Libros Recomendados 2025