7DIES

El mejor almacen de libros en formatos PDF, EPUB y MOBI

Lógica para informáticos

Sinopsis del Libro

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

Número de páginas 218

Autor:

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

Categoría:

Formatos Disponibles:

PDF, EPUB, MOBI

¿Cómo descargar el libro?

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

Valoración

Popular

3.0

69 Valoraciones Totales


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

Reingeniería y seguridad en el ciberespacio

Libro Reingeniería y seguridad en el ciberespacio

Reingeniería, seguridad y ciberespacio son temas de máxima actualidad que, en la presente obra, son abordados desde una única perspectiva integradora. Esto representa una visión más realista y eficaz que la usual, de los problemas a los que se enfrenta hoy día la tecnología de la información y la comunicación. Por otra parte, la idea que también ha presidido la redacción del texto ha sido ofrecer, en el momento actual, lo que ha de tenerse en cuenta para abordar los sistemas del futuro inmediato y los previsibles a medio plazo. Por ello se ha procurado sintetizar lo más relevante...

Consultas en Excel

Libro Consultas en Excel

El objetivo central de este libro es facilitar al lector la importación diaria de los datos a Excel con las herramientas conocidas hasta el momento, y que si bien son útiles, se deben usar una y otra vez con cada importación. Esta obra está enfocada en dar a conocer una nueva herramienta que nos permite simplificar el proceso de importar datos, limpiarlos y enviarlos a Excel en forma de tabla. La herramienta en cuestión se llama Consultas.

BPMN Gua de Referencia y Modelado / BPMN Modeling and Reference Guide

Libro BPMN Gua de Referencia y Modelado / BPMN Modeling and Reference Guide

Modelado de Procesos en BPMN En BPMN, los "Procesos de Negocio" involucran la captura de una secuencia ordenada de las actividades e información de apoyo. Modelar un Proceso de Negocio implica representar cómo una empresa realiza sus objetivos centrales; los objetivos por si mismos son importantes, pero por el momento no son capturados por la notación. Con BPMN, sólo los procesos son modelados. En el modelado de BPMN, se pueden percibir distintos niveles de modelado de procesos: Mapas de Procesos -Simples diagramas de flujo de las actividades; un diagrama de flujo sin más detalle que el...

Patrones de diseño

Libro Patrones de diseño

En este libro se introducen los principios de los patrones de diseño y ofrecen un catálogo de dichos patrones. Este libro muestra el papel que los patrones pueden desempeñar diseñando la arquitectura de sistemas complejos y proporciona una referencia práctica de un conjunto de excelentes patrones que el desarrollador puede aplicar para construir sus propias aplicaciones.

Libros Recomendados 2025



Últimas Búsquedas


Categorías Destacadas