- Kategorie:
- Język wydania: angielski
- EAN: 9780954300692
- Liczba stron: 450
- Wymiary: 15.6x23.4cm
- Data premiery: 01.01.2004
-
Sposób dostarczenia produktu fizycznegoSposoby i terminy dostawy:
- Kurier DPD - dostawa 1 dzień roboczy
- Punkty odbioru DPD - dostawa 1 dzień roboczy
- InPost Paczkomaty 24/7 - dostawa 1 dzień roboczy
- ORLEN Paczka - dostawa 1 dzień roboczy
- Odbiór w Punktach Poczta, Żabka - dostawa 2 dni robocze
- Pocztex (dostawa do domu lub pracy) - dostawa 2 dni robocze
- Odbiór osobisty w księgarni PWN - dostawa 2-3 dni robocze
Ważne informacje:Czas oczekiwania na zamówiony towar = czas wysyłki produktu + dostawa przez przewoźnika- Całkowity czas oczekiwania na realizację zamówienia jest sumą czasu wysyłki podanej na stronie każdego produktu oraz czasu potrzebnego przewoźnikowi na dostarczenie paczki. Podane terminy dotyczą zawsze dni roboczych (od poniedziałku do piątku, z wyłączeniem dni wolnych od pracy).
- Wysyłkę zamówień prowadzimy jedynie na terenie Polski.
- Dostawa do Księgarni PWN, punktów ORLEN Paczka, stacji Orlen, sklepów Żabka oraz Paczkomatów InPost nie jest realizowana dla zamówień z płatnością przy odbiorze.
- Cena towaru na fakturze VAT jest podwyższona o ewentualny koszt transportu.
- W przypadku zamówienia kilku towarów koszt przesyłki wybranej przez Klienta zostanie podzielony i przyporządkowany proporcjonalnie do cen kupionych produktów.
- Produkty dostępne w PRZEDSPRZEDAŻY wysyłane są po dacie premiery wydawniczej.
The Haskell Road to Logic, Maths and Programming. Second Edition
(Książka)-
Druk: 2004
-
Autor: Kees Doets
-
Wydawca: College Publications
131,21 zł
Stan magazynowy:
Towar na zamówienie
Dostępność:
3-5 dni
Dostawa i płatność
Cennik dostaw
- Zamówienia od 299 zł wysyłamy GRATIS!
- Zamów z DPD (kurier lub punkty) do 19:30, a Twoją paczkę wysyłamy jeszcze dziś i dostarczymy jutro!
Uwaga! Dotyczy dni roboczych (poniedziałek-piątek, z bez dni wolnych od pracy) oraz towarów dostępnych w magazynie. Paczki dostarczamy wyłącznie na terenie Polski, jeśli wartość zamówienia przekroczy 500 zł nie oferujemy płatności przy odbiorze.
- Zamów z DPD (kurier lub punkty) do 19:30, a Twoją paczkę wysyłamy jeszcze dziś i dostarczymy jutro!
Uwaga! Dotyczy dni roboczych (poniedziałek-piątek, z bez dni wolnych od pracy) oraz towarów dostępnych w magazynie. Paczki dostarczamy wyłącznie na terenie Polski, jeśli wartość zamówienia przekroczy 500 zł nie oferujemy płatności przy odbiorze.
| Przedpłata (Przelewy24) do 299 zł | od 299 zł | |
|---|---|---|
| ORLEN Paczka |
9,99 zł | 0 zł |
| Odbiór w Punktach Poczta, Żabka | 10,99 zł | 0 zł |
| Pocztex | 11,99 zł | 0 zł |
| InPost Paczkomaty 24/7 |
13,99 zł | 0 zł |
| Kurier DPD |
12,49 zł | 0 zł |
| Punkty odbioru DPD |
10,99 zł | 0 zł |
| Odbiór w Księgarni PWN |
0 zł | 0 zł |
| Płatność przy odbiorze do 299 zł | od 299 zł | |
|---|---|---|
| Odbiór w Punktach Poczta, Żabka | 14,99 zł | 0 zł |
| Pocztex | 15,99 zł | 0 zł |
| Kurier DPD |
16,49 zł | 0 zł |
Dodaj do schowka
The Haskell Road to Logic, Maths and Programming. Second Edition
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
-
Inne z kategorii
-
Inne wydawcy
Inni Klienci oglądali również
Logic in Theology
A collection of essays devoted to the peculiarities of theological language and logic. The issues covered include such topics as the logic of miracles, the problem of God's omniscience, the application of non-classical logics to theology and the relati...
Gold Experience 2nd edition C1 Workbook
Consolidates the Student’s Book lessons with targeted practice, unit by unit Additional practice of reading, writing, speaking, listening and use of English skills Extensive grammar and vocabulary practice Complete prac...
Cutting Edge 3rd Edition Intermediate Student's Book with MyEnglishLab +DVD
Cutting Edge Third Edition builds on the distinctive task-based approach that has made previous editions of the course so popular.Engaging texts, new video content and a comprehensive digital package are just some of the features that make ...
Tartine: Revised Edition
This brilliantly revisited and beautifully rephotographed book is a totally updated edition of a go-to classic for home and professional bakers—from one of the most acclaimed and inspiring bakeries in the world.Tartine offers more tha...
AMINA - Polish Edition
Poruszająca historia kobiety, która rzuca wyzwanie ograniczeniom życia, w jakim przyszło jej egzystować. W ten sposób przyczynia się do zmiany nie tylko swej własnej sytuacji. Powieść podnosi problemy rzadko pojawiające się w hausański...
Continuous Delivery with Docker and Jenkins - Second Edition
Create a complete Continuous Delivery process using modern DevOps tools such as Docker, Kubernetes, Jenkins, Docker Hub, Ansible, GitHub and many more.Key Features:Build reliable and se...
Recenzje
Nikt nie dodał jeszcze recenzji. Bądź pierwszy!
Zgłoś nadużycie