お届け先を選択
すべての出品を見る
Kindleアプリのロゴ画像

無料のKindleアプリをダウンロードして、スマートフォン、タブレット、またはコンピューターで今すぐKindle本を読むことができます。Kindleデバイスは必要ありません。

ウェブ版Kindleなら、お使いのブラウザですぐにお読みいただけます。

携帯電話のカメラを使用する - 以下のコードをスキャンし、Kindleアプリをダウンロードしてください。

KindleアプリをダウンロードするためのQRコード

The Haskell Road To Logic, Maths And Programming (Texts in Computing) ペーパーバック – 2004/5/31

英語版 Kees Doets (著), Jan van Eijck (著)
4.4 5つ星のうち4.4 40個の評価
すべての形式と版を表示
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
Previous page
  1. 本の長さ
    444ページ
  2. 言語
    英語
  3. 出版社
    Kings College Pubns
  4. 発売日
    2004/5/31
  5. 寸法
    15.6 x 2.54 x 23.39 cm
  6. ISBN-10
    0954300696
  7. ISBN-13
    978-0954300692
  8. すべての詳細を表示
Next page

登録情報

  • 出版社 ‏ : ‎ Kings College Pubns (2004/5/31)
  • 発売日 ‏ : ‎ 2004/5/31
  • 言語 ‏ : ‎ 英語
  • ペーパーバック ‏ : ‎ 444ページ
  • ISBN-10 ‏ : ‎ 0954300696
  • ISBN-13 ‏ : ‎ 978-0954300692
  • 寸法 ‏ : ‎ 15.6 x 2.54 x 23.39 cm
  • カスタマーレビュー:
    4.4 5つ星のうち4.4 40個の評価

カスタマーレビュー

星5つ中4.4つ
5つのうち4.4つ
40グローバルレーティング

この商品をレビュー

他のお客様にも意見を伝えましょう
カスタマーレビューを書く

上位レビュー、対象国： 日本

日本からの0件のレビューとお客様による0件の評価があります

他の国からのトップレビュー

すべてのレビューを日本語に翻訳
Drake
5つ星のうち2.0 Poor printing, *extremely* small font (about 8-9pt max)
2023年10月20日にカナダでレビュー済み
Amazonで購入
the font is SOOO small...... looks like a great book but the margins are WAY too large, looks like a bad impression I can't believe they let that be printed..
1人のお客様がこれが役に立ったと考えています
 レポート
Marcus
5つ星のうち5.0 Maths made understandable to programmers
2020年9月10日に英国でレビュー済み
Amazonで購入
I've always found the purer bits of maths such as set theory and the methods of mathematical proof too abstract to grasp. The use of Haskell in this book makes them much easier to understand for an old computer programmer like me, and this book presents the ideas very clearly, and starting from a pretty low level.

It's also an introduction to Haskell, which I did not know before. A very beautiful language, which is introduced in a very clear way here, but you need more than this book if you want to take it seriously as a language. There is nothing about monads, or performance issues, or any of the other things you need for real world Haskell.

Necessary but not sufficient.
レポート
Qual Highety
5つ星のうち5.0 Enlightening
2010年9月17日にアメリカ合衆国でレビュー済み
Amazonで購入
As a professional programmer who dropped out of college too early to get a good grounding in mathematics, this book has been a wonder to me. I've been trying to learn more advanced mathematics in the last year or so, and struggled because I didn't know how to do proofs.

Haskell is prominent in the title, but is secondary in the book. The vast majority of my time has been spent reading and performing proofs with with pencil and paper. The mathematics portions are all fairly rigorous. Once proofs are fully introduced, nearly all the exercises are proving theorems given in the book, or providing counter examples. There isn't much in the way of computational type exercises I've seen in some other discrete math texts, stuff like "what's the transitive closure of this relation". Instead, a theorem will be given and the author will ask you to prove it.

The Haskell exercises typically follow pure math introductions and exercises, and are used to help develop a stronger, more intuitive understating of the subjects. I can now write enough Haskell to take on the exercises, but to this point, the Haskell has all be very compact - 10 lines of code to answer a question at the max, usually more like 3. There's no way I could go and do something 'practical' with Haskell at this point, but I can grok some of it and am starting to appreciate functional programming.

This is easily the most challenging self study book I've taken on, but also the most rewarding. Not only have I gained proof writing knowledge, and a solid understanding of the fundamentals of modern mathematics, but it's helped me develop a measure of discipline in thought. I've noticed improvements in the clarity of my day to day software development - in design, development, and verification. The methodical approach to breaking down a proof into cases and sub-cases has been most helpful in that regard.

I recommend this to anyone, especially developers who haven't had the benefit of a thorough mathematical education.
29人のお客様がこれが役に立ったと考えています
 レポート
Theophilus Boakye
5つ星のうち4.0 Sound logic.
2020年12月26日に英国でレビュー済み
Amazonで購入
I am interested in electronics, and a friend recommended I study logic. So I got this book because it was within my budget. Worth it.
レポート
eric archambault
5つ星のうち4.0 Great for people with a logic background who want to learn Haskell
2018年10月17日にドイツでレビュー済み
Amazonで購入
If you know your way around first order logic and model theory but don't know where to begin with Haskell, this book is for you because it teaches you the language in terms you will be familiar with. Sometimes the chapters are more math/logic and less programming though, which is less helpful if you are looking to practice some code.
レポート