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

We Mourn Our Craft

Speed up responses with fast mode

Hoot: Scheme on WebAssembly

U.S. Jobs Disappear at Fastest January Pace Since Great Recession

Stories from 25 Years of Software Development

OpenCiv3: Open-source, cross-platform reimagining of Civilization III

Al Lowe on model trains, funny deaths and working with Disney

The AI boom is causing shortages everywhere else

Brookhaven Lab's RHIC Concludes 25-Year Run with Final Collisions

The Waymo World Model

Reinforcement Learning from Human Feedback

Start all of your commands with a comma (2009)

I Write Games in C (yes, C)

SectorC: A C Compiler in 512 bytes

Vocal Guide – belt sing without killing yourself

France's homegrown open source online office suite

Coding agents have replaced every framework I used

A Fresh Look at IBM 3270 Information Display System

Selection Rather Than Prediction

History and Timeline of the Proco Rat Pedal (2021)

72M Points of Interest

Unseen Footage of Atari Battlezone Arcade Cabinet Production

Where did all the starships go?

Show HN: I saw this cool navigation reveal, so I made a simple HTML+CSS version

Show HN: Look Ma, No Linux: Shell, App Installer, Vi, Cc on ESP32-S3 / BreezyBox

Learning from context is harder than we thought

Show HN: Kappal – CLI to Run Docker Compose YML on Kubernetes for Local Dev

Monty: A minimal, secure Python interpreter written in Rust for use by AI

Making geo joins faster with H3 indexes

Software factories and the agentic moment

We Mourn Our Craft

Speed up responses with fast mode

Hoot: Scheme on WebAssembly

U.S. Jobs Disappear at Fastest January Pace Since Great Recession

Stories from 25 Years of Software Development

OpenCiv3: Open-source, cross-platform reimagining of Civilization III

Al Lowe on model trains, funny deaths and working with Disney

The AI boom is causing shortages everywhere else

Brookhaven Lab's RHIC Concludes 25-Year Run with Final Collisions

The Waymo World Model

Reinforcement Learning from Human Feedback

Start all of your commands with a comma (2009)

I Write Games in C (yes, C)

SectorC: A C Compiler in 512 bytes

Vocal Guide – belt sing without killing yourself

France's homegrown open source online office suite

Coding agents have replaced every framework I used

A Fresh Look at IBM 3270 Information Display System

Selection Rather Than Prediction

History and Timeline of the Proco Rat Pedal (2021)

72M Points of Interest

Unseen Footage of Atari Battlezone Arcade Cabinet Production

Where did all the starships go?

Show HN: I saw this cool navigation reveal, so I made a simple HTML+CSS version

Show HN: Look Ma, No Linux: Shell, App Installer, Vi, Cc on ESP32-S3 / BreezyBox

Learning from context is harder than we thought

Show HN: Kappal – CLI to Run Docker Compose YML on Kubernetes for Local Dev

Monty: A minimal, secure Python interpreter written in Rust for use by AI

Making geo joins faster with H3 indexes

Software factories and the agentic moment

Discrete Mathematics: An Open Introduction [pdf]

Comments