Benjamin Franklin

Liceo del Libro y Novela moderna y clásica

Lógica para informáticos

Resumen 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 del Libro

Total de páginas 218

Autor:

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

Categoría:

Formatos Disponibles:

PDF, EPUB, MOBI

Descargar Libro

Valoración

Popular

5.0

56 Valoraciones Totales


Más libros de la temática Informática

Historia del diseño en América Latina y el Caribe

Libro Historia del diseño en América Latina y el Caribe

Historia del Diseo en Amrica Latina y el Caribe (History of Design in Latin America and the Caribbean) is a collective work that offers a panorama of the development of industrial and graphic design for the last fifty years. Its focus is to place the design in the frame of the economic and social policies as well as the local industrial and regional ones, and also to set the ground for a future history of the material and visual culture, from the projective perspective in Latin America. Among the Latin American countries, there are certain similarities and structural affinities that let...

Aprendiendo JavaScript

Libro Aprendiendo JavaScript

Aprende las bases del lenguaje web más demandado. Desde cero hasta ECMAScript 6. Partiendo de las bases y poco a poco ampliándose hasta ver las nuevas características del lenguaje para hacer un uso profesional de él. avaScript es el lenguaje de la web. Si necesitas programar en un navegador web, necesitas JavaScript. Gracias a el tenemos aplicaciones como Gmail, o Twitter, que son fuertemente dinámicas y hacen que la experiencia de uso sea mucho mejor que antaño, cuando las páginas web tenían que recargarse cada vez que realizábamos una acción. Es un lenguaje muy demandado en la...

Introducción al Machine Learning con MATLAB

Libro Introducción al Machine Learning con MATLAB

El Machine Learning representa una herramienta importante para la exploración y la extracción de conocimiento. Su principal objetivo es construir modelos que permitan describir posibles patrones estructurales en la información a partir de los datos, con el objetivo de tomar decisiones o hacer predicciones. En la última década, el número de usuarios de Machine Learning ha crecido de forma espectacular, pero muchos han presentado grandes dificultades a la hora de generar un plan adecuado que les permita pasar de los conceptos fundamentales a la solución de problemas en sus áreas de...

Domine Microsoft SQL Server 2008

Libro Domine Microsoft SQL Server 2008

En este libro se presenta un análisis profundo de la base de datos Microsoft SQL Server 2008 en su versión Enterprise Edition. Se comienza tratando la instalación del programa, la introducción del trabajo en los distintos entornos de la base de datos y el desarrollo amplio del modelo entidad-relación a través de Transact SQL, que se trata detalladamente. Asimismo, se desarrollan de forma exhaustiva todas las tareas relativas a la administración de la base de datos, incluyendo la administración de servidores, la administración de la seguridad, la duplicación y la migración de datos. ...

Novedades Literarias



Últimas Búsquedas


Categorías Destacadas