Pirueta Editorial

Pirueta Editorial. Editorial online de libros en formatos PDF, EPUB y MOBI

Lógica para informáticos

Resumen del Ebook

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:

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:

Puntuación

Popular

3.5

10 Valoraciones Totales


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

Aprender Excel 2010 con 100 ejercicios prácticos

Libro Aprender Excel 2010 con 100 ejercicios prácticos

Microsoft Excel es la hoja de cálculo más utilizada en el mundo de los negocios y también por los aficionados. Con este manual aprenderá a manejarla de forma cómoda. En la versión 2010 de Excel, Microsoft ha presentado muchas e interesante novedades, añadiendo herramientas y funciones que incrementan las posibilidades de gestión de la información. Con este libro: Conocerá todas las funciones y utilidades que se encuentran dentro de la nueva pestaña Archivo. Descubrirá la posibilidad de guardar documentos en numerosas versiones, tanto en anteriores del programa como en PDF o XPS....

Youtuber school

Libro Youtuber school

Esta vez volver al colegio no será aburrido, pues Sebas Villalobos está a cargo de las clases. Por primera vez, uno de los youtubers más importantes de Latinoamérica nos enseña cómo fue su camino para ser un célebre influenciador en las redes y les da a sus jóvenes lectores todos los consejos y tips necesarios para que ellos también puedan lograrlo. Este libro explica todo lo que se debe saber/aprender para ser un youtuber, desde cómo crear un concepto de canal exitoso hasta tecnicismos como luces, edición de video y diseño de guión. Habla, además, de temas importantes como la...

Aprendizaje automático y profundo en python

Libro Aprendizaje automático y profundo en python

Es una herramienta de apoyo y de consulta para toda aquella persona interesada en dominar los fundamentos del aprendizaje automático y profundo, a tal punto que le permita aprender lo necesario para desarrollar sus propios modelos de aprendizaje aptos para realizar predicciones con base en los datos, para ello el autor hará uso en la mayoría de los casos de explicaciones teóricas y prácticas, que permitan al lector afianzar sus ideas y fortalecer su aprendizaje. El libro se encuentra dividido en dos partes la primera enfocada en el machine learning y sus diferentes algoritmos de...

Aproximación a la ingeniería del software

Libro Aproximación a la ingeniería del software

Durante los seis años de la primera edición los autores han descubierto que uno de los objetivos de esta asignatura que más estimula a los alumnos es hacer ingeniería. Por lo que han añadido más ejemplos cortos y sencillos que mostrarán de manera directa los conceptos que se presentan en el libro y que de alguna manera han aparecido en los ejercicios planeados en pasadas pruebas. En este libro se presenta a los alumnos de grado en ingeniería informática y en tecnologías de la información cuáles son las actividades que realiza la ingeniería en estos campos y que actividades de...

Libros Recomendados



Últimas Búsquedas


Categorías Destacadas