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

Proyectos con Javascript

Libro Proyectos con Javascript

En este e-book abordaremos JS estratégicamente para no necesitar librerías externas y resolver distintas problemáticas solo con lo que el lenguaje nos ofrece. Iremos avanzando de a poco, y a lo largo de cinco capítulos veremos cómo trabajar con variables y arrays, interactuar con el DOM y modificarlo dinámicamente y manejar una base de datos de manera local. En el primer capítulo, realizaremos una validación de formulario para controlar el contenido correcto antes de enviarlo. Veremos el uso de las sentencias if, switch y for, como así también el modo de comenzar a interactuar con...

Windows 10

Libro Windows 10

Por su sencillez, contenido y distribución de los capítulos, el presente libro será de gran utilidad para aquellas personas que por primera vez se asoman al mundo de las computadoras, y sobre todo para quienes decidieron comprar una con el nuevo sistema operativo instalado, Windows 10. También encontraran en este libro una herramienta auxiliar, quienes han decidido dar un gran paso al cambiar su anterior versión de Windows por el nuevo 10 para aprovechar sus grandes ventajas, sobre todo en el uso de las redes e Internet, en el trabajo colaborativo en "la nube" y en los multimedios.

El gran libro de Autodesk Inventor®

Libro El gran libro de Autodesk Inventor®

Si quiere dominar uno de los programas de diseño paramétrico más empleados del mercado, sin realizar esfuerzos innecesarios, no pierda la oportunidad de conseguir el libro que tienes en sus manos. Este manual está escrito para todos aquellos que tengan un conocimiento básico del programa y quieran profundizar en Autodesk Inventor. Estructurado en 8 temas, contiene más de 1.000 imágenes con las opciones y parámetros de los comandos, ejemplos didácticos y ejercicios propuestos para practicar. TEMA 1: Introducción. Explica la interfaz del programa y el menú del botón derecho del...

El yo y la máquina

Libro El yo y la máquina

Las relaciones entre la mente humana y su sustrato físico, el cerebro, constituyen un misterio que, aún hoy, se plantea con una fuerza e interés renovado. Los increíbles avances en el conocimiento de la actividad cerebral proporcionado por la moderna Neurociencia ha hecho pensar a algunos que este misterio se encuentra a las puertas de su resolución. ¿Es esto cierto y en qué sentido? ¿Pueden las neurociencias dar vía libre a la explicación materialista que reduce la mente al cerebro o sucede más bien lo contrario? A su vez, la emergencia de la nueva disciplina de la inteligencia...

Libros Recomendados



Últimas Búsquedas


Categorías Destacadas