Pirueta Editorial

Pirueta Editorial. Editorial online de libros en formatos PDF, EPUB y MOBI

Lógica para informáticos

Resumen del Ebook

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

¿Cómo obtener el libro?

A continuación te mostramos varias formas de obtener el libro. Intenta comprartelo en una librería de tu zona, pero sino lo encuentras, nosotros podemos ofrecertelo:

Puntuación

Popular

3.5

10 Valoraciones Totales


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

Risc vs arm

Libro Risc vs arm

En el mundo de la informática hay algo conocido como Open Source, término que tal vez te resulte familiar porque seguramente conocerás varios proyectos de ese tipo. Básicamente, hace referencia a que un software es de código abierto, lo que significa que, si tienes los conocimientos necesarios, eres libre de modificarlo a tu gusto sin que por eso infrinjas una ley o debas pagar regalías por el uso de esa tecnología. Lo que quizás no sabías es que también existen proyectos de hardware Open Source, como los procesadores RISC-V (RISC 5), que verás en este Informe USERS.

Creación colectiva

Libro Creación colectiva

El arte muestra de forma ejemplar en qué medida la producción cultural sigue siendo privilegio de elites que imponen estilos y modas, muchas veces indiferentes a las inquietudes colectivas. Esta obra plantea las posibilidades de recuperar la antigua función del arte de reflejar las formas de sentir y experimentar que comparte toda una sociedad. No se trata de uniformizarlas en cánones, como en el pasado, sino de facilitar la manifestación y el intercambio de las percepciones e inspiraciones más diversas y a veces geniales que todos tenemos. Cuando podremos expresarlas se creará una...

Manual de Dreamweaver CS5

Libro Manual de Dreamweaver CS5

Este manual dedicado a Dreamweaver CS5, el conocido programa de creación y edición de sitios y páginas web de la compañía Adobe, se estudia en profundidad el uso de prácticamente todos los comandos de esta aplicación para elaborar sitios web tanto a nivel profesional como particular. Mediante sencillos y a la vez elaborados ejemplos prácticos se describen detalladamente las herramientas del programa. La versión más reciente de Dreamweaver presenta novedades que podrían considerarse indispensables, así como ciertas mejoras que consiguen una vez más la complicidad entre el usuario...

Libros Recomendados



Últimas Búsquedas


Categorías Destacadas