• LOGICA PARA LA COMPUTACION

    DE LEDESMA OTAMENDI, LUIS RA-MA Ref. 9788478979387 Ver otros productos de la misma colección Ver otros productos del mismo autor
    "La fuerza de la Lógica Formal reside en su capacidad para… deducir precisa y, en muchos casos, mecánicamente, ciertas expresiones simbólicas nuevas a partir de otras anteriores. Las expresiones inferidas son los teoremas"Así se abre el texto: con los símbolos y leyes lógicas que nos enseñarán a usa...
    Ancho: 170 cm Largo: 240 cm Peso: 427 gr
    Disponible en 5-10 días
    19,90 €
    • Devoluciones


      Política desistimiento


      Tiene usted derecho a desistir del presente contrato en un plazo de 14 días naturales sin necesidad de justificación. El plazo de desistimiento expirará a los 14 días naturales del día que usted o un tercero por usted indicado, distinto del transportista, adquirió la posesión material de los bienes. Para ejercer el derecho de desistimiento, deberá usted notificarnos a la siguiente dirección: LLIBRERIA ANGLESA SL C/ BALMES 129 BIS info@comeinbookshop.com +34 93 453 12 04 su decisión de desistir del contrato a través de una declaración inequívoca (por ejemplo, una carta enviada por correo postal, fax o correo electrónico]. Podrá utilizar el modelo de formulario de desistimiento que figura a continuación, aunque su uso no es obligatorio. 

      Para cumplir el plazo de desistimiento, basta con que la comunicación relativa al ejercicio por su parte de este derecho sea enviada antes de que venza el plazo correspondiente. 



      Consecuencias del desistimiento

      En caso de desistimiento por su parte, le devolveremos todos los pagos recibidos de usted, incluidos los gastos de entrega (con la excepción de los gastos adicionales resultantes de la elección por su parte de una modalidad de entrega diferente a la modalidad menos costosa de entrega ordinaria que ofrezcamos) sin ninguna demora indebida y, en todo caso, a más tardar 14 días naturales a partir de la fecha en la que se nos informe de su decisión de desistir del presente contr


      Los bienes deberán ser devueltos a la siguiente dirección:

      LLIBRERIA ANGLESA SL

      C/ BALMES 129 BIS

      08008 BARCELONA

      sin ninguna demora indebida y, en cualquier caso, a más tardar en el plazo de 14 días naturales a partir de la fecha en que nos comunique su decisión de desistimiento del contrato. Se considerará cumplido el plazo si efectúa la devolución de los bienes antes de que haya concluido dicho plazo. Deberá usted asumir el coste directo de devolución de los bienes.

      Solo será usted responsable de la disminución de valor de los bienes resultante de una manipulación distinta a la necesaria para establecer la naturaleza, las características y el funcionamiento de los bienes.

      Excepciones al derecho de desistimiento

      El derecho de desistimiento no será aplicable a los contratos que se refieran a:

      a) El suministro de bienes confeccionados conforme a las especificaciones del consumidor y usuario o claramente personalizados.

      b) El suministro de bienes que puedan deteriorarse o caducar con rapidez.

      c) El suministro de bienes precintados que no sean aptos para ser devueltos por razones de protección de la salud o de higiene y que hayan sido desprecintados tras la entrega.

      d) El suministro de grabaciones sonoras o de vídeo precintadas o de programas informáticos precintados que hayan sido desprecintados por el consumidor y usuario después de la entrega.

      Modelo de formulario de desistimiento

      - A la atención de:

      LLIBRERIA ANGLESA SL

      C/ BALMES 129 BIS

      08008 BARCELONA

      info@comeinbookshop.com

      93 453 12 04

      – Por la presente le comunico/comunicamos (*) que desisto de mi/desistimos de nuestro (*) contrato de venta del siguiente bien/prestacio´n del siguiente servicio (*)

      – Pedido el/recibido el (*)

      – Nombre del consumidor y usuario o de los consumidores y usuarios

      – Domicilio del consumidor y usuario o de los consumidores y usuarios

      – Firma del consumidor y usuario o de los consumidores y usuarios (solo si el presente formulario se presenta en papel)

      – Fecha

      - Teléfono o dirección

  • Descripción

    • ISBN : 978-84-7897-938-7
    • Fecha de edición : 01/09/2009
    • Año de edición : 2009
    • Idioma : Español, Castellano
    • Autores : DE LEDESMA OTAMENDI, LUIS
    • Ilustradores : GARCIA TOME, ANTONIO
    • Nº de páginas : 180
    "La fuerza de la Lógica Formal reside en su capacidad para… deducir precisa y, en muchos casos, mecánicamente, ciertas expresiones simbólicas nuevas a partir de otras anteriores. Las expresiones inferidas son los teoremas"
    Así se abre el texto: con los símbolos y leyes lógicas que nos enseñarán a usar el sentido común y nuestra capacidad de razonar sobre la realidad. Con ellos, demostraremos teoremas con rigor y, mejor aún, aprenderemos a verificar con precisión que son realmente válidos.
    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 desde hace más de un siglo y se muestran resultados históricos tanto por su propia importancia como por su papel en el desarrollo de la ciencia moderna.
    Con tales mimbres y a partir de su propio trabajo científico y experiencia docente en Lógica, el autor ha hecho de estas primeras nociones una base para el desarrollo posterior del texto.
    El lector que se sitúa en este punto inicial 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 equipaje necesario, pero nada más. 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.
    Este libro no es sobre la historia. Tales libros, salvo ejercicios de estilo, tienen la servidumbre de presentarse como un todo acabado. Sin embargo, el autor no ha olvidado que a todos nos gusta saber cómo han surgido las cosas y por qué alguien demostró lo que demostró.
    Por eso, ha procurado que el lector nunca olvide que está en un camino, ha añadido los comentarios que ha creído oportunos y ha escrito con la intención de facilitar la lectura en la medida de lo posible. 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.
    "El libro tiene un aire a la vez nuevo y tradicional que lo hace muy recomendable para aquellos a los que está destinado" Eugenio Roanes Lozano, Reseña en el Boletín de la Sociedad "Puig Adam" de Profesores de Matemáticas.

Este sitio web almacena datos como cookies para habilitar la funcionalidad necesaria del sitio, incluidos análisis y personalización. Puede cambiar su configuración en cualquier momento o aceptar la configuración predeterminada.

política de cookies

Esenciales

Las cookies necesarias ayudan a hacer una página web utilizable activando funciones básicas como la navegación en la página y el acceso a áreas seguras de la página web. La página web no puede funcionar adecuadamente sin estas cookies.


Personalización

Las cookies de personalización permiten a la página web recordar información que cambia la forma en que la página se comporta o el aspecto que tiene, como su idioma preferido o la región en la que usted se encuentra.


Análisis

Las cookies estadísticas ayudan a los propietarios de páginas web a comprender cómo interactúan los visitantes con las páginas web reuniendo y proporcionando información de forma anónima.


Marketing

Las cookies de marketing se utilizan para rastrear a los visitantes en las páginas web. La intención es mostrar anuncios relevantes y atractivos para el usuario individual, y por lo tanto, más valiosos para los editores y terceros anunciantes.


Suscríbete a nuestro boletín

Introduzca su email si desea estar informado de las novedades y actividades de Come In Bookshop
He leído, comprendo y acepto la política de privacidad
Información sobre el tratamiento de datos