5494_base

Más vistas

Lógica para informáticos

Autores:
  • FARRÉ, Rafel; NIEUWENHUIS, Robert
  • NIVELA, Pilar; OLIVERAS, Albert
  • RODRÍGUEZ, Enric; SIERRA, Josefina
Precio: $49.00 MXN ($2.77 USD)
SKU: 5494_base
Páginas: 218
ISBN: 978-607-707-165-5
Coedición: Alfaomega, Marcombo
Disponibilidad: En existencia
(2 Vendidos)

Disponibilidad: En existencia

Precios desde: $ 10.31 USD

Precio elegido: $ 0.00 USD

Este libro proporciona al lector fundamentos de lógica, para las ciencias de la computación, sólo se asumen conocimientos previos muy básicos de matemáticas, conocimientos que además se revisan brevemente.

El libro inicia con un capítulo de preliminares matemáticos donde se repasan: Conjuntos, Relaciones y funciones, Combinatoria, Demostración de propiedades.

Continúa con la definición de la lógica proposicional y de las técnicas de deducción en esta lógica y sus aplicaciones. En la segunda parte del libro define la lógica de primer orden, explica los métodos de deducción e incluye algunas aplicaciones. Dedica un capítulo a la programación lógica.

Ventajas Competitivas

  • Escrito de forma amena y cercana, simplificando al máximo la carga rotacional, con numerosos ejemplos que ilustran los conceptos explicados.
  • Más de 200 ejercicios acompañados de su correspondiente solución, desarrollada en todo detalle.

Conozca

  • La lógica como una herramienta formal de apoyo en diversas áreas de las ciencias de la computación.
  • La lógica de primer orden, sus métodos de deducción y aplicaciones.
  • Las estructuras de datos más adecuadas a la resolución de problemas de la lógica computacional.
  • Cómo analizar, diseñar y construir sistemas de lógica computacional utilizando técnicas propias de los sistemas inteligentes.
  • Cómo formalizar y representar el conocimiento humano en una forma computable para la resolución de problemas mediante un sistema informático.
  • Cómo solucionar problemas lógicos que puedan plantearse en la ingeniería.
  • Las propiedades fundamentales de los cálculos lógicos, tales como adecuación y completitud.

Aprenda

  • Las técnicas de deducción de la lógica proposicional y sus aplicaciones.
  • Cómo construir aplicaciones de lógica computacional eligiendo el paradigma y lenguaje de programación más adecuado.
  • Cómo construir y desarrollar argumentos lógicos, identificando claramente las hipótesis y las conclusiones.
  • Cómo presentar argumentos y conclusiones con claridad y exactitud.
  • Cómo usar la lógica para especificar, verificar y razonar sobre programas informáticos.
  • Cómo identificar problemas que pueden expresarse como problemas lógicos, traducirlo a la forma apropiada. 



Autores FARRÉ, Rafel; NIEUWENHUIS, Robert; NIVELA, Pilar; OLIVERAS, Albert; RODRÍGUEZ, Enric; SIERRA, Josefina
Editorial Alfaomega, Marcombo
Año de edición 2012
Código de barras 9786077071655
ISBN 978-607-707-165-5
ISBN E-Book 9786077079934
Materiales adicionales No
Número de la edición 1
Número de páginas 218
Dimensiones 17x23 cms.
Peso en gramos 380
Encuadernación Rústica
Idioma Español

Parece que no tiene habilitado en su navegador un complemento para leer archivos PDF, pero no se preocupe haga clic aquí para decargar el archivo.

* Campos requeridos

Precio elegido: $ 0.00 USD