• Log InLog In
  • Register
Liquid`
Team Liquid Liquipedia
EDT 07:20
CEST 13:20
KST 20:20
  • Home
  • Forum
  • Calendar
  • Streams
  • Liquipedia
  • Features
  • Store
  • EPT
  • TL+
  • StarCraft 2
  • Brood War
  • Smash
  • Heroes
  • Counter-Strike
  • Overwatch
  • Liquibet
  • Fantasy StarCraft
  • TLPD
  • StarCraft 2
  • Brood War
  • Blogs
Forum Sidebar
Events/Features
News
Featured News
Team Liquid Map Contest #22: Results and Winners7Code S Season 2 (2026): RO4 and Finals Preview12TL.net Map Contest #22 - Voting & Ladder Map Selection7Code S Season 2 (2026) - RO8 Preview8[ASL21] Finals Preview: Two Legacies21
Community News
ZeroSpace at Steam NextFest - Last free demo14Weekly Cups (June 8-14): Clem and Solar double, PTR tested0RSL: S6 Finals played at BlizzCon 202611Douyu Cup 2026: $20,000 Legends Event (June 26-28)10[BSL22] Non-Korean Championship from 13 to 28 June4
StarCraft 2
General
StarCraft II 5.0.16 PTR Patch Notes may 26th J188 – Nhà Cái Cá Cược Trực Tuyến Đẳng Cấp Châu Á Code S Season 2 (2026) - RO8 Preview Daily SC2 Player Grid - feedback wanted TL Poll: How do you feel about the 5.0.16 PTR balance changes?
Tourneys
Master Swan Open (Global Bronze-Master 2) GSL CK #4 20-21th June Crank Gathers Season 4: BW vs SC2 Team League Douyu Cup 2026: $20,000 Legends Event (June 26-28) Maestros of The Game 2 announcement and schedule !
Strategy
[G] Having the right mentality to improve
Custom Maps
Work In Progress Melee Maps [D]RTS in all its shapes and glory <3
External Content
Mutation # 530 One For All The PondCast: SC2 News & Results Mutation # 529 Opportunities Unleashed Mutation # 528 Infection Detected
Brood War
General
Fact based Zerg Upgrade Tier List vespene.gg — BW replays in browser BGH Auto Balance -> http://bghmmr.eu/ Data needed BW General Discussion
Tourneys
CSLAN 4 is Coming! [Megathread] Daily Proleagues Small VOD Thread 2.0 The Casual Games of the Week Thread
Strategy
Simple Questions, Simple Answers Relatively freeroll strategies Creating a full chart of Zerg builds Why doesn't anyone use restoration?
Other Games
General Games
Stormgate/Frost Giant Megathread ZeroSpace at Steam NextFest - Last free demo Nintendo Switch Thread Path of Exile ZeroSpace Megathread
Dota 2
Looking for a Dota Mentor Official 'what is Dota anymore' discussion
League of Legends
Heroes of the Storm
Simple Questions, Simple Answers Heroes of the Storm 2.0
Hearthstone
Deck construction bug
TL Mafia
Vanilla Mini Mafia {D-2} Late to making 20.06.2026 memorable [p]94718
Community
General
US Politics Mega-thread Russo-Ukrainian War Thread [H]Internet/Gaming Cafe Tips and Tricks The Games Industry And ATVI UK Politics Mega-thread
Fan Clubs
The HerO Fan Club! The herO Fan Club!
Media & Entertainment
Movie Discussion! [Req][Books] Good Fantasy/SciFi books [TV/BOOK] *SPOILERS* Game of Thrones Discussion
Sports
2024 - 2026 Football Thread McBoner: A hockey love story TeamLiquid Health and Fitness Initiative For 2023 Formula 1 Discussion Cricket [SPORT]
World Cup 2022
Tech Support
Computer Build, Upgrade & Buying Resource Thread Facing Challenges in Mobile App Development
TL Community
The Automated Ban List
Blogs
How To Predict Tilt in Espor…
TrAiDoS
An Exploration of th…
waywardstrategy
I'm an arrogant trash talke…
FlaShFTW
Gauntlet SC2: A Retrospectiv…
Ctone23
Why RTS gamers make better f…
gosubay
Customize Sidebar...

Website Feedback

Closed Threads



Active: 7686 users

Discrete Math is bullshit - Page 4

Blogs > Hizzo
Post a Reply
Prev 1 2 3 4 5 Next All
Geiko
Profile Blog Joined June 2010
France1980 Posts
February 17 2012 00:37 GMT
#61
Ok, can somebody help me clear things up ? In the USA, you guys actually do maths without proving anything ?

I don't understand all this talk about "not liking proofs" :/
geiko.813 (EU)
billy5000
Profile Blog Joined December 2010
United States865 Posts
February 17 2012 01:02 GMT
#62
^pretty much. the only time i had to prove stuff was in geometry in high school. we don't even have to prove stuff in cal3 and linear algebra in college. the profs show them in class (like how a formula is derived), but unless you're an aspiring math major you just do practice problems and you're good to go.

i'm taking discrete math this semester, and i think it's one of the most interesting classes i've taken. i feel like i'm in a philosophy class which uses math to explore logic. even if you're not particularly interested in this class, i don't see why anyone should complain. it's an easy class that covers a broad range of topics (assuming you at least do some of the exercises). in fact, they're much related to each other. However, the only hard part was to stop reasoning in everyday english, which may be frustrating to some people
Tiger got to hunt, bird got to fly; Man got to sit and wonder, 'Why, why, why?' Tiger got to sleep, bird got to land; Man got to tell himself he understand. Vonnegut
Cocojack
Profile Joined November 2008
United States22 Posts
February 17 2012 01:10 GMT
#63
Not liking proofs is a pretty...human behavior? In America, we don't usually do proofs till high school (geometry proofs, maybe epsilon-delta proofs in calc) or college (discrete math, foundations of algebra), so when students get there, they usually don't feel comfortable right away (not to mention the confusion from all the symbols that students have never seen before). That being said, a calculus class will usually show the proofs for all the theorems that are used, but students aren't normally expected to come up with them themselves, unless they're that easy.

In my experience, the reason people hate the kinds of "obvious" proofs in discrete math is because we haven't seperated what's "obvious" to us, based on intuition, and what's "obvious" in math. Plus, there's a significance to knowing that once something is proven, it's proven forever. Then we can forever use it to prove bigger, more complicated things. Hopefully keeping that in the back of one's head will make it slightly more bearable.

And sometimes they make you prove obvious things as an exercise to see if you know the syntax. It sounds stupid, since we're proud of our logic, but it's no worse than any other inane task a random class will throw at you.
"No comment." -Anonymous
]343[
Profile Blog Joined May 2008
United States10328 Posts
February 17 2012 05:49 GMT
#64
On February 17 2012 09:37 Geiko wrote:
Ok, can somebody help me clear things up ? In the USA, you guys actually do maths without proving anything ?

I don't understand all this talk about "not liking proofs" :/


So there are a few reasons why Americans (who aren't majoring in math) don't really like proofs:

- American secondary education does not emphasize rigor or proofwriting (as has been stated). Many Americans are introduced to proofwriting when they do "two-column proofs" in geometry... which essentially means "write down every single little step."
- Related: In a lot of intro-level math classes (especially those which aren't for math majors), "proofs" tend to be "show, with painstaking rigor, this obvious fact." Non-math majors taking intro classes aren't expected to do any actually difficult problems, so they're often forced to rigorously show a relatively easy result whose proof is uninteresting.
- Proofs are pretty hard to write, because they force you to actually understand what you're doing without handwaving. That's bad if you're not that interested in the material / problem (and is related to the above point).

But there are probably good reasons why Americans don't teach proofs in high school. Many of the teachers aren't well-trained in rigor, and it's disgustingly hard to grade a poorly-written proof as opposed to a numerical answer. When kids write things like "\sqrt{x+1} + \sqrt{x-1} is slightly less than 2\sqrt{x}, so if x = y^2, then \lfloor \sqrt{x+1} + \sqrt{x-1} \rfloor = 2y-1" (where x is a positive integer) you just want to tear your hair out... T__T

I'm all for teaching rigor and proof-writing earlier, but that's only if a) teachers are properly trained and willing to grade proofs and b) the students aren't bored to death by the inanity of the problems they're given.
Writer
hns
Profile Joined January 2010
Germany609 Posts
Last Edited: 2012-02-17 07:57:46
February 17 2012 07:47 GMT
#65
Oh man thanks everyone, I was opening this topic right when my next door colleague came to the office who happens to be a member of the discrete math group here in the math department. Ee-han timing.


Edit: Just to add that: Here in Germany, we usually don't do proofs in high school as well. However, our introductionary courses at the university are proof-heavy and there're always proofs as some exercises (also for the non-math majors who have to take math courses like mechanical or electrical engineering or whatever); however, in most cases, you're not supposed to give proofs in exams if you're not taking an exam for math majors. Still, in the first courses, we try to make it very clear to the students that higher mathematics is very different from the stuff they did at high school; so it's fine that they haven't seen rigorous proofs yet and we don't expect them to have, still, we expect them to learn and adapt to the "new" math.
ZerO, Action, Neo.G_Soulkey & FlaSh fanboy~~
opsayo
Profile Blog Joined July 2008
591 Posts
February 17 2012 10:50 GMT
#66
"real math" involves proofs

i'm sure being an undergrad though you know better than your professors
Disposition1989
Profile Blog Joined March 2011
Canada270 Posts
February 17 2012 15:15 GMT
#67
canada isnt much different either. we dont see a real proof til first year of university and even then its pretty basic. the further you go, the more it goes from diddling with functions/vectors/matrices to proving why you can use these methods. by fourth year, youre lucky to see a test less than 80% proofs. maybe slightly different in financial maths but pure maths its all you get. you find out whether you truly like math or not : )
BottleAbuser
Profile Blog Joined December 2007
Korea (South)1888 Posts
Last Edited: 2012-02-17 15:37:22
February 17 2012 15:34 GMT
#68
Don't like it? Don't take it... I, on the other hand, have been finding discrete math to be very useful. It is, as you noted, "useful" for algorithms. Like, you know, how computers decide how to route your post to the server. Or how to control the DB connections that keep the forum up.

"God, this arithmetic shit is so useless! How often am I adding the numbers 829 and 492 together in real life? I can't see how this is useful at all, other than maybe for algebra."

Oh, and higher maths is mostly useless irl. Mathematicians have nothing to do with all their pretty numbers, so they start putting in colors and calling it art. See what I did there?
Compilers are like boyfriends, you miss a period and they go crazy on you.
TG Manny
Profile Blog Joined September 2011
United States325 Posts
February 17 2012 15:35 GMT
#69
At first, I was like...what is this I don't even...

Then reading up on it, it just sounds more and more like you're frustrated with the thought process and when it is applicable rather than the theories themselves. You know, good subject/bad professor type stuff that can sour a student's attitude.

Real mathematics are everywhere in physics, engineering, and CS. Maybe my collective curriculum is different, but my maths/physics force a derivation of an equation before letting us use it (unless the derivation is beyond the capability of the student, ala Physics 1 students who are also calc 1 students, they cannot derive velocity of a particle when given an acceleration BECAUSE there has been little/no exposure to the integration process). An example was to prove that a point in space which I see is 2 meters long is truly infinite meters long (as it is a black hole). I couldn't whip out the equation related to optical relativity, but had to setup a proof and experiment to say what was true before stating the same equation and how it is a true relation of the area.

Maybe I see it in a much different light because of personal interests and experiences, but discrete mathematics are fundamental to doing a lot of math on the computer level.
Singularity is at hand...
TylerThaCreator
Profile Blog Joined May 2011
United States906 Posts
Last Edited: 2012-02-17 15:59:13
February 17 2012 15:57 GMT
#70
currently in 2nd year of studying cs undergrad as my major and I too share the pain of useless ass discrete structures/math. all the math majors are in this topic jumping down the not-so-mathematically gifted's collective throat and I really don't understand why. I did fine in my other math related courses, but these classes are just really dense and have 0 use compared to literally any other cs class...

I made it through 1 semester of discrete without doing any proofs and it wasn't too terrible, still rough getting through it. but this 2nd semester is getting completely ridiculous with complicated probability concepts that go way over my entire (aside from very few classmates) class's heads. There is seriously no link to any computer science at this point. just a math class disguised as a cs requirement and a cs class

when I say useless I mean literally all we do is probability, demorgans bullshit etc. How is any of this applicable to anything meaningful?
aka SethN
unichan
Profile Blog Joined March 2011
United States4223 Posts
February 17 2012 16:07 GMT
#71
I'm taking it right now, but it's really computer science based as the teacher is a computer science teacher, and it's pretty cool :>
Also I'm in high school so yeah. Our multivariable calc class and diffeqs was more numbers and less proofs than the actual university class I think, but we still did a lot of proof stuff, like green's stokes etc
I'm actually liking it so far, but those combinations/permutations are still so confusing/frustrating! haha
:)
hai2u
Profile Joined September 2011
688 Posts
February 17 2012 16:28 GMT
#72
discrete math is pretty important for CS. You will need it if you want to do well in some other CS courses down the line.
TylerThaCreator
Profile Blog Joined May 2011
United States906 Posts
February 17 2012 16:30 GMT
#73
On February 18 2012 01:28 hai2u wrote:
discrete math is pretty important for CS. You will need it if you want to do well in some other CS courses down the line.

can you be more specific? That's literally what everyone has posted in this topic...but it seems to be limited to cs courses that are continuations of discrete math only
aka SethN
Kalingingsong
Profile Joined September 2009
Canada633 Posts
February 17 2012 16:33 GMT
#74
discrete math is the most frustrating class imo, you can barely hear what the prof is saying most of the time.
Dess.JadeFalcon
corumjhaelen
Profile Blog Joined October 2009
France6884 Posts
February 17 2012 16:47 GMT
#75
I'd venture that a good part of people frustration is precisely because you've never been asked to do proofs before.
Proving so called "obvious stuff" is very important : it helps you familiarise with the concept even better than examples, and as we say in France "Ce qui se conçoit bien s'énonce clairement" (which more or less means that if you really understand something it should be easy to explain).
From what I see those "discrete maths" seem like a very good introduction to quite a few thing in cs, more or less everything with true algorithms in it.
As for a specific example, google pagerank is partially based on the Perron Frobenius Theorem (a linear algebra not totally trivial theorem).
Or during my internship this summer, I worked on the informatic security system of a nuclear reactor, and I was pretty happy to know De Morgan's laws.
Won't add much because I'm not familiar with the american curriculum.
‎numquam se plus agere quam nihil cum ageret, numquam minus solum esse quam cum solus esset
IowaEngineer
Profile Joined February 2012
2 Posts
February 17 2012 18:23 GMT
#76
Wow so many responses. I feel better for it.

I've gotten some other books on doing proofs and they are making up for my professor's shortcommings. Perhaps at the end of the course I will be thankful for all of these new ways of expressing myself. I loved proofs in geometry, and I really think that it will be more fun once we are moving beyond the intro steps. Statistics was hard and used the same language, but it meant something, so it was easier to relate to.

But man it is taking a lot of patience to sit through this part where you're not allowed to skip the most obvious steps...
if the shoe fits, wear it.
ymir233
Profile Blog Joined June 2010
United States8275 Posts
February 17 2012 22:31 GMT
#77
You realize that proving/deriving/generalizing stuff is most of what higher-level math is about...any computer can solve for an integral (that's why we say "reduced to quadratures" right) but no computer could have created Maxwell's Laws or proved Existence-Uniqueness for every given nonlinear continuous differential eqn in a box...without providing a general solution.

Engineers use algorithms, mathematicians actually find out new relations via proofs.
Come motivate me to be cynical about animus at http://infinityandone.blogspot.com/ // Stork proxy gates are beautiful.
Vestrel
Profile Blog Joined December 2010
Canada271 Posts
February 17 2012 22:40 GMT
#78
I'm taking a discrete math course this semester and it's kicking my ass and so much stuff is going over my head. Class average on the first quiz was ~60% and that's supposed to be a high grade. My first instinct is to blame the teacher but it probably wouldn't be right to think that..

I've always been 'ok' at math, never amazing, but I love programming, so I'm considering doing some software engineering program instead of CS >>

darkcloud8282
Profile Joined December 2010
Canada776 Posts
February 17 2012 23:15 GMT
#79
I don't see the point of doing proofs unless you are becoming a mathematician. You will simply use a formula that you are given and someone else has already proven it works.
SerpentFlame
Profile Blog Joined July 2008
418 Posts
Last Edited: 2012-02-18 00:24:30
February 18 2012 00:22 GMT
#80
On February 18 2012 08:15 darkcloud8282 wrote:
I don't see the point of doing proofs unless you are becoming a mathematician. You will simply use a formula that you are given and someone else has already proven it works.

To prove something is to understand. Understanding is everything: for example, in computer science, you absolutely need an understanding of algorithms if you want to be a real problem solver and not just a code monkey. Of course, for engineering and other disciplines, its sometimes enough not to understand why formulas work but just to know that they do.
I Wannabe[WHITE], the very BeSt[HyO], like Yo Hwan EVER Oz.......
Prev 1 2 3 4 5 Next All
Please log in or register to reply.
Live Events Refresh
WardiTV Spring Champion…
11:00
Playoffs
MaxPax vs SolarLIVE!
Classic vs Cure
TBD vs Clem
WardiTV610
TaKeTV 299
TKL 90
IndyStarCraft 21
LiquipediaDiscussion
[ Submit Event ]
Live Streams
Refresh
StarCraft 2
TKL 90
Railgan 68
trigger 50
IndyStarCraft 21
SHIN 10
StarCraft: Brood War
Britney 20607
Calm 15599
Shuttle 2103
Mini 1769
Hyuk 704
Horang2 640
firebathero 462
Zeus 236
actioN 196
Soma 167
[ Show more ]
Last 152
Leta 108
ggaemo 97
Pusan 83
Sharp 83
Liquid`Ret 78
PianO 76
ToSsGirL 65
JulyZerg 59
Hyun 44
HiyA 31
Shine 21
Aegong 21
910 20
Sacsri 17
Movie 16
ajuk12(nOOB) 13
scan(afreeca) 10
Dota 2
Dendi417
XcaliburYe4
League of Legends
JimRising 370
Other Games
B2W.Neo360
crisheroes226
KnowMe168
Lowko142
Trikslyr20
Organizations
Dota 2
PGL Dota 2 - Secondary Stream9870
Other Games
gamesdonequick714
StarCraft 2
Blizzard YouTube
StarCraft: Brood War
BSLTrovo
[ Show 13 non-featured ]
StarCraft 2
• StrangeGG 80
• Sammyuel 16
• AfreecaTV YouTube
• intothetv
• Kozan
• IndyKCrew
• LaughNgamezSOOP
• Migwel
• sooper7s
StarCraft: Brood War
• BSLYoutube
• STPLYoutube
• ZZZeroYoutube
League of Legends
• Jankos2432
Upcoming Events
GSL
40m
Maru vs ShoWTimE
Classic vs Reynor
herO vs Lambo
Solar vs Clem
IPSL
4h 40m
Bonyth vs Dewalt
BSL22 NKC (BSL vs China)
7h 40m
XuanXuan vs Jaystar
Mihu vs Messiah
eOnzErG vs Dewalt
Bonyth vs Jaystar
TerrOr vs Messiah
XuanXuan vs Mihu
eOnzErG vs Jaystar
Replay Cast
12h 40m
WardiTV Spring Champion…
23h 40m
GSL
1d
IPSL
1d 4h
Hawk vs Julia
Patches Events
1d 5h
BSL22 NKC (BSL vs China)
1d 7h
Dewalt vs Messiah
Bonyth vs Mihu
TerrOr vs XuanXuan
eOnzErG vs Messiah
Jaystar vs Mihu
Dewalt vs XuanXuan
Bonyth vs TerrOr
Replay Cast
1d 12h
[ Show More ]
WardiTV Weekly
1d 23h
Monday Night Weeklies
2 days
Sparkling Tuna Cup
2 days
The PondCast
3 days
Douyu Cup 2020
4 days
Oliveira vs Trap
Jieshi vs XY
soO vs FanTaSy
TY vs Coffee
Douyu Cup 2020
5 days
Neeb vs Impact
MacSed vs Cyan
Scarlett vs Kelazhur
INnoVation vs Dear
Douyu Cup 2020
6 days
Liquipedia Results

Completed

Proleague 2026-06-19
uThermal 2v2 2026 Main Event
Heroes Pulsing #2

Ongoing

IPSL Spring 2026
Acropolis #4
CSCL: Masked Kings S4
YSL S3
BSL 22 Non-Korean Championship
CSL Season 21: Qualifier 1
SCTL 2026 Spring
Maestros of the Game 2
WardiTV Spring 2026
Murky Cup 2026
IEM Cologne Major 2026
Stake Ranked Episode 2
CS Asia Championships 2026
Asian Champions League 2026
IEM Atlanta 2026
PGL Astana 2026
BLAST Rivals Spring 2026
IEM Rio 2026
PGL Bucharest 2026

Upcoming

CSL Season 21: Qualifier 2
CSL 2026 Summer (S21)
CSLAN 4
Blizzard Classic Cup 2026
Kung Fu Cup 2026 Grand Finals
RSL Revival: Season 6
CranK Gathers Season 4: BW vs SC2 Team League
HSC XXIX
Douyu Cup 2026
BCC 2026
Light HT
Heroes Pulsing #3
BLAST Open Fall 2026
Esports World Cup 2026
BLAST Bounty Summer 2026
BLAST Bounty Summer Qual
Stake Ranked Episode 3
XSE Pro League 2026
TLPD

1. ByuN
2. TY
3. Dark
4. Solar
5. Stats
6. Nerchio
7. sOs
8. soO
9. INnoVation
10. Elazer
1. Rain
2. Flash
3. EffOrt
4. Last
5. Bisu
6. Soulkey
7. Mini
8. Sharp
Sidebar Settings...

Advertising | Privacy Policy | Terms Of Use | Contact Us

Original banner artwork: Jim Warren
The contents of this webpage are copyright © 2026 TLnet. All Rights Reserved.