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

Gestiona Tus Contenidos y Dispositivos

Libro Gestiona Tus Contenidos y Dispositivos

¿Sientes que no aprovechas al máximo tu(s) producto(s) Apple pero no tienes ni idea de por qué no lo(s) utilizas en todo su potencial y qué es lo que deberías hacer en su lugar para sacarles el máximo partido? ¿Y está buscando un plan para eliminar las conjeturas de todo el proceso de intentar aprender y dominar sus productos Apple, como el Mac, el iPhone, el iPad o el Watch, para poder liberar todas las capacidades del dispositivo? Si has respondido que sí, Deje que este libro le abra los ojos sobre cómo puede hacer mucho más de lo que nunca ha hecho con sus productos Apple. Es...

Aprender Adobe After Effects CS5.5 con 100 ejercicios prácticos

Libro Aprender Adobe After Effects CS5.5 con 100 ejercicios prácticos

Adobe After Effects es el programa de referencia en lo que a postproducción y animación se refiere. Siguiendo los 100 ejercicios prácticos de este manual podrá conocer las funciones básicas de la versión CS5.5, de la aplicación para crear sus propias composiciones y comenzar a experimentar por su cuenta su inmensidad de posibilidades. Con este libro: -Comprobará la interesante integración con otras aplicaciones como Adobe Photoshop o Adobe Illustrator. -Creará máscaras con herramientas de fácil aplicación y generará capas sólidas, de ajuste o de formas, que verá que son...

LightWave 3D 7.5

Libro LightWave 3D 7.5

CON 1 CD ROM NIVEL MEDIO AVANZADOLa industria audiovisual, en su busqueda de efectos cinematograficos fantasticos, reconoce a LightWave 3D como uno de sus programas emblematicos. Su potencia en el modelado y la animacion le han convertido en favorito de los profesionales 3D.Esta nueva version abre un nuevo camino en el magico mundo de las tres dimensiones. El programa ha sido optimizado en las areas de visualizacion OpenGL, deformaciones con huesos, plugins de deformaciones y subdivision de superficies.Incluye nuevas herramientas de animacion, una fluida interfaz que permite una mayor...

Reingeniería y seguridad en el ciberespacio

Libro Reingeniería y seguridad en el ciberespacio

Reingeniería, seguridad y ciberespacio son temas de máxima actualidad que, en la presente obra, son abordados desde una única perspectiva integradora. Esto representa una visión más realista y eficaz que la usual, de los problemas a los que se enfrenta hoy día la tecnología de la información y la comunicación. Por otra parte, la idea que también ha presidido la redacción del texto ha sido ofrecer, en el momento actual, lo que ha de tenerse en cuenta para abordar los sistemas del futuro inmediato y los previsibles a medio plazo. Por ello se ha procurado sintetizar lo más relevante...

Libros Recomendados 2025



Últimas Búsquedas


Categorías Destacadas