Handbook of Logic and Proof Techniques for Computer Science

Langue : anglais

Edité par Springer Nature B.V. Jan 2002, 2002

081764220X / 9780817642204

Vendeur : AHA-BUCH GmbH, Einbeck, AllemagneAHA-BUCH GmbH

Vendeur avec une évaluation de 5 étoiles

Vendeur AbeBooks depuis 14 août 2006

Afficher les articles de ce vendeur
Livre relié

Etat: Neuf

EUR 85,00

EUR 30,50 expédition 
Expédition depuis Allemagne vers Etats-Unis

Quantité disponible : 2 disponible(s)

Ajouter au panier
Retours gratuits sous 30 jours

Item description from seller

Neuware - Logic plays a central conceptual role in modern mathematics. However, mathematical logic has grown into one of the most recondite areas of mathematics. As a result, most of modern logic is inaccessible to all but the specialist. This new book is a resource that provides a quick introduction and review of the key topics in logic for the computer scientist, engineer, or mathematician.Handbook of Logic and Proof Techniques for Computer Science presents the elements of modern logic, including many current topics, to the reader having only basic mathematical literacy. Computer scientists will find specific examples and important ideas such as axiomatics, recursion theory, decidability, independence, completeness, consistency, model theory, and P/NP completeness. The book contains definitions, examples and discussion of all of the key ideas in basic logic, but also makes a special effort to cut through the mathematical formalism, difficult notation, and esoteric terminology that is typical of modern mathematical logic. TThis handbook delivers cogent and self-contained introductions to critical advanced topics, including:Godel`s completeness and incompleteness theoremsMethods of proof, cardinal and ordinal numbers, the continuum hypothesis, the axiom of choice, model theory, and number systems and their constructionExtensive treatment of complexity theory and programming applications Applications to algorithms in Boolean algebraDiscussion of set theory and applications of logicThe book is an excellent resource for the working mathematical scientist. The graduate student or professional in computer science and engineering or the systems scientist who needs to have a quick sketch of a key idea from logic will find it here in this self-contained, accessible, and easy-to-use reference.

N° de réf. du vendeur 9780817642204

Titre
Handbook of Logic and Proof Techniques for Computer Science
Auteur
Steven G. Krantz
Éditeur
Springer Nature B.V. Jan 2002
Année de publication
2002
État de l'article
Neu
Reliure
Buch
Langue
anglais
ISBN à 10 chiffres
081764220X
ISBN à 13 chiffres
9780817642204
Poids de l'article
576 grammes
Dimensions
241x159x18 mm

AHA-BUCH GmbH

Einbeck, Allemagne

Vendeur avec une évaluation de 5 étoiles

Vendeur AbeBooks depuis 14 août 2006

Frais d'expédition de Allemagne vers Etats-Unis

Article5 à 7 jours ouvrés7 à 10 jours ouvrés
Premier articleEUR 30,50EUR 30,50
Les délais de livraison sont fixés par les vendeurs et varient en fonction du transporteur et du lieu. Les commandes transitant par les douanes peuvent être retardées et les acheteurs sont responsables de tous les droits ou frais associés. Les vendeurs peuvent vous contacter au sujet de frais supplémentaires afin de couvrir toute augmentation des coûts d'expédition de vos articles.

Modes de paiement

  • Visa
  • Mastercard
  • American Express
  • Carte Bleue
  • Apple Pay
  • Google Pay
  • Chèque
  • Paypal
  • Virement bancaire

Description de la boutique

Das Unternehmen AHA-BUCH GmbH: Seit der Gründung von AHA-BUCH im Juli 2005 ist unser Hauptziel, zufriedenen Kunden so schnell und so preisgünstig wie möglich ihren Bücherwunsch zu erfüllen. Unsere Firma beschäftigt 16 Mitarbeiter, die nur ein Ziel kennen: den Kunden und seine Wünsche! Auf über 3700 m2 Fläche haben wir über 100.000 Bücher, Modernes Antiquariat und Spiele auf Lager.

Spécialité

Kinderbücher & Kinderhör Casetten, German Books, Software, Natur & Tiere, Ratgeber, Sachbücher, Englische Bücher, Medizin & Gesundheit, Universität & Studium

Profil professionnel du vendeur

AHA-BUCH GmbH

Garlebsen 48
Einbeck, Allemagne 37574