AMPLIAR REDUCIR

Profesional

1 Artículo(s)

por página

   

Establecer dirección ascendente
  1. Lógica para la computación - teorías de primer orden, resolución y elementos de programación lógica y prolog
    DE LEDESMA, Luis
    $59.00 MXN
    ($3.33 USD)

    Agotado

    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.

1 Artículo(s)

por página

   

Establecer dirección ascendente