Discrete Mathematics: An Open Introduction [pdf]

https://discrete.openmathbooks.org/pdfs/dmoi4.pdf

239•simonpure•8mo ago

Comments

WhitneyLand•8mo ago

Think this would be a great course for high school or even middle school. No plug and chug that makes it a grind, plus a great intro to proofs and deeper mathematical thinking.

redczar•8mo ago

I taught mathematics for 30 years at the college level. This is a college level textbook and it is not appropriate for either high school or middle school. Very few students at that level would be able to understand this material.

vouaobrasil•8mo ago

Not so sure. There are quite a lot of bright high school students that could indeed understand it. Maybe not in general but for a special interest group for sure. The local university had a group covering stuff like this and I found it to be very fun as a high school student, and there were at least 5 people that I went to school with that could easily handle this material (and I didn't go to some special school, either).

chongli•8mo ago

Unless you’re talking about an elite private school where 5 student class sizes are the norm, no, a discrete math course is not appropriate for high school students.

I took an intro discrete math course in second year of university (at a school which is easily top 5 in math and engineering in my country) and I along with most of my peers struggled intensely with it, despite all of us having completed the proof-heavy courses in first year.

On the other hand, I routinely work with high school students who are unable to multiply a pair of single digit numbers without a calculator.

dr_kiszonka•8mo ago

I need to develop more intuition and maturity to understand a few relatively math-heavy engineering methods and ML/DL papers. Would you have any recommendations for not very bright college students? Perhaps something similar to Calculus Made Easy? Also, have you ever taught math using software like Mathematica or SageMath? (I graduated from college a long while ago and don't really have the bandwidth to solve problem sets by hand. I never enjoyed it or learned much from it.)

throwaway81523•8mo ago

Unfortunately the best way to develop intuition is to solve problem sets :). And for ML to make sense, understanding some probability theory might be more important than understanding calculus. In math heavy papers you'll need calculus and linear algebra too, but it's going to be hard to understand them without a fair amount of prior study. I took lots of math classes and wrote out problem sets, and I still can't read many of those papers.

anthk•8mo ago

Discrete Math it's far easier than Calculus with infinitesimals, limits and curves everywhere.

As a programmer with Lisp experienc but not HS-er, I'd say that any kid learning Python would be at home with Discrete Math, or most Elementary kids playing RPG's/JRPG's at home.

chongli•8mo ago

Here’s a sample problem from discrete math when I took it in university:

For any integer n ≥ 0, let Cn be the set of all integer compositions of n with odd number of parts, and each part is congruent to 1 modulo 3. Prove that:

    |Cn| = [x^n] (x - x^4)/(1 - x^2 - 2x^3 + x^6)

Where [x^n] indicates the coefficient of the x^n term in the formal power series generated by the rational function (rational representation of the ordinary generating function).

I doubt many elementary school students would be able to solve problems like this.

rak1507•8mo ago

Why not? All that is really required is knowing 1/(1-x) = 1+x+x^2+... and a bit of algebraic manipulation.

chongli•8mo ago

And the idea of a formal power series. And integer compositions. And combinatorial enumeration (counting sets in different ways for a proof). And a bit of set theory (cardinality of sets).

There is a whole lot of background stuff here that elementary school students do not have. Way more than what you’ve stated.

rak1507•8mo ago

You definitely don't need to know any of that background to be able to arrive at the answer. To fully understand everything maybe, but all it takes is:

a = x^1 + x^4 + x^7 + ... = x(1 + x^3 + x^6 + ...) = x/(1-x^3)

a + a^3 + a^5 + ... = a(1 + a^2 + a^4 + ...) = a/(1-a^2)

Substitute + simplify. I don't think this is beyond a (fairly smart) elementary school student.

chongli•8mo ago

The question doesn’t ask for an answer, it asks for a proof. You can’t just write a bunch of algebra and call it a day. You have to justify all of your arguments.

rak1507•8mo ago

There aren't really any complicated arguments being made, so I don't think a proof would be that involved.

redczar•8mo ago

You obviously have not taught mathematics to high school students.

cyberax•8mo ago

On the other hand, all the analysis really boils down to exploiting continuity and smoothness of functions. Once you get that, the epsilon-delta formulation becomes really obvious. And then you just keep building on top of it, adding layers and layers of abstraction, just like with programming.

With discrete math, there are really no unifying themes.

anthk•8mo ago

I think of these with analogues with pixel rendering in order to understand integration and diferentiation on an intuitive way.

Once you 'see' how triangles/slopes are drawn on a GB/GBA, you begin to understand limits.

derivative of x^2 = 2x and a neglibile pixel/point that shouldn't be there but it 'exists' to show a changing factor.

elbear•8mo ago

I would expect people to be more comfortable with discrete math, because we are more used to thinking of separate things as opposed to things without a boundry, so to say. There are exceptions to the latter, of course, like air, warmth, rain, etc.

WhitneyLand•8mo ago

I meant more the subject itself rather than this particular textbook, but I’m curious about your opinion in general.

I came to this opinion after taking it in college and not recalling very much in the way of needed prerequisites, but maybe this is a selective memory…

What are some of the biggest things needed beyond algebra?

Jtsummers•8mo ago

Two past discussions:

https://news.ycombinator.com/item?id=41267478 - Discussion on the 4th edition from 9 months ago.

https://news.ycombinator.com/item?id=23214961 - Discussion on the 3rd edition from 5 years ago.

totetsu•8mo ago

I love Cliff Stoll's introduction to this topic https://www.youtube.com/watch?v=W18FDEA1jRQ

eabeezxjc•8mo ago

where is Polish translations?

barrenko•8mo ago

This is on my todo list for just after https://slc.openlogicproject.org/.

giik•8mo ago

I am yet to find a better introduction than Busby and Kolman's "Introductory Discrete Structures with Applications".

Beautifully written, concise, very accessible with the precise right amount of formalism.

http://books.google.com/books/about/Introductory_Discrete_St...

3abiton•8mo ago

During my research years, we had to grind on Combinatorial Optimization book by Korte and Bygen for the weekly book reviews. Safe to say, it was not an introductory work. Still it was fun seeing the different examples my colleague would bring up during those meetings.

anthk•8mo ago

Another CC book on discrete Math it's Gentle Introduction to the Art of Mathematics.

Dropbysometime•8mo ago

60 year old. still having trouble with math. Thank for this topic and both simple pdf.

briangriffinfan•8mo ago

This is already brilliant! I feel like giving myself a discrete math refresher.

miki123211•8mo ago

> The entire book is available for free as an interactive online ebook. This should work well on all screen sizes, including smart phones, and work well with screen readers for visually impaired students. Hints and solutions to examples and exercises are hidden but easily revealed by clicking on their links. Some exercises also allow you to enter and check your work, so you can try multiple times without spoiling the answer.

https://discrete.openmathbooks.org/dmoi4/

> The source files for this book are available on GitHub.

https://github.com/oscarlevin/discrete-book/

not-so-darkstar•8mo ago

there's more here https://textbooks.aimath.org/textbooks/approved-textbooks/

vidro3•8mo ago

Having just done a discrete math course the best resource has been Kimberley brehms videos on YouTube which follows very closely to a textbook though I can't recall the author at the moment

Busy for the Next Fifty to Sixty Bud

Imperative

Show HN: I decomposed 87 tasks to find where AI agents structurally collapse

I went back to Linux and it was a mistake

Octrafic – open-source AI-assisted API testing from the CLI

US Accuses China of Secret Nuclear Testing

Peacock. A New Programming Language

A postcard arrived: 'If you're reading this I'm dead, and I really liked you'

What to know about the software selloff

Show HN: Syntux – generative UI for websites, not agents

Microsoft appointed a quality czar. He has no direct reports and no budget

AI overlay that reads anything on your screen (invisible to screen capture)

Show HN: Seafloor, be up and running with OpenClaw in 20 seconds

Tesla turbine-inspired structure generates electricity using compressed air

State Department deleting 17 years of tweets (2009-2025); preservation needed

Learning to code, or building side projects with AI help, this one's for you

Effulgence RPG Engine [video]

Five disciplines discovered the same math independently – none of them knew

We Scanned an AI Assistant for Security Issues: 12,465 Vulnerabilities

Amazon no longer defend cloud customers against video patent infringement claims

Show HN: Medinilla – an OCPP compliant .NET back end (partially done)

How Does AI Distribute the Pie? Large Language Models and the Ultimatum Game

Resistance Infrastructure

Fire-juggling unicyclist caught performing on crossing

Restoring a lost 1981 Unix roguelike (protoHack) and preserving Hack 1.0.3

GPS and Time Dilation – Special and General Relativity

Show HN: Witnessd – Prove human authorship via hardware-bound jitter seals

Show HN: I built a clawdbot that texts like your crush

Scientists reverse Alzheimer's in mice and restore memory (2025)

Compiling Prolog to Forth [pdf]

Busy for the Next Fifty to Sixty Bud

Imperative

Show HN: I decomposed 87 tasks to find where AI agents structurally collapse

I went back to Linux and it was a mistake

Octrafic – open-source AI-assisted API testing from the CLI

US Accuses China of Secret Nuclear Testing

Peacock. A New Programming Language

A postcard arrived: 'If you're reading this I'm dead, and I really liked you'

What to know about the software selloff

Show HN: Syntux – generative UI for websites, not agents

Microsoft appointed a quality czar. He has no direct reports and no budget

AI overlay that reads anything on your screen (invisible to screen capture)

Show HN: Seafloor, be up and running with OpenClaw in 20 seconds

Tesla turbine-inspired structure generates electricity using compressed air

State Department deleting 17 years of tweets (2009-2025); preservation needed

Learning to code, or building side projects with AI help, this one's for you

Effulgence RPG Engine [video]

Five disciplines discovered the same math independently – none of them knew

We Scanned an AI Assistant for Security Issues: 12,465 Vulnerabilities

Amazon no longer defend cloud customers against video patent infringement claims

Show HN: Medinilla – an OCPP compliant .NET back end (partially done)

How Does AI Distribute the Pie? Large Language Models and the Ultimatum Game

Resistance Infrastructure

Fire-juggling unicyclist caught performing on crossing

Restoring a lost 1981 Unix roguelike (protoHack) and preserving Hack 1.0.3

GPS and Time Dilation – Special and General Relativity

Show HN: Witnessd – Prove human authorship via hardware-bound jitter seals

Show HN: I built a clawdbot that texts like your crush

Scientists reverse Alzheimer's in mice and restore memory (2025)

Compiling Prolog to Forth [pdf]

Discrete Mathematics: An Open Introduction [pdf]

Comments