Biblioteca Libros

Biblioteca de descarga de ebooks en formatos PDF, EPUB y MOBI

Lógica para informáticos

Sinopsis 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:

MOBI, PDF, EPUB, AZW

Descargar Libro

Valoración

Popular

4.1

72 Valoraciones Totales


Otros libros de la categoría Informática

Alfabetizaciones y tecnologías de la información y la comunicación

Libro Alfabetizaciones y tecnologías de la información y la comunicación

En los dos últimos siglos la alfabetización se ha equiparado a saber leer y escribir textos manuscritos o impresos en papel. Sin embargo, la generalización de las denominadas TIC (Tecnologías de la Información y la Comunicación) en todos los sectores de nuestra sociedad está obligando a un cambio radical de enfoque sobre las metas alfabetizadoras del sistema educativo. Por ello hoy día se habla de “alfabetizaciones” distintas –audiovisual, digital, alfabetización en información–, pero todas ellas convergen hacia un concepto único e integrador de sujeto alfabetizado en la...

Desarrollo de aplicaciones web dinámicas con PHP

Libro Desarrollo de aplicaciones web dinámicas con PHP

La combinación de PHP y MySQL es el enfoque más conveniente para el diseño web dinámico. Debido a que son de código abierto, son de implementación libre y por tanto son extremadamente populares para el desarrollo web. Cualquier desarrollador necesita capacitarse en estas tecnologías. Y, en combinación con las tecnologías de JavaScript, jQuery, CSS, y HTML5, serás capaza de crear sitios web a la altura de los estándares de la industria como Facebook, Twitter y Gmail. Este libro es para quienes desean aprender cómo crear sitios web eficientes y dinámicos. Esto incluye a los...

Mastering Microsoft 365 Defender

Libro Mastering Microsoft 365 Defender

Get to grips with Microsoft's enterprise defense suite and its capabilities, deployments, incident response, and defense against cyber threats Purchase of the print or Kindle book includes a free PDF ebook Key Features Help in understanding Microsoft 365 Defender and how it is crucial for security operations Implementation of the proactive security defense capabilities of Microsoft Defender for Endpoint, Identity, Office 365, and Cloud Apps so that attacks can be stopped before they start A guide to hunting and responding to threats using M365D's extended detection and response capabilities...

Access XP avanzado

Libro Access XP avanzado

El manual consta de 7 temas, que guiarán al lector en la adquisición de las habilidades necesarias para gestionar las bases de datos de manera que resuelvan los problemas complejos que surjan. Hace hincapié en la realización de formularios, para el registro de los datos de manera ordenada y con aplicaciones de todo tipo de controles que propicien un mayor control en la introducción de datos. Así como en la realización de informes que faciliten la organización del trabajo. Índice 1. Introducción a Microsoft Access XP 2. Consultas avanzadas con Access II 3. Formularios avanzados con...

Ultimas Novedades Blibliográficas



Últimas Búsquedas


Categorías Destacadas