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

Internet

Libro Internet

· Puesta a punto de su PC para la conexión a Internet. · La entrada en la WWW. · Servidores de búsqueda. · Windows Me. · Netscape Communicator. · Música en al World Wide Web. · Recibir secuencias de vídeo a través de la red. · Hablar por teléfono mediante WWW. · Cargar un archivo desde Internet a su ordenador. · Debates en Internet: Grupos de noticias. · Correo electrónico. · Su propia página web.

Android: Programación de dispositivos móviles a través de ejemplos

Libro Android: Programación de dispositivos móviles a través de ejemplos

Android es el sistema operativo de Google para smartphones, tablets, y otros dispositivos móviles. En este libro se presentan, de una forma práctica, comprensible y concisa, los conceptos esenciales para desarrollar sus propias aplicaciones de Android, programando en lenguaje Java. El lector aprenderá a programar interfaces de usuario, entrada y salida de datos, lectura y escritura de ficheros, herramientas gráficas, gráficos interactivos, visualización de imágenes, reproducción de sonido, temas, recursos, procesos en background, diálogos de progreso, notificaciones, animaciones...

Teoría de control para informáticos

Libro Teoría de control para informáticos

El presente libro pretende ser una versión simplificada de los fundamentos de la Teoría de Control, destinada a la enseñanza de la misma en la carrera de Ingeniería en Sistemas de Información. Desarrolla los conceptos básicos de la disciplina, a efectos de que el lector que recién se inicia en dicha teoría conozca los mismos y pueda abordar sin dificultad otras obras que tratan el tema en profundidad, con el objetivo de diseñar e implementar sistemas de control continuos y discretos de avanzada.

React. Crea tu SPA con componentes

Libro React. Crea tu SPA con componentes

React es una de las tecnologías de JavaScript que más ha crecido y se ha popularizado en los últimos años, peleando mano a mano con Angular como herramienta líder del mercado, con amplias diferencias, pero que también permite lograr una SPA funcional con gran rendimiento. En este Informe USERS aprenderás a crear tu propia SPA utilizando React.

Libros Recomendados 2025



Últimas Búsquedas


Categorías Destacadas