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

La red es un bosque

Libro La red es un bosque

¿No dejaron nuestros antepasados los bosques, y se enfrentaron primero a la sabana y luego a las montañas y a los mares, y se aceleró el asombroso proceso evolutivo de una especie? Quién nos iba a decir que, después de miles y miles de años, nuestro periplo evolutivo nos llevaría de nuevo a los bosques... a enfrentarnos al reto de una nueva adaptación al medio. Un medio de tupida y expansiva foresta, ya no vegetal, sino digital. ¿Qué camino tomará la evolución? Solo disponemos de los primeros síntomas. Con estas palabras comienza el libro 'La Red es un bosque'. Y concluye con las ...

Microcontroladores PIC

Libro Microcontroladores PIC

'Un microcontrolador es un circuito integrado digital monolítico que contiene todos los elementos de un procesador digital secuencial síncrono programable y que se caracteriza porque su sistema físico se puede configurar, es decir, se adapta a las características del sistema al que se conecta cuando se le aplican las señales eléctricas adecuadas. Su pequeño tamaño y su capacidad de configuración han hecho que su campo de aplicación se haya ampliado extensamente a lo largo de la última década del siglo XX y que sean numerosos los productos industriales de todo tipo en los que se...

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