Lógica para informáticos

Resumen del Ebook

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:

Informática

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:

Opciones de Descarga

Puntuación

Popular

3.5

10 Valoraciones Totales

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

Human–Robot Intimate Relationships

The idea of humans falling in love with artificial beings is not a modern conception. Our relationship with artificial partners has come a long way since Pygmalion and his ivory lover. In recent years, there has been a strong upsurge of interest and discussions in the various aspects of intimate relationships between humans and artificial partners. This interest is evidenced by the increase in media coverage, TV documentaries and films on this topic, as well as the active research efforts within the academic community. This book provides a comprehensive collection and overview of the latest...

Manual de supervivencia

EXPLORA UN MUNDO GRANDE Y LLENO DE AVENTURAS Hay muchas formas de jugar a Minecraft, y una de las más populares es el Modo Supervivencia, en el que tendrás que forjar tu propio camino en el juego, solo con los bloques que encuentres para fabricar cosas, y te enfrentarás a muchos peligros con la certeza de que, con un solo movimiento en falso, podrías perderlo todo. Es muy emocionante... ¡y muy difícil! Así que llena el inventario, construye una base y prepárate para sobrevivir a la noche con el Manual de Supervivencia de Minecraft, el único libro que necesitas para mejorar tus...

Fotografía digital

-Me he comprado una cámara digital con la que sólo "apunto y disparo", y ella hace el resto, ¡me he gastado mucho dinero y no la estoy aprovechando! -Mi cámara hace unas fotos estupendas, pero no puedo hacer muchas. Me han dicho que es cosa de la resolución, y no sé qué es eso. Fui a la tienda y la solución que me dieron fue que comprase una memoria muy cara. -No entiendo el manual de mi cámara, por mucho que lo miro no saco nada en claro, es un lío, tengo una cámara y no sé emplearla. -Quiero comprarme una cámara digital pero no entiendo mucho, necesito que alguien me asesore...

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...

Libros Recomendados