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

Aplicaciones informáticas

Libro Aplicaciones informáticas

Este manual aborda de forma amplia herramientas de ofimática utilizadas en la empresa tales como procesadores de texto, hojas de cálculo, bases de datos, etc. Tiene un enfoque especialmente práctico y al final del libro se desarrolla un ejercicio que permite poner en práctica los contenidos desarrollados en distintos temas, facilitando una visión global de la utilización de un paquete integrado.

Aplicaciones Informáticas. G.M

Libro Aplicaciones Informáticas. G.M

La presente obra está dirigida a los estudiantes del Ciclo Formativo de Gestión Administrativa de Grado Medio, en concreto al Módulo Profesional Aplicaciones Informáticas. Los contenidos incluidos en este libro abarcan desde conceptos básicos de la Informática hasta aspectos de administración y configuración básica de Windows XP y Linux.También trata sobre distintos conceptos de redes e Internet. Profundiza en los componentes de la suite Office de Microsoft: procesador de texto Word, hoja de cálculo Excel, base de datos Access, presentaciones con PowerPoint y edición especializada ...

PCs Para Dummies

Libro PCs Para Dummies

Una PC es una computadora personal que se llama como su primer ancestro, la IBM PC. IBM creó la PC (Personal Computer) luego de años de fabricar computadoras más grandes e impersonales (IPs). Hoy día, la mayoría de las computadoras se conocen como PCs, sin importar si las compra para su hogar o su oficina. No tienen que ser fabricadas por IBM. Bueno, hasta la Macintosh es una PC. Si es suya y es una computadora, entonces es una PC. Si las PCs lo han dejado perplejo, entonces PCs Para Dummies, 8va Edición, le ayudará a sobrellevar ciertos temores sobre su uso. Esta guía amistosa es...

Ingeniería de Software

Libro Ingeniería de Software

El lector encontrará en sus páginas los temas fundamentales para la formación de un ingeniero de software, tratados en un nivel que busca balancear la inclusión y el detalle; los temas se presentan según el estado actual de la tecnología expuestos con un nivel de complejidad necesario para establecer las bases, sin embargo no es un libro informativo ya que los conceptos expuestos son fundamentales, simples en esencia pero que necesitan de experimentación para terminar de ser aprendidos. Tiene su hilo conductor, a través del desarrollo de un caso, que permite ver por completo el...

Libros Recomendados



Últimas Búsquedas


Categorías Destacadas