Benjamin Franklin

Liceo del Libro y Novela moderna y clásica

Lógica para informáticos

Resumen 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 del Libro

Total de páginas 218

Autor:

  • Rafel . . . [et Al. ] Farré

Categoría:

Formatos Disponibles:

PDF, EPUB, MOBI

Descargar Libro

Valoración

Popular

5.0

56 Valoraciones Totales


Más libros de la temática Informática

Introducción a la programación con Python

Libro Introducción a la programación con Python

Este libro fue pensado para quién desea iniciarse en el mundo de la programación de computadoras. Conceptos básicos de programación – tales como expresiones, variables, repeticiones, decisiones, listas, funciones, archivos y banco de datos con SQLite 3 – son presentados uno por uno con ejemplos y ejercicio claros. El objetivo de esta obra es explorar la programación de computadoras como una herramienta para el día a día. Puede ser útil para un curso de introducción a la programación de computadoras y ser usado como guía de estudios por autodidactas. Para lograr un...

Pruebas divididas de SEO

Libro Pruebas divididas de SEO

La optimización de motores de búsqueda es una habilidad que cambia y evoluciona constantemente. Si trabajas en esta profesión, entonces dormirte en los laureles y seguir con lo que sabes simplemente ya no es una opción. Hoy en día, Google es una empresa impulsada por la IA. Google quiere combinar su buscador con su asistente inteligente, para que simplemente puedas preguntar a Google quién estuvo en X película, o cómo cocinar X comida, y podrá responder en lenguaje natural tirando de la web. La única manera de tener éxito en línea, es tomar un enfoque basado en datos. En este...

Robótica

Libro Robótica

Si usted quiere aprender robótica, siga leyendo... Si usted quiere aprender robótica, siga leyendo La robótica se ha ido metiendo en nuestras vidas y pronto los robots estarán en todas partes. ¿Usted sabe todo lo que hay que saber sobre robótica?

Sistemas de información gerenciales

Libro Sistemas de información gerenciales

El libro brinda un conocimiento completo de los sistemas de información y la manera de aplicarlos en las organizaciones. El texto está organizado en diez capítulos que van desde el conocimiento básico de los sistemas de información (hardware, software, telecomunicaciones y redes e Internet). Posteriormente, amplía la exposición teórica de la metodología CASE para el desarrollo de sistemas o ingeniería de software asistida por computador. Se incluye un capítulo que profundiza sobre el análisis y diseño de sistemas de información, fundamental para ingenieros, programadores,...

Novedades Literarias



Últimas Búsquedas


Categorías Destacadas