5184_base

Lógica para la computación - teorías de primer orden, resolución y elementos de programación lógica y prolog

Autor:
  • DE LEDESMA, Luis
Precio: $59.00 MXN ($3.33 USD)
SKU: 5184_base
Páginas: 180
ISBN: 978-607-7854-33-3
Coedición: Alfaomega, Ra-Ma
Disponibilidad: Agotado
(36 Vendidos)

Disponibilidad: Agotado

Precios desde: $ 0.00 USD

Precio elegido: $ 0.00 USD

Este es un texto pensado para estudiantes y profesores inclinados a las matemáticas, la lógica y los fundamentos de su automatización: alumnos de primeros cursos de Lógica y aquellos programadores de PROLOG que no han tenido la oportunidad de asomarse a la base sobre la que descansa su trabajo, se ha procurado que el material elegido sea homogéneo y riguroso.
El lector comienza el tránsito a lo largo de una línea de la que no se separará y que le conduce con claridad hasta los fundamentos y las primeras nociones de la programación lógica y PROLOG. Para el camino se le proporciona todo el conocimiento necesario, tendrá que asomarse a nuevos sistemas formales con su correspondiente teoría y nada será superfluo porque pronto verá cómo dicha teoría tiene la potencia necesaria para ir haciendo la Lógica cada vez más algorítmica.
Aprenderemos a verificar con precisión y rigor por que son realmente válidos los teoremas, estamos así en pleno centro de las teorías de primer orden, la base de toda lógica; aparecen sus raíces sanas y fuertes por su papel en el desarrollo de la ciencia moderna.
El autor ha hecho de estas primeras nociones una base para el desarrollo del texto a partir de su propio trabajo científico y experiencia docente en Lógica.
Conozca

La sintaxis de la lógica que la capacita para deducir teoremas.
Su semántica que hace que esos teoremas valgan a la hora de resolver un problema.
La reducción de la sintaxis a cláusulas con las que el método de resolución puede hacer demostraciones lógicas y procedurales.
El lenguaje PROLOG.

Aprenda

La inducción y la representación del conocimiento.
Cálculo Proposicional.
Cálculo de Predicados.
Extensiones de Primer Orden.
Sistemas Formales Aritméticos.
La lógica, la resolución y una aproximación a la programación lógica.

Realice

El seguimiento de su aprendizaje con mas de 100 ejemplos resueltos y 25 ejercicios para reafirmar sus conocimientos.




Autores DE LEDESMA, Luis
Editorial Alfaomega, Ra-Ma
Año de edición 2009
Código de barras 9786077543383
ISBN 978-607-7854-33-3
ISBN E-Book No
Materiales adicionales No
Número de la edición 1
Número de páginas 180
Dimensiones 17x23 cms.
Peso en gramos 330
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.