Bild 1 von 1
![Der Haskell Weg zu Logik, Mathematik und Programmierung. Zweite Ausgabe - Bild 1 von 1](https://i.ebayimg.com/images/g/urgAAOSwVCRZczxn/s-l500.jpg)
Bild 1 von 1
![Der Haskell Weg zu Logik, Mathematik und Programmierung. Zweite Ausgabe - Bild 1 von 1](https://i.ebayimg.com/images/g/urgAAOSwVCRZczxn/s-l500.jpg)
Der Haskell Weg zu Logik, Mathematik und Programmierung. Zweite Ausgabe-
US $13,58
Ca.EUR 12,67
Artikelzustand:
“Pages can have notes/highlighting. Spine may show signs of wear. ~ ThriftBooks: Read More, ”... Mehr erfahrenÜber den Artikelzustand
Versand:
Standort: Aurora, Illinois, USA
Lieferung:
Lieferung zwischen Mi, 26. Jun und Sa, 29. Jun nach 43230 bei heutigem Zahlungseingang
Rücknahmen:
Zahlungen:
Sicher einkaufen
Der Verkäufer ist für dieses Angebot verantwortlich.
eBay-Artikelnr.:196147090815
Artikelmerkmale
- Artikelzustand
- Gut
- Hinweise des Verkäufers
- 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
- 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
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
Ich versichere, dass alle meine Verkaufsaktivitäten in Übereinstimmung mit allen geltenden Gesetzen und Vorschriften der EU erfolgen.
Der Verkäufer ist für dieses Angebot verantwortlich.
eBay-Artikelnr.:196147090815
Verpackung und Versand
Artikelstandort:
Aurora, Illinois, USA
Versand nach:
Afghanistan, Albanien, Algerien, Amerikanisch-Samoa, Andorra, Angola, Anguilla, Antigua und Barbuda, Argentinien, Armenien, Aruba, Aserbaidschan, Australien, Bahamas, Bahrain, Bangladesch, Belarus, Belgien, Belize, Benin, Bermuda, Bhutan, Bolivien, Bosnien und Herzegowina, Botsuana, Brasilien, Britische Jungferninseln, Brunei Darussalam, Bulgarien, Burkina Faso, Burundi, Chile, China, Cookinseln, Costa Rica, Côte d'Ivoire (Elfenbeinküste), Demokratische Republik Kongo, Deutschland, Dominica, Dominikanische Republik, Dschibuti, Dänemark, Ecuador, El Salvador, Eritrea, Estland, Falklandinseln (Malwinen), Fidschi, Finnland, Frankreich, Gabun, Gambia, Georgien, Ghana, Gibraltar, Grenada, Griechenland, Grönland, Guam, Guatemala, Guernsey, Guinea, Guinea-Bissau, Guyana, Haiti, Honduras, Hongkong, Indien, Indonesien, Irak, Irland, Island, Israel, Italien, Jamaika, Japan, Jemen, Jersey, Jordanien, Jungferninseln (USA), Kaimaninseln, Kambodscha, Kamerun, Kanada, Kapverdische Inseln, Kasachstan, Katar, Kenia, Kirgisistan, Kiribati, Kolumbien, Komoren, Kuwait, Laos, Lesotho, Lettland, Libanon, Liberia, Liechtenstein, Litauen, Luxemburg, Macau, Madagaskar, Malawi, Malaysia, Malediven, Mali, Malta, Marokko, Marshallinseln, Mauretanien, Mauritius, Mayotte, Mazedonien, Mexiko, Mikronesien, Moldawien, Monaco, Mongolei, Montenegro, Montserrat, Mosambik, Namibia, Nauru, Nepal, Neuseeland, Nicaragua, Niederlande, Niederländische Antillen, Niger, Nigeria, Niue, Norwegen, Oman, Pakistan, Palau, Panama, Papua-Neuguinea, Paraguay, Peru, Philippinen, Polen, Portugal, Puerto Rico, Republik Kongo, Republik Kroatien, Ruanda, Rumänien, Saint-Pierre und Miquelon, Salomonen, Sambia, Samoa (Westsamoa), San Marino, Saudi-Arabien, Schweden, Schweiz, Senegal, Serbien, Seychellen, Sierra Leone, Simbabwe, Singapur, Slowakei, Slowenien, Somalia, Spanien, Sri Lanka, St. Helena, St. Kitts und Nevis, St. Lucia, St. Vincent und die Grenadinen, Suriname, Svalbard und Jan Mayen, Swasiland, Südafrika, Südkorea, Tadschikistan, Taiwan, Tansania, Thailand, Togo, Tonga, Trinidad und Tobago, Tschad, Tschechische Republik, Tunesien, Turkmenistan, Turks- und Caicosinseln, Tuvalu, Türkei, Uganda, Ungarn, Uruguay, Usbekistan, Vanuatu, Vatikan, Vereinigte Arabische Emirate, Vereinigtes Königreich, Vietnam, Wallis und Futuna, Weltweit, Westsahara, Zentralafrikanische Republik, Zypern, Ägypten, Äquatorialguinea, Äthiopien, Österreich
Ausgeschlossen:
Barbados, Französisch-Guayana, Französisch-Polynesien, Guadeloupe, Libyen, Martinique, Neukaledonien, Russische Föderation, Réunion, Ukraine, Venezuela
Verpackung und Versand | Nach | Service | Lieferung*Siehe Lieferhinweise |
---|---|---|---|
Kostenloser Versand | USA | Economy Shipping | Lieferung zwischen Mi, 26. Jun und Sa, 29. Jun nach 43230 |
US $15,99 (ca. EUR 14,91) | USA | Expedited Shipping | Lieferung zwischen Di, 25. Jun und Do, 27. Jun nach 43230 |
Bearbeitungszeit |
---|
Der Verkäufer verschickt den Artikel innerhalb von 1 Werktag nach Zahlungseingang. |
Steuern |
---|
Verkäufer berechnet Steuern in |
Mehrwertsteuer für diesen Artikel #196147090815
Mehrwertsteuer für diesen Artikel #196147090815
Der Verkäufer berechnet Mehrwertsteuer für Artikel, die in die folgenden Bundesstaaten verschickt werden:
Bundesstaat | Steuersatz für Sales Tax |
---|---|
Missouri (MO) | 8.238% |
Rücknahmebedingungen
Frist | Rückerstattung erfolgt in folgender Form: | Rücksendung |
---|---|---|
30 Tage | Geld zurück | Kostenloser Rückversand |
Der Verkäufer trägt die Rücksendekosten.
Rücknahmebedingungen im Detail |
---|
Rücknahme akzeptiert |
Zahlungsdaten
Zahlungsmethoden
Hinweis: Bestimmte Zahlungsmethoden werden in der Kaufabwicklung nur bei hinreichender Bonität des Käufers angeboten.
Beliebte Kategorien in diesem Shop
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 mehr entdecken:
- Masters-of-the-Universe - Europa-Editions Hörbücher und Hörspiele,
- Masters-of-the-Universe - Europa-Editions-Erwachsene Hörbücher und Hörspiele,
- The Face Zeitschriften,
- Hörbücher und Hörspiele Action Europa Editions,
- The Walking Dead Belletristik-Bücher,
- Europa-Editions-Erwachsene Hörbücher und Hörspiele,
- Hörbücher und Hörspiele Europa Editions Action,
- Hörbücher und Hörspiele Europa Editions Kassette,
- Hörbücher und Hörspiele Europa Editions mit Audio-CD,
- Hörbücher und Hörspiele Europa-Editions-Erwachsene