Logic for Applications (Paperback)

Anil Nerode

6 valoraciones de Goodreads

Idioma: inglés

Editorial: Springer-Verlag New York Inc., New York, NY, 2012

1461268559 / 9781461268550

Serie: Libro 2 de 83 - Texts in Computer Science

  • Tapa blanda
  • Nuevo
Ver todos los detalles

Librería: AussieBookSeller, Truganina, VIC, AustraliaAussieBookSeller

Vendedor de 5 estrellas

Vendedor de AbeBooks desde 22 de junio de 2007

Ver los artículos de este vendedor
Tapa blanda

Condición: Nuevo

EUR 93,36

Envío por EUR 31,67 
Se envía de Australia a Estados Unidos de America

Cantidad disponible: 1 disponibles

Añadir al carrito

Descripción del artículo del vendedor

Paperback. In writing this book, our goal was to produce a text suitable for a first course in mathematical logic more attuned than the traditional textbooks to the re cent dramatic growth in the applications oflogic to computer science. Thus, our choice oftopics has been heavily influenced by such applications. Of course, we cover the basic traditional topics: syntax, semantics, soundnes5, completeness and compactness as well as a few more advanced results such as the theorems of Skolem-Lowenheim and Herbrand. Much ofour book, however, deals with other less traditional topics. Resolution theorem proving plays a major role in our treatment of logic especially in its application to Logic Programming and PRO LOG. We deal extensively with the mathematical foundations ofall three ofthese subjects. In addition, we include two chapters on nonclassical logics - modal and intuitionistic - that are becoming increasingly important in computer sci ence. We develop the basic material on the syntax and semantics (via Kripke frames) for each of these logics. In both cases, our approach to formal proofs, soundness and completeness uses modifications of the same tableau method in troduced for classical logic. We indicate how it can easily be adapted to various other special types of modal logics. A number of more advanced topics (includ ing nonmonotonic logic) are also briefly introduced both in the nonclassical logic chapters and in the material on Logic Programming and PROLOG. In writing this book, our goal was to produce a text suitable for a first course in mathematical logic more attuned than the traditional textbooks to the re cent dramatic growth in the applications oflogic to computer science. Shipping may be from our Sydney, NSW warehouse or from our UK or US warehouse, depending on stock availability.

N° de ref. del artículo 9781461268550

Título
Logic for Applications (Paperback)
Autor
Anil Nerode
Editorial
Springer-Verlag New York Inc., New York, NY
Año de publicación
2012
Estado
new
Encuadernación
Paperback
Idioma
inglés
ISBN 10
1461268559
ISBN 13
9781461268550
Edición
2ª Edición
Serie
Libro 2 de 83: Texts in Computer Science

AussieBookSeller

Truganina, VIC, Australia

Vendedor de 5 estrellas

Vendedor de AbeBooks desde 22 de junio de 2007

Tarifas de envío de Australia a Estados Unidos de America

ArtículoDe 25 a 45 días hábilesDe 8 a 14 días hábiles
Primer artículoEUR 31,67EUR 37,66
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.

Métodos de pago

VisaMastercardAmerican ExpressCarte BleueApple PayGoogle Pay

Información empresarial del vendedor

The Nile Group Pty Ltd

42 Apex Drive
Truganina, VIC Australia 3029