ESSENTIAL LOGIC FOR COMPUTER SCIENCE
PAGE, REX
Vendido por Speedyhen, London, Reino Unido
Vendedor de AbeBooks desde 26 de noviembre de 2009
Nuevos - Encuadernación de tapa dura
Condición: Nuevo
Cantidad disponible: 7 disponibles
Añadir al carritoVendido por Speedyhen, London, Reino Unido
Vendedor de AbeBooks desde 26 de noviembre de 2009
Condición: Nuevo
Cantidad disponible: 7 disponibles
Añadir al carritoComputer scientists use logic for testing and verification of software and digital circuits, but many computer science students study logic only in the context of traditional mathematics, encountering the subject in a few lectures and a handful of problem sets in a discrete math course. This book offers a more substantive and rigorous approach to logic that focuses on applications in computer science. Topics covered include predicate logic, equation-based software, automated testing and theorem proving, and large-scale computation.
Formalism is emphasized, and the book employs three formal notations: traditional algebraic formulas of propositional and predicate logic; digital circuit diagrams; and the widely used partially automated theorem prover, ACL2, which provides an accessible introduction to mechanized formalism. For readers who want to see formalization in action, the text presents examples using Proof Pad, a lightweight ACL2 environment. Readers will not become ALC2 experts, but will learn how mechanized logic can benefit software and hardware engineers. In addition, 180 exercises, some of them extremely challenging, offer opportunities for problem solving. There are no prerequisites beyond high school algebra. Programming experience is not required to understand the book's equation-based approach. The book can be used in undergraduate courses in logic for computer science and introduction to computer science and in math courses for computer science students.
"Sobre este título" puede pertenecer a otra edición de este libro.
Ver la página web de la librería
Orders usually ship within 2 business days. Shipping costs are based on books weighing 2.2 LB, or 1 KG. If your book order is heavy or oversized, we may contact you to let you know extra shipping is required.
Si eres un consumidor puedes cancelar el presente contrato de acuerdo con lo indicado a continuación. Son consumidores las personas físicas que actúen con un propósito ajeno a su actividad comercial, empresarial, oficio o profesión.
Documento de información al consumidor y usuario sobre el desistimiento
Derecho de desistimiento:
Tienes 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 en que tú o un tercero que hayas indicado, distinto del transportista, adquiera la posesión material del último bien, componente o pieza.
Para ejercer el derecho de desistimiento, deberás notificarnos a Speedy Hen, 100 Chiltern Court, 188 Baker Street, NW1 5SX, London, United Kingdom, 44 08452419973, de tu 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ás utilizar el modelo de formulario de desistimiento que figura a continuación, aunque su uso no es obligatorio. Tienes asimismo la opción de cumplimentar y enviar electrónicamente el modelo de formulario de desistimiento o cualquier otra declaración inequívoca a través de nuestro sitio web a "Mis pedidos" en "Mi cuenta". Si recurres a esta opción, te comunicaremos sin demora en un soporte duradero (por ejemplo, por correo electrónico) la recepción de dicho desistimiento.
Para cumplir el plazo de desistimiento, basta con que la comunicación relativa al ejercicio por tu parte de este derecho sea enviada antes de que venza el plazo correspondiente.
Consecuencias del desistimiento:
En caso de desistimiento por tu parte, te devolveremos todos los pagos recibidos de ti, incluidos los gastos de entrega (con la excepción de los gastos adicionales resultantes de la elección por tu 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 informes de tu decisión de desistir del presente contrato. Procederemos a efectuar dicho reembolso utilizando el mismo medio de pago empleado por ti para la transacción inicial, a no ser que hayas dispuesto expresamente lo contrario; en todo caso, no incurrirás en ningún gasto como consecuencia del reembolso.
Podremos retenerte el reembolso hasta haber recibido los bienes, o hasta que hayas presentado una prueba de la devolución de los mismos, según qué condición se cumpla primero. Deberás devolvernos o entregarnos directamente los bienes a Speedy Hen, SpeedyHen Returns, Po Box 48, BN23 6WB, Westham, United Kingdom, 44 08452419973, 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 comuniques tu decisión de desistimiento del contrato. Se considerará cumplido el plazo si efectúas la devolución de los bienes antes de que haya concluido dicho plazo. Deberás asumir el coste directo de devolución de los bienes. Solo serás 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:
Modelo de formulario de desistimiento
(Sólo debe cumplimentar y enviar el presente formulario si desea desistir del contrato)
A la atención de: (Speedy Hen, 100 Chiltern Court, 188 Baker Street, NW1 5SX, London, United Kingdom, 44 08452419973)
Por la presente le comunico/comunicamos* que desisto de mi/desistimos de nuestro* contrato de venta del siguiente bien/prestació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:
* Eliminar en su caso
Shipping costs are based on books weighing 2.2 LB, or 1 KG. If your book order is heavy or oversized, we may contact you to let you know extra shipping is required.
| Cantidad del pedido | De 60 a 60 días hábiles | De 60 a 60 días hábiles |
|---|---|---|
| Primer artículo | EUR 46.63 | EUR 48.91 |
Los plazos de entrega los establecen los vendedores y varían según el transportista y la ubicación. Los pedidos que pasan por la aduana pueden sufrir retrasos y los compradores son responsables de los aranceles o tarifas asociadas. Los vendedores pueden ponerse en contacto con usted en relación con cargos adicionales para cubrir cualquier aumento en los costes de envío de los artículos.