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

HTML5 y CSS3 para diseñadores

Libro HTML5 y CSS3 para diseñadores

Pocas tecnologías y herramientas perduran en el mundo de la informática por décadas. No es el caso de HTML, el cual sigue más vigente que nunca y justo cuando se creía que iba desapareciendo en pos de otras tecnologías (como Flash o desarrollos nativos), revivió de las cenizas con más poder y más futuro que antes con HTML5 y su compañero inseparable CSS, ahora en versión 3. Aunque vivimos en una era de una web muy distinta de hace unos años, lo cierto es que HTML5 es una buena apuesta a futuro. Este libro ofrece a todo diseñador Web y desarrollador front-end, la posibilidad de...

Photoshop Tm profesional

Libro Photoshop Tm profesional

Este libro cubre ampliamente la corrección de color, incluida la creación de tonos de piel reales, la corrección de dominancias de color, la garantía de que se utiliza la gama de tonos completa, los problemas de los colores neutros y los sacrificios que es preciso hacer en unas partes de la imagen para mejorar otras. Explica el uso profesional de las herramientas menos obvias para crear contraste y aumentar la nitidez, con una explicación completa del papel de la tinta negra y del color no deseado. Explica técnicas avanzadas de cortado y pegado , la conversion de imágenes en color a...

Uso de la Tecnología en el Aula

Libro Uso de la Tecnología en el Aula

Libro hace un recorrido de la incorporación de las computadoras y sus avances tecnológicos con el propósito de mejorar la calidad educativa, se ha incrementado los procesos de enseñanza-aprendizaje. Proporcionan amplios beneficios y la oportunidad de optimizar conocimiento a través de diferentes programas educativos e informativos. No se requiere de un amplio conocimiento de la informática para su uso. Las instituciones educativas y los docentes deben modificar sus estructuras y estrategias para incluir la computadora y sus avances en su trabajo diario para ofrecerles a los alumnos....

Las Macros en Access 2010

Libro Las Macros en Access 2010

Este libro tiene una sola justificación, que no es otra que la tenacidad de convertir las cosas que aparentemente son difíciles en sencillamente fáciles. Esto se consigue con el diseño y posterior aprendizaje de las macros en cualquiera de los programas de Microsoft y, en concreto, con este libro, de las utilizadas en Access. Sin lugar a dudas, los Sistemas de Información, que en la actualidad están siendo diseñados por las empresas para mejorar su competitividad tienen, entre otros objetivos, un mejor conocimiento del mercado, la retención de sus mejores empleados, la continua...

Libros Recomendados 2024



Últimas Búsquedas


Categorías Destacadas