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

Windows XP

Este libro le permitira conocer las principales innovaciones que introduce esta version y, al igual que el programa que trata, se maneja graficamente. Por eso tendra abundantes figuras para las cuales el texto servira como complemento y explicacion. En terminos generales, se trata entonces de un Manual de Usuario, ya que se desarrollan todas las posibilidades de Windows de uso mas frecuente, de menor a mayor complejidad. Ademas se explican, mediante guias visuales, las principales pantallas y sus opciones, se comentan paso a paso los procedimientos que el usuario debera realizar, y se...

Interactividad en los entornos de formación on-line

La obra fija su mirada en el proceso de interactividad a través de los ambientes virtuales de aprendizaje surgidos a lo largo de la historia de Internet. Ofrece herramientas, aplicaciones y posibilidades didácticas, ofreciendo diferentes puntos de vista enfocados al mundo de la formación on-line.

Automatización y tecnologías emergentes

La automatización está en todas partes, y su penetración y sofisticación están aumentando. Se espera que la inteligencia artificial amplíe en gran medida la capacidad de los robots y los sistemas automatizados para aprender, combinar funciones de trabajo y pensar de manera innovadora. La robótica y las tecnologías cognitivas continúan suplantando un número creciente de funciones comerciales rutinarias que anteriormente eran manejadas por humanos. Las tecnologías emergentes incluyen una variedad de tecnologías como tecnología educativa, tecnología de la información,...

PCs Para Dummies

Una PC es una computadora personal que se llama como su primer ancestro, la IBM PC. IBM creó la PC (Personal Computer) luego de años de fabricar computadoras más grandes e impersonales (IPs). Hoy día, la mayoría de las computadoras se conocen como PCs, sin importar si las compra para su hogar o su oficina. No tienen que ser fabricadas por IBM. Bueno, hasta la Macintosh es una PC. Si es suya y es una computadora, entonces es una PC. Si las PCs lo han dejado perplejo, entonces PCs Para Dummies, 8va Edición, le ayudará a sobrellevar ciertos temores sobre su uso. Esta guía amistosa es...

Libros Recomendados