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

Los mejores CMS

Libro Los mejores CMS

Un sistema de gestión de contenidos (Content Management System o CMS) es un software utilizado para gestionar la creación y modificación de contenidos digitales, tanto personales como empresariales. Esta aplicación de software se ejecuta en un navegador, y proporciona a los usuarios una interfaz gráfica de usuario que les permite crear y gestionar un sitio web sin necesidad de escribirlo en código desde cero. El CMS se encarga por nosotros de los aspectos básicos de infraestructura, de modo que podemos centrarnos en lo más importante: el contenido. Pero ¿Cuál es la mejor plataforma...

Elaboración de documentos de texto

Libro Elaboración de documentos de texto

Este manual se presenta actualizado a la versión Word 2019 e incorpora una gran propuesta de ejercicios prácticos para aprender haciendo. Explica de forma detallada el funcionamiento del procesador de textos Microsoft Word 2019, enseña a crear documentos sencillos y otros de mayor complejidad mediante la utilización de plantillas, tablas de contenido y la combinación de correspondencia. Para dar una visión completa, la obra también descubre la integración de este programa con el resto de la familia Office: Excel, Access y PowerPoint. Con un enfoque netamente práctico, ya que cada...

HTML5 Avanzado: HTML5 en Profundidad

Libro HTML5 Avanzado: HTML5 en Profundidad

HTML5 (HyperText Markup Language, versión 5) es la quinta revisión importante del lenguaje básico de la World Wide Web, HTML. HTML5 especifica dos variantes de sintaxis para HTML: un «clásico» HTML (text/html), la variante conocida como HTML5 y una variante XHTML conocida como sintaxis XHTML5 que deberá ser servida como XML (XHTML) (application/xhtml+xml).1 2 Esta es la primera vez que HTML y XHTML se han desarrollado en paralelo. Todavía se encuentra en modo experimental, lo cual indica la misma W3C; aunque ya es usado por múltiples desarrolladores web por sus avances, mejoras y...

Secretos de tu Batería

Libro Secretos de tu Batería

Hoy en día, muchas personas cuentan con computadoras portátiles o laptops para uso personal y laboral que les permiten trasformar cualquier lugar en su zona de trabajo, estudio o esparcimiento, entre otras. Esto es posible gracias a su batería, una parte esencial que hace que las computadoras sean portátiles. En este Informe Users aprenderás algunos comandos y trucos para que puedas entender cada detalle del funcionamiento de la batería de tu notebook.

Libros Recomendados 2025



Últimas Búsquedas


Categorías Destacadas