Afbeelding 1 van 1
The Haskell Road to Logic, Maths and Programming. Second Edition
by Doets, Kees; Eijck, Van Jan | PB | Good
Objectstaat:
“Pages can have notes/highlighting. Spine may show signs of wear. ~ ThriftBooks: Read More, ”... Meer lezenover objectstaat
Verzendkosten:
Bevindt zich in: Aurora, Illinois, Verenigde Staten
Levering:
Geschatte levering tussen wo, 29 mei en za, 1 jun tot 43230
Retourbeleid:
30 dagen om te retourneren. Verkoper betaalt voor retourzending. Details bekijken- voor meer informatie over retourzendingen
Betalingen:
Winkel met vertrouwen
Verkopergegevens
- 99% positive feedback
Ingeschreven als zakelijke verkoper
De verkoper neemt de volledige verantwoordelijkheid voor deze aanbieding.
eBay-objectnummer:196147090815
Specificaties
- Objectstaat
- Goed
- Opmerkingen van verkoper
- Binding
- Paperback
- Weight
- 1 lbs
- Product Group
- Book
- IsTextBook
- Yes
- ISBN
- 9780954300692
- Publication Year
- 2004
- Type
- Textbook
- Format
- Trade Paperback
- Language
- English
- Publication Name
- Haskell Road to Logic, Maths and Pro
- Publisher
- College Publications
- Number of Pages
- IX, 426 Pages
Over dit product
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 Name
Haskell Road to Logic, Maths and Pro
Format
Trade Paperback
Language
English
Publication Year
2004
Type
Textbook
Number of Pages
IX, 426 Pages
Additional Product Features
Lc Classification Number
Qa9doe
Copyright Date
2004
Topic
Logic, Logic Design
Dewey Decimal
005.115
Illustrated
Yes
Genre
Computers, Mathematics
Objectbeschrijving van de verkoper
Informatie van zakelijke verkoper
Thrift Books Global, LLC
TB Thrift Books
18300 Cascade Ave S
Ste 150
98188 Seattle, WA
United States
Ik verklaar dat al mijn verkoopactiviteiten zullen voldoen aan alle wet- en regelgeving van de EU.
De verkoper neemt de volledige verantwoordelijkheid voor deze aanbieding.
eBay-objectnummer:196147090815
Verzending en verwerking
Objectlocatie:
Aurora, Illinois, Verenigde Staten
Wordt verzonden naar:
Afghanistan, Albanië, Algerije, Amerikaans-Samoa, Andorra, Angola, Anguilla, Antigua en Barbuda, Argentinië, Armenië, Aruba, Australië, Azerbeidzjan, Bahama's, Bahrein, Bangladesh, België, Belize, Benin, Bermuda, Bhutan, Bolivia, Bosnië en Herzegovina, Botswana, Brazilië, Britse Maagdeneilanden, Brunei Darussalam, Bulgarije, Burkina Faso, Burundi, Cambodja, Canada, Centraal-Afrikaanse Republiek, Chili, China, Colombia, Comoren, Cookeilanden, Costa Rica, Cyprus, Democratische Republiek Congo, Denemarken, Djibouti, Dominica, Dominicaanse Republiek, Duitsland, Ecuador, Egypte, El Salvador, Equatoriaal-Guinea, Eritrea, Estland, Ethiopië, Falklandeilanden (Islas Malvinas), Fiji, Filipijnen, Finland, Frankrijk, Gabon, Gambia, Georgië, Ghana, Gibraltar, Grenada, Griekenland, Groenland, Guam, Guatemala, Guernsey, Guinee, Guinee-Bissau, Guyana, Haïti, Honduras, Hongarije, Hongkong, IJsland, Ierland, India, Indonesië, Irak, Israël, Italië, Ivoorkust, Jamaica, Japan, Jemen, Jersey, Jordanië, Kaaimaneilanden, Kaapverdische eilanden, Kameroen, Kazachstan, Kenia, Kirgizië, Kiribati, Koeweit, Kroatië, Laos, Lesotho, Letland, Libanon, Liberia, Liechtenstein, Litouwen, Luxemburg, Maagdeneilanden (VS), Macau, Macedonië, Madagaskar, Malawi, Maldiven, Maleisië, Mali, Malta, Marokko, Marshalleilanden, Mauritanië, Mauritius, Mayotte, Mexico, Micronesië, Moldavië, Monaco, Mongolië, Montenegro, Montserrat, Mozambique, Namibië, Nauru, Nederland, Nederlandse Antillen, Nepal, Nicaragua, Nieuw-Zeeland, Niger, Nigeria, Niue, Noorwegen, Oeganda, Oezbekistan, Oman, Oostenrijk, Pakistan, Palau, Panama, Papoea-Nieuw-Guinea, Paraguay, Peru, Polen, Portugal, Puerto Rico, Qatar, Republiek Congo, Roemenië, Rwanda, Saint Kitts en Nevis, Saint Lucia, Saint Pierre en Miquelon, Saint Vincent en de Grenadines, San Marino, Saudi-Arabië, Senegal, Servië, Seychellen, Sierra Leone, Singapore, Sint-Helena, Slovenië, Slowakije, Solomoneilanden, Somalië, Spanje, Spitsbergen en Jan Mayen, Sri Lanka, Suriname, Swaziland, Tadzjikistan, Taiwan, Tanzania, Thailand, Togo, Tonga, Trinidad en Tobago, Tsjaad, Tsjechië, Tunesië, Turkije, Turkmenistan, Turks- en Caicoseilanden, Tuvalu, Uruguay, Vanuatu, Vaticaanstad, Verenigd Koninkrijk, Verenigde Arabische Emiraten, Vietnam, Wallis en Futuna, Wereldwijd, Westelijk Samoa, Westelijke Sahara, Wit-Rusland, Zambia, Zimbabwe, Zuid-Afrika, Zuid-Korea, Zweden, Zwitserland
Uitgesloten:
Barbados, Frans-Guyana, Frans-Polynesië, Guadeloupe, Libië, Martinique, Nieuw-Caledonië, Oekraïne, Russische Federatie, Réunion, Venezuela
Verzending en verwerking | Tot | Service | Levering*Zie opmerkingen over levering |
---|---|---|---|
Gratis verzending | Verenigde Staten | Economy Shipping | Geschatte levering tussen wo, 29 mei en za, 1 jun tot 43230 |
US $15,99 (ongeveer EUR 14,77) | Verenigde Staten | Expedited Shipping | Geschatte levering tussen di, 28 mei en wo, 29 mei tot 43230 |
Verwerkingstijd |
---|
Wordt doorgaans binnen 1 werkdag na ontvangst van betaling verzonden. |
Belasting |
---|
Verkoper berekent btw in |
Btw voor objectnr.196147090815
Btw voor objectnr.196147090815
Verkoper berekent btw op objecten die naar de volgende staten worden verzonden:
Staat | Btw-tarief |
---|---|
Missouri (MO) | 8.238% |
Retourbeleid
Nadat u het object hebt ontvangen, kunt u contact opnemen met de verkoper binnen | Terugbetaling wordt verstrekt als | Kosten voor retourzending |
---|---|---|
30 dagen | Geld terug | Verkoper betaalt voor retourzending |
De verkoper is verantwoordelijk voor de kosten van de retourzending.
Details retourbeleid |
---|
Retourzendingen geaccepteerd |
Betalingsgegevens
Betalingsmethoden
Ingeschreven als zakelijke verkoper
Feedback verkoper (5.192.780)
l***r (348)- Feedback gegeven door koper.
Afgelopen maand
Geverifieerde aankoop
Item as advertised. I recommend this seller. Thanks!
q***_ (181)- Feedback gegeven door koper.
Afgelopen maand
Geverifieerde aankoop
Wonderful
g***g (2091)- Feedback gegeven door koper.
Afgelopen maand
Geverifieerde aankoop
🌟🌟🌟🌟🌟