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

Reingeniería y seguridad en el ciberespacio

Libro Reingeniería y seguridad en el ciberespacio

Reingeniería, seguridad y ciberespacio son temas de máxima actualidad que, en la presente obra, son abordados desde una única perspectiva integradora. Esto representa una visión más realista y eficaz que la usual, de los problemas a los que se enfrenta hoy día la tecnología de la información y la comunicación. Por otra parte, la idea que también ha presidido la redacción del texto ha sido ofrecer, en el momento actual, lo que ha de tenerse en cuenta para abordar los sistemas del futuro inmediato y los previsibles a medio plazo. Por ello se ha procurado sintetizar lo más relevante...

Autómatas programables

Libro Autómatas programables

Tanto el autómata como el ordenador son piezas de un conjunto superior que los engloba -el CIM- donde se combinan ordenadores, control numérico, robots y los propios autómatas. Por ello, el presente libro no se limita a una descripción del autómata, sinó que presenta de forma sistemática y ordenada todos los aspectos relacionados con él, empezando con la elección del más adecuado hasta llegar a la comunicación e integración de sistemas complejos como los citados. La obra se estructura en cuatro partes: la primera se dedica a los conceptos generales de automatización (control...

Sistemas Operativos en entornos Monousuario y Multiusuario, 2a edición.

Libro Sistemas Operativos en entornos Monousuario y Multiusuario, 2a edición.

Este libro está dirigido a los estudiantes del Ciclo Formativo de Grado Medio denominado Explotación de Sistemas Informáticos, en concreto al Módulo Profesional Sistemas operativos en entornos monousuario y multiusuario, aunque también resultará útil a todos aquellos que quieran iniciarse en la instalación y mantenimiento de redes. Los contenidos incluidos en el texto abarcan desde los conceptos básicos de los sistemas operativos y gestión de ficheros hasta aspectos de administración y configuración de tres sistemas operativos concretos (Windows XP Professional, Windows Server...

Publicar en Internet

Libro Publicar en Internet

Recoge: Internet y el World Wide Web; Nociones básicas de HTML; Interacción con los servidores HTTP; El lenguaje Java; Editores HTML; Edición de gráficos; Clientes WWW.

Libros Recomendados 2025



Últimas Búsquedas


Categorías Destacadas