7DIES

El mejor almacen de libros 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 Técnica del Libro

Número de páginas 218

Autor:

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

Categoría:

Formatos Disponibles:

PDF, EPUB, MOBI

¿Cómo descargar el libro?

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

Valoración

Popular

3.0

69 Valoraciones Totales


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

GuíaBurros Wikipedia: Claves para editar con éxito

Libro GuíaBurros Wikipedia: Claves para editar con éxito

Sinopsis: Esta guía te permitirá entender de una manera clara y directa cómo funciona Wikipedia, y te dará los consejos necesarios para no meter la pata antes de ponerte a editar. Está orientada a todos los que quieren editar en Wikipedia y tener éxito, incluso si tu artículo es la biografía de una persona viva con cierta relevancia. Es un manual que te va a descubrir todas las reglas implícitas que solo se descubren cuando ya llevas tiempo editando. Una especie de caja de los tesoros o cajón lleno de secretos sobre el funcionamiento de la Wikipedia, sobre su uso práctico. Para...

Etiquetar en la web social

Libro Etiquetar en la web social

Gracias a las tecnologías y servicios 2.0, la representación del contenido de los documentos ha pasado de ser una tarea exclusiva del trabajo profesional a ser una actividad realizada por cualquier usuario de internet. Conocer las características, las ventajas y los problemas del etiquetado en la Red ayudará a los usuarios a realizar mejor esta actividad y a los profesionales a aprovechar el trabajo realizado por los usuarios. Esta obra proporciona las claves para etiquetar mejor en la Red y conocer sus posibilidades en distintos servicios de internet, desde sitios de imágenes o vídeos...

Primeros pasos con Django 4

Libro Primeros pasos con Django 4

Django es un framework con muchas opciones, nos permite crear aplicaciones con el lenguaje del momento Python, un lenguaje de programación modular, con una sintaxis impecable que también podemos usarlo en ambiente web. Nos ofrece un esquema modular entre proyecto y aplicaciones, un conjunto importante de paquetes para extender el ya de por sí, completo framework y con esto, la creación de proyectos escalables. Es un framework que al emplear Python, nos trae consigo sus bondades de una sintaxis limpia, clara, precisa, entorno modular y escalable mediante paquetes. En este libro, vamos a...

Servicios en red

Libro Servicios en red

En este libro está dirigido a los alumnos del módulo de Servicios en Red, del ciclo de grado medio de Sistemas Microinformáticos y Redes, aunque es absolutamente recomendable como obra de consulta y apoyo para toda persona que quiere conocer cuáles son los servicios más comunes en las redes de datos.;El libro ha sido elaborado para que, al finalizar su formación, el alumno sea capaz de instalar servicios de configuración dinámica, describiendo sus características y aplicaciones, instalar servicios de resolución de nombres, describiendo sus características y aplicaciones, instalar...

Libros Recomendados 2025



Últimas Búsquedas


Categorías Destacadas