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

Circuitos de Interfaz Directa Sensor-Microcontrolador

Este libro describe el diseño y la caracterización de circuitos de interfaz directa entre sensor y microcontrolador. En estos circuitos, el sensor proporciona una señal modulada en el dominio temporal (por ejemplo, variaciones del periodo o de un intervalo de tiempo) que puede ser digitalizada directamente por el microcontrolador mediante los temporizadores internos. El libro analiza primero la conversión tiempo-digital realizada por el microcontrolador. Posteriormente, propone y caracteriza circuitos de interfaz directa tanto para sensores moduladores clásicos (básicamente, sensores...

Sistemas Operativos

El propósito principal de este texto es presentar de forma sencilla, clara y lo más completa que sea posible, la naturaleza y las características de los sistemas operativos modernos que se utilizan en computadoras personales, estaciones de trabajo o dispositivos móviles, como Android, iOS, Windows, Linux, entre otros. Sin duda, uno de los aspectos tecnológicos más relevantes y con mayor presencia en la actualidad, y parte fundamental de la formación académica de diversas carreras de ingeniería. En Sistemas Operativos. Panorama para la ingeniería en computación e informática se...

Posicionamiento Web (Seo/Sem)

Obra que muestra cómo posicionar correctamente una página web en Google, el buscador utilizado por el 98% de los usuarios en España. En este manual se explican las distintas técnicas para subir el posicionamiento tanto orgánico o natural (SEO) como de pago (SEM) haciendo especial hincapié en las técnicas SMO, relacionadas con la utilización de las redes sociales.

Data science y redes complejas

Este libro trata de exponer de forma sistemática las principales técnicas de análisis masivo de datos a estudiosos y profesionales interesados en la extracción del conocimiento de redes y grandes bases de datos, que necesitan una base teórica y práctica de Minería de Datos, Inteligencia Artificial y Teoría de Grafos para poder aplicar estas técnicas. Que por un lado necesitan comprender el funcionamiento de los algoritmos básicos para aplicarlos, adaptarlos y/o mejorarlos, y por otro lado necesitan diseñar soluciones concretas en su trabajo tomando como punto de partida...

Libros Recomendados