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

Diseño de sistemas en Redes de Área Local

Libro Diseño de sistemas en Redes de Área Local

Esta obra contiene todo lo relativo al diseño de sistemas en Redes de Área Local. La autora es una psicóloga experta en el tratamiento de dificultades del aprendizaje con una amplia experiencia docente y técnico de administración de sistemas informáticos. ÍNDICE Diseño de sistemas Hardware Software Servicios Conexiones con el exterior Seguridad Parámetros del diseño Topología Componentes físicos (medio de transmisión y conectores) Cableado estructurado Normativas Subsistemas de cableado estructurado Subsistema horizontal Recomendaciones de la norma EIA / TIA Elementos del...

Manual de VHDL: Síntesis lógica para PLDs

Libro Manual de VHDL: Síntesis lógica para PLDs

El lector tiene un libro que le enseñará de una forma práctica a utilizar el VHDL y a implementar estos diseños en CPLDs y FPGAs de la empresa Xilinx. El desarrollo del libro tie ne como hilo conductor a los ejercicios, cuyos planteamientos dan pie a un uso cada vez más potente del VHDL.

Minería de procesos

Libro Minería de procesos

Este libro es una propuesta metodológica, sistemática y generalizada en la cual se especifican los pasos que se deben seguir para la aplicación de la minería de procesos, desde la planeación de un proyecto hasta la implantación de sus alternativas de mejora.

Perl para Geocient­ficos

Libro Perl para Geocient­ficos

Perl, acrnimo para Practical Extraction and Report Language, es un lenguaje de programacin interpretado, diseado por Larry Wall, quien liber la primera versin en 1987. Es muy apropiado para escribir, desde aplicaciones sencillas hasta las ms complejas. En particular, en este libro se demuestra lo verstil que es Perl para manipular diferentes formatos usados en la industria, tanto en la ssmica como en la petrolera, as como tambin para manipular la gran cantidad de informacin que se genera durante programas de adquisicin de ssmica. Tambin se muestran ejercicios para programar aplicaciones...

Libros Recomendados 2025



Últimas Búsquedas


Categorías Destacadas