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

El gran libro de Angular

Angular es una plataforma que permite desarrollar aplicaciones web en la sección cliente utilizando HTML y JavaScript para que el cliente asuma la mayor parte de la lógica y descargue al servidor con la finalidad de que las aplicaciones ejecutadas a través de Internet sean más rápidas. El hecho de estar mantenido por Google, así como una serie de innumerables razones técnicas, ha favorecido su rápida adopción por parte de la comunidad de desarrolladores.

Transformadores de potencia, de medida y de protección

La obra que se presenta pretende ser distinta a las otras existentes. A todo antepone el aspecto didáctico. Cuando se alude a lo formativo, es preciso definir los aspectos sobre los que se pretende recargar el acento. En este caso se ha pretendido motivar el espíritu realista que el Ingeniero requiere. Por ello, el interés de la obra no se limita al estudiante, sino que alcanza al Ingeniero joven, sin excluir, en general a todos aquellos que han de rehacer sus ideas en estas materias. En tales casos, el libro les acompañará com sentido práctico. Esta obra forma parte de lá colección...

SSL/TLS Under Lock and Key

If you are looking for a comprehensive, soup-to-nuts resource on SSL/TLS, look no further. This book, geared towards bridging the gap between the absolute beginner and the veteran IT Professional, combines the theoretical and the practical in equal measure. The first half of our book focuses on foundational theory, covering topics such as: Symmetric vs Asymmetric cryptography One-Way functions Digital Signatures Key Generation History and Context The second half encourages fledgling administrators to jump in with both feet, outlining the quirks of common tasks such as: Generating a signing...

Administrar MySQL y MariaDB

Este libro pretende enseñar como instalar y configurar MySQL/MariaDB correctamente. En este libro podrás ver desde el proceso de instalación en varios sistemas operativos hasta como restringir/permitir usuarios, pasando por herramientas de gestión para mejorar la configuración y corrección de problemas habituales. Dado que es un libro para mostrar cómo se instala, configura y optimiza MySQL, no vamos a entrar en detalles sobre las sentencias SQL. El indice es el siguiente: INTRODUCCIÓN MARIADB Y MYSQL ¿QUÉ ES MYSQL? ¿QUÉ ES MARIADB? EN QUE SE DIFERENCIAN INSTALAR MYSQL/MARIADB...

Libros Recomendados 2025