Logic for Computer Scientists

Uwe Schöning

24 Bewertungen von Goodreads

Sprache: Englisch

Verlag: Birkhauser Boston Inc, US, 2008

0817647627 / 9780817647629

Artikelbild 1 von 2.

Anbieter: Rarewaves.com UK, London, Vereinigtes KönigreichRarewaves.com UK

Verkäufer/-in mit 5 Sternen

AbeBooks-Verkäufer/-in seit 11. Juni 2025

Artikel dieses Verkäufers ansehen
Softcover

Zustand: Neu

EUR 75,41

EUR 75,65 Versand 
Versand von Vereinigtes Königreich nach USA

Anzahl: Mehr als 20 verfügbar

In den Warenkorb
Kostenlose Rückgaben innerhalb von 30 Tagen

Artikelbeschreibung vom Verkäufer

By the development of new fields and applications, such as Automated Theorem Proving and Logic Programming, Logic has obtained a new and important role in Computer Science. The traditional mathematical way of dealing with Logic is in some respect not tailored for Computer Science - plications. This book emphasizes such Computer Science aspects in Logic. It arose from a series of lectures in 1986 and 1987 on Computer Science Logic at the EWH University in Koblenz, Germany. The goal of this l- ture series was to give the undergraduate student an early and theoretically well-founded access to modern applications of Logic in Computer Science. A minimal mathematical basis is required, such as an understanding of the notation and knowledge about the basic mathematical proof techniques induction). More sophisticated mathematical kno- edge not a precondition read this book. Acquaintance with some conventional programming language, PASCAL, assumed. Several people helped in various ways in the preparation process of the original German version of this book: Johannes KSbler, Eveline and Rainer Schuler, and Hermann Engesser from B.I. Wissenschaftsverlag. Regarding the English version, I want to express my deep gratitude to Prof. Ronald Book. Without him, this translated version of the book would not have been possible. 1st ed. 1989. 2nd printing 2008. Softcover reprint of the original 1st ed. 1989.

Bestandsnummer des Verkäufers LU-9780817647629

Titel
Logic for Computer Scientists
Autor
Uwe Schöning
Verlag
Birkhauser Boston Inc, US
Veröffentlichungsjahr
2008
Zustand
New
Einband
Paperback
Sprache
Englisch
ISBN-10
0817647627
ISBN-13
9780817647629
Abmessungen
15.49 x 1.04 x 23.5 cm

Rarewaves.com UK

London, Vereinigtes Königreich

Verkäufer/-in mit 5 Sternen

AbeBooks-Verkäufer/-in seit 11. Juni 2025

Versandkosten von Vereinigtes Königreich nach USA

Artikel60 bis 60 Werktage60 bis 60 Werktage
Erster ArtikelEUR 75,65EUR 116,38
Die Versandzeiten werden von den Verkäuferinnen und Verkäufern festgelegt. Sie variieren je nach Versanddienstleister und Standort. Sendungen, die den Zoll passieren, können Verzögerungen unterliegen. Eventuell anfallende Abgaben oder Gebühren sind von der Käuferin bzw. dem Käufer zu tragen. Die Verkäuferin bzw. der Verkäufer kann Sie bezüglich zusätzlicher Versandkosten kontaktieren, um einen möglichen Anstieg der Versandkosten für Ihre Artikel auszugleichen.

Zahlungsarten

  • Visa
  • Mastercard
  • American Express
  • Carte Bleue
  • Apple Pay
  • Google Pay

Unternehmensdaten der Verkäuferin bzw. des Verkäufers

RAREWAVES.COM LIMITED

Elsley Court, 20-22 Great Titchfield Street
London, Vereinigtes Königreich W1W 8BE