Lógica para informáticos

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

Total de páginas 218

Autor:

Rafel . . . [et Al. ] Farré

Categoría:

Informática

Formatos Disponibles:

PDF, EPUB, MOBI

Descargar Libro

Opciones de Descarga

Valoración

Popular

5.0

56 Valoraciones Totales

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

Microsoft C#

C#, pronunciado C Sharp, es actualmente uno de los lenguajes de programación más populares en informática y comunicaciones. El objetivo de Microsoft, que tiene todos los derechos sobre la plataforma de desarrollo .NET Framework en la que está incluido C#, es permitir a los programadores abordar el desarrollo de aplicaciones complejas con facilidad y rapidez. Es un poco como tomar todas las cosas buenas de Visual Basic y añadirlas a C++, aunque recortando algunas de las tradiciones más ocultas y difíciles de conocer de C y C++. C# es un lenguaje de programación orientado a objetos...

Think Stats

If you know how to program, you have the skills to turn data into knowledge, using tools of probability and statistics. This concise introduction shows you how to perform statistical analysis computationally, rather than mathematically, with programs written in Python. By working with a single case study throughout this thoroughly revised book, you’ll learn the entire process of exploratory data analysis—from collecting data and generating statistics to identifying patterns and testing hypotheses. You’ll explore distributions, rules of probability, visualization, and many other tools...

XXI Jornadas de Ingeniería del Software y Bases de Datos

Las Jornadas de Ingeniería del Software y Bases de Datos (JISBD) constituyen el foro que cada año reúne a la comunidad científica española en las áreas de Ingeniería del Software y Bases de Datos y siempre han atraído el interés de grupos de investigación de Portugal e Iberoamérica en estas dos áreas. JISBD es organizada por la Sociedad de Ingeniería de Software y Tecnologías de Desarrollo de Software (SISTEDES) junto a otras dos conferencias: Jornadas de Programación Declarativa (PROLE) y Jornadas de Ciencia e Ingeniería de Servicios (JCIS). La vigésimo primera edición de...

La historia del fraude informatico. Patito Azul

Nos sumergimos en un mundo cuasi digital, donde esto cambiará para siempre la forma de entablar relaciones, o comunicarnos, traerá la cuarta revolución, o simplemente ya está, pero no la aceptamos. La tecnología nos entretiene, nos permite automatizar datos, acortar las fronteras o hacerlas desaparecer. Transformó el mercado tal cual lo conocemos, desafiando las leyes y la manera de ver el mundo, esto nos lleva a volver a empezar a entender cómo funcionan las cosas. La tecnología es hermosa, pero suele quedar en un lugar de arma de doble filo, donde la falta de un faro, o moral...

Novedades Literarias