Lógica para informáticos

Sinopsis del Libro

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:

Informática

Formatos Disponibles:

PDF, EPUB, MOBI

¿Cómo descargar el libro?

A continuación, te enseñamos varias alternativas para conseguir el libro.

Opciones de Descarga

Valoración

Popular

3.0

69 Valoraciones Totales

Más libros de la categoría Informática

Lo social y lo virtual

Realidad virtual, Simulación y Ciberespacio son tres nociones articuladas en una misma totalidad, ninguna de las tres puede existir por separado en la forma en que se manifiestan actualmente, se necesitan las unas de las otras. Al definirlas uno de los puntos más recurrentes es la promesa de construir mundos, escenarios y realidades de las que participar y a las que poder modificar. Esta puerta abierta a la creación de "experiencias” es el umbral, también, para generar otras formas de concebir o interpretar fenómenos de la relevancia de la identidad, comunidad, relaciones,...

FRAMEWORK TOTAL - Vol.3

En esta colección estudiarás todos los aspectos avanzados del desarrollo en Laravel. Trabajarás bajo el patrón de programación Modelo Vista Controlador, y utilizarás conceptos como relaciones entre tablas, programación orientada a objetos, elementos de las últimas versiones de Laravel, exportación de datos, middleware y seguridad, con el fin de desarrollar complejas interfaces de usuario. Explorarás algunas de las alternativas para el desarrollo del lado del cliente, como W3.CSS y Angular, así como también Bootstrap, la librería de estilos y JavaScript más popular del mundo, que ...

Fundamentos de Redes de Voz IP

El rápido crecimiento que Internet ha experimentado en los últimos años puso el protocolo IP en un lugar destacado en las redes de telecomunicaciones. Los escenarios de aplicación de transmisión de voz sobre IP (en adelante abreviado como VoIP) son muchas y todavía hay mucha controversia al respecto, pero no hay duda de que la tecnología VoIP tiene el potencial de permitir la oferta de una nueva gama de servicios a los usuarios de teléfono e Internet, y puede resultar en una disminución en el coste asociado con los servicios de telefonía de larga distancia, en particular.

Guía de HTML5, CSS3 y JavaScript. La Web 2.0

Imaginación, conocer su aplicación. HTML5 es la piedra angular de la plataforma web abierta de la W3C, un marco diseñado para apoyar la innovación y fomentar el potencial de la web tiene para ofrecer. Anunciando esta colección revolucionaria de herramientas y normas, el sistema de identidad de HTML5 provee el vocabulario visual para clasificar y comunicar claramente nuestros esfuerzos colectivos.

Libros Recomendados 2025