Reddit mentions of The Haskell Road to Logic, Maths and Programming. Second Edition (Texts in Computing)

If you're planning on learning haskell (you should :D), why not do a book that teaches you both discrete maths and haskell at the same time?

There are atleast two books that do this:

• Haskell Road to Logic, Maths and Programming
  
  
• Discrete Mathematics Using a Computer
  
  Both books use Haskell in an effective way to teach you discrete mathematics. (They don't assume prior knowledge of Haskell).
  
  I've been working through the 2nd book and posting my notes and solutions here . You could compare solutions/notes and discuss stuff with me.

Depends on what kind of math you are looking for. For example, there is a middle school outreach program called Bootstrap World which is about teaching algebra using functional programming. You could take a look at their materials.

If you're looking for university-level math, there are some books like The Haskell Road to Logic, Maths, and Programming. I haven't read it, but I think it covers discrete math sort of topics.

The Haskell Road to Logic, Maths and Programming:

http://www.amazon.com/Haskell-Logic-Maths-Programming-Computing/dp/0954300696

You may also want to check out The Haskell Road to Logic, Maths and Programming.
This book focusses on logic and how to use it, so you get to learn proofs. It even hits corecursion and combinatorics. If you think math is pretty but you want to use it interactively as source code, this could be the book for you.

Hey mathit.

I'm 32, and just finished a 3 year full-time adult education school here in Germany to get the Abitur (SAT-level education) which allows me to study. I'm collecting my graduation certificate tomorrow, woooo!

Now, I'm going to study math in october and wanted to know what kind of extra prep you might recommend.

I'm currently reading How to Prove It and The Haskell Road to Logic, Maths and Programming.
Both overlap quite a bit, I think, only that the latter is more focused on executing proofs on a computer.

Now, I've just been looking into books that might ease the switch to uni-level math besides the 2 already mentioned and the most promising I found are these two:
How to Study for a Mathematics Degree and Bridging the Gap to University Mathematics.

Do you agree with my choices? What else do you recommend?

I found online courses to be ineffective, I prefer books.

What's your opinion, mathit?

Cheers and many thanks in advance!

The Haskell Road to Logic, Maths and Programming

http://amzn.com/0954300696

I read only the first chapter or two a long time ago. I don't remember much, but I do remember I was able to progress through the book and learn new things about both math and Haskell from the text.

I didn't have any trouble getting the outdated examples to work. I had read LYAH previously though, so I wasn't a complete beginner.

I would really enjoy hearing what others have thought about this book.

(Note: I wrote this elsewhere)

Discrete Mathematics. It teaches the basics of the following 5 key concepts in theoretical computer science:

• function
  
• set
  
• recursion
  
• proposition
  
• proof
  
  When you master these concepts, you will see that all hairy, formal definitions boil down to functions, sets, and propositions (with quantifiers). Recursion appears in many interesting structures in computer science, as well as in proofs of theorems (which are themselves propositions).
  
  I don't know of any good online introduction to discrete math, but here are a few book ideas.
  
  
• For a good textbook on discrete mathematics, check Schaum's Outline of Discrete Mathematics. It's also cheap.
  
• For a less textbook-ish overview written in an entertaining manner, Discrete Mathematics: Elementary and Beyond is my personal favourite.
  
• If you want to learn-by-doing, then The Haskell Road to Logic, Maths and Programming teaches you discrete math by having you manipulate discrete math concepts in the programming language Haskell. Here is a good free online Haskell tutorial.

You might be interested in The Haskell Road to Logic, Maths and Programming or just google haskell+math. Formal work seems to be navigating towards haskell now. My background is in power engineering, so I'm very familiar with numerical stuff, but lacking in discrete math. That's what I'm trying to patch.

The Haskell Road to Logic, Maths and Programming. I had already fallen in love with programming, and with Haskell, and this book showed me how well math, logic, and computer science play together. Shoutout to my aunt Trisha for giving me this book as a Christmas present in my junior year of high school

I posted this in /learnmath but didn't get any response so I'll give it a try here.

I'm a senior high school student and I'm learning linear algebra using Pavel Grinfeld's videos and programming in Haskell with this book.

What can I do to practice and apply concepts of linear algebra and programming?

Any recommended textbooks to complement the LA course?

Is it a good idea to solve project Euler problems in order to acquire programming/math skills?

Have you seen The Haskell Road to Logic, Maths, and Programming? It's a pretty decent intro to higher math, and each chapter has a Haskell module.

The Haskell Road to Logic, Maths and Programming takes you through a lot of the basic “essential” math for CS, much of what would be covered in a typical discrete math course, but taught along side Haskell which is fun!

The Haskell Road to Logic, Maths, and Programming.