Biblioteca Libros

Biblioteca de descarga de ebooks 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 del Libro

Total de páginas 218

Autor:

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

Categoría:

Formatos Disponibles:

MOBI, PDF, EPUB, AZW

Descargar Libro

Valoración

Popular

4.1

72 Valoraciones Totales


Otros libros de la categoría Informática

Microsoft Excel 2007

Libro Microsoft Excel 2007

Cambiar el altoy ancho de las columnas. Cambiar el ancho para ajustarlo al contenido. Hacer coincidir el ancho de la columna con otra columna. Trabajando con fórmulas. Funciones avanzadas. Gráficos de aspecto profesional. Listas.

Microservices Patterns

Libro Microservices Patterns

"A comprehensive overview of the challenges teams face when moving to microservices, with industry-tested solutions to these problems." - Tim Moore, Lightbend 44 reusable patterns to develop and deploy reliable production-quality microservices-based applications, with worked examples in Java Key Features 44 design patterns for building and deploying microservices applications Drawing on decades of unique experience from author and microservice architecture pioneer Chris Richardson A pragmatic approach to the benefits and the drawbacks of microservices architecture Solve service decomposition, ...

Aprender 3DS Max 2010 con 100 ejercicios prácticos

Libro Aprender 3DS Max 2010 con 100 ejercicios prácticos

En este primer volumen dedicado al programa de modelado tridimensional 3DS Max 2010 se estudian en profundidad las principales herramientas de creación y edición de la aplicación, una de las más utilizadas y respetadas en todo el mundo por los profesionales de desarrollo de juegos, televisión, cine y composición digital. Con estos 100 ejercicios el usuario tendrá una primera toma de contacto con el programa y aprenderá a realizar operaciones básicas tales como crear objetos planos y tridimensionales y transformarlos y editarlos después con distintas herramientas y modificadores. Con ...

Curvas y Superficies para Modelado Geométrico

Libro Curvas y Superficies para Modelado Geométrico

El libro surge a raíz de la colaboración de los autores en una plataforma comercial de desarrollo de software 3D. Se trata de un texto teórico/práctico sobre técnicas de manipulación de curvas y superficies de Bézier, Splines, B-Splines y NURBS, técnicas que han sido recientemente incorporadas a programas comerciales de dibujo y diseño. Los autores han cuidado mucho la perspectiva didáctica, cubriendo con rigor y completitud el modelado geométrico, lo que permite utilizarlo como libro de consulta en cursos de iniciación, aunque con la suficiente profundidad como para que además...

Ultimas Novedades Blibliográficas



Últimas Búsquedas


Categorías Destacadas