|Eingestellt in Kategorie:
Dieser Artikel ist nicht vorrätig.

Der Haskell Weg zu Logik, Mathematik und Programmierung. Zweite Ausgabe-

Ursprünglicher Text
The Haskell Road to Logic, Maths and Programming. Second Edition
Ursprünglicher Text
by Doets, Kees; Eijck, Van Jan | PB | Good
ThriftBooks
  • (3609344)
  • Angemeldet als gewerblicher Verkäufer
US $13,58
Ca.EUR 12,67
Artikelzustand:
Gut
Pages can have notes/highlighting. Spine may show signs of wear. ~ ThriftBooks: Read More, ... Mehr erfahrenÜber den Artikelzustand
Versand:
Kostenlos Economy Shipping. Weitere Detailsfür Versand
Standort: Aurora, Illinois, USA
Lieferung:
Lieferung zwischen Mi, 26. Jun und Sa, 29. Jun nach 43230 bei heutigem Zahlungseingang
Wir wenden ein spezielles Verfahren zur Einschätzung des Liefertermins an – in diese Schätzung fließen Faktoren wie die Entfernung des Käufers zum Artikelstandort, der gewählte Versandservice, die bisher versandten Artikel des Verkäufers und weitere ein. Insbesondere während saisonaler Spitzenzeiten können die Lieferzeiten abweichen.
Rücknahmen:
30 Tage Rückgabe. Kostenloser Rückversand. Weitere Details- Informationen zu Rückgaben
Zahlungen:
    

Sicher einkaufen

eBay-Käuferschutz
Geld zurück, wenn etwas mit diesem Artikel nicht stimmt. Mehr erfahreneBay-Käuferschutz - wird in neuem Fenster oder Tab geöffnet
Der Verkäufer ist für dieses Angebot verantwortlich.
eBay-Artikelnr.:196147090815
Zuletzt aktualisiert am 22. Mai. 2024 15:24:08 MESZAlle Änderungen ansehenAlle Änderungen ansehen

Artikelmerkmale

Artikelzustand
Gut
Buch, das gelesen wurde, sich aber in einem guten Zustand befindet. Der Einband weist nur sehr geringfügige Beschädigungen auf, wie z.B. kleinere Schrammen, er hat aber weder Löcher, noch ist er eingerissen. Bei gebundenen Büchern ist der Schutzumschlag möglicherweise nicht mehr vorhanden. Die Bindung weist geringfügige Gebrauchsspuren auf. Die Mehrzahl der Seiten ist unbeschädigt, das heißt, es gibt kaum Knitter oder Einrisse, es wurden nur in geringem Maße Bleistiftunterstreichungen im Text vorgenommen, es gibt keine Textmarkierungen und die Randbereiche sind nicht beschrieben. Alle Seiten sind vollständig vorhanden. Genauere Einzelheiten sowie eine Beschreibung eventueller Mängel entnehmen Sie bitte dem Angebot des Verkäufers. Alle Zustandsdefinitionen aufrufenwird in neuem Fenster oder Tab geöffnet
Hinweise des Verkäufers
“Pages can have notes/highlighting. Spine may show signs of wear. ~ ThriftBooks: Read More, ...
Binding
Paperback
Weight
1 lbs
Product Group
Book
IsTextBook
Yes
ISBN
9780954300692
Publication Year
2004
Type
Textbook
Format
Trade Paperback
Language
English
Subject Area
Computers, Mathematics
Publication Name
Haskell Road to Logic, Maths and Pro
Author
Kees Doets
Publisher
College Publications
Subject
Logic, Logic Design
Number of Pages
IX, 426 Pages

Über dieses Produkt

Product Information

Long ago, when Alexander the Great asked the mathematician Menaechmus for a crash course in geometry, he got the famous reply There is no royal road to mathematics.'' Where there was no shortcut for Alexander, there is no shortcut for us. Still, the fact that we have access to computers and mature programming languages means that there are avenues for us that were denied to the kings and emperors of yore. The purpose of this book is to teach logic and mathematical reasoning in practice, and to connect logical reasoning with computer programming in Haskell. Haskell emerged in the 1990s as a standard for lazy functional programming, a programming style where arguments are evaluated only when the value is actually needed. Haskell is a marvelous demonstration tool for logic and maths because its functional character allows implementations to remain very close to the concepts that get implemented, while the laziness permits smooth handling of infinite data structures. This book does not assume the reader to have previous experience with either programming or construction of formal proofs, but acquaintance with mathematical notation, at the level of secondary school mathematics is presumed. Everything one needs to know about mathematical reasoning or programming is explained as we go along. After proper digestion of the material in this book, the reader will be able to write interesting programs, reason about their correctness, and document them in a clear fashion. The reader will also have learned how to set up mathematical proofs in a structured way, and how to read and digest mathematical proofs written by others. This is the updated, expanded, and corrected second edition of a much-acclaimed textbook. Praise for the first edition: 'Doets and van Eijck's The Haskell Road to Logic, Maths and Programming'' is an astonishingly extensive and accessible textbook on logic, maths, and Haskell.' Ralf Laemmel, Professor of Computer Science, University of Koblenz-Landau

Product Identifiers

Publisher
College Publications
ISBN-10
0954300696
ISBN-13
9780954300692
eBay Product ID (ePID)
45952055

Product Key Features

Publication Year
2004
Subject
Logic, Logic Design
Number of Pages
IX, 426 Pages
Language
English
Publication Name
Haskell Road to Logic, Maths and Pro
Type
Textbook
Subject Area
Computers, Mathematics
Author
Kees Doets
Format
Trade Paperback

Additional Product Features

Illustrated
Yes
LeafCats
378
Dewey Decimal
005.115
Lc Classification Number
Qa9doe
Copyright Date
2004

Artikelbeschreibung des Verkäufers

Rechtliche Informationen des Verkäufers

Thrift Books Global, LLC
TB Thrift Books
18300 Cascade Ave S
Ste 150
98188 Seattle, WA
United States
Kontaktinformationen anzeigen
:liaM-Emoc.skoobtfirht@yabe.selas
Ich versichere, dass alle meine Verkaufsaktivitäten in Übereinstimmung mit allen geltenden Gesetzen und Vorschriften der EU erfolgen.
ThriftBooks

ThriftBooks

99% positive Bewertungen
17,7 Mio. Artikel verkauft
Shop besuchenKontakt
Mitglied seit Mär 2015
Antwortet meist innerhalb 12 Stunden

Detaillierte Verkäuferbewertungen

Durchschnitt in den letzten 12 Monaten

Genaue Beschreibung
4.9
Angemessene Versandkosten
5.0
Lieferzeit
5.0
Kommunikation
4.9
Angemeldet als gewerblicher Verkäufer

Verkäuferbewertungen (5.224.283)

e***e (704)- Bewertung vom Käufer.
Letzter Monat
Bestätigter Kauf
Item as described, quick shipment.
k***4 (714)- Bewertung vom Käufer.
Letzter Monat
Bestätigter Kauf
As described, good price, shipped quickly . Good seller
i***n (318)- Bewertung vom Käufer.
Letzter Monat
Bestätigter Kauf
Thx

Produktbewertungen & Rezensionen

Noch keine Bewertungen oder Rezensionen