• Log InLog In
  • Register
Liquid`
Team Liquid Liquipedia
EDT 12:04
CET 17:04
KST 01:04
  • 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 - Presented by Monster Energy4ByuL: The Forgotten Master of ZvT30Behind the Blue - Team Liquid History Book19Clem wins HomeStory Cup 289HomeStory Cup 28 - Info & Preview13
Community News
Blizzard Classic Cup @ BlizzCon 2026 - $100k prize pool23Weekly Cups (March 9-15): herO, Clem, ByuN win32026 KungFu Cup Announcement6BGE Stara Zagora 2026 cancelled12Blizzard Classic Cup - Tastosis announced as captains18
StarCraft 2
General
Serral: 24’ EWC form was hurt by military service Blizzard Classic Cup @ BlizzCon 2026 - $100k prize pool Weekly Cups (March 9-15): herO, Clem, ByuN win Team Liquid Map Contest #22 - Presented by Monster Energy Weekly Cups (August 25-31): Clem's Last Straw?
Tourneys
WardiTV Team League Season 10 KSL Week 87 [GSL CK] #2: Team Classic vs. Team Solar 2026 KungFu Cup Announcement [GSL CK] #1: Team Maru vs. Team herO
Strategy
Custom Maps
Publishing has been re-enabled! [Feb 24th 2026] Map Editor closed ?
External Content
The PondCast: SC2 News & Results Mutation # 517 Distant Threat Mutation # 516 Specter of Death Mutation # 515 Together Forever
Brood War
General
JaeDong's form before ASL ASL21 General Discussion BGH Auto Balance -> http://bghmmr.eu/ Gypsy to Korea BSL Season 22
Tourneys
Small VOD Thread 2.0 [Megathread] Daily Proleagues [BSL22] Open Qualifiers & Ladder Tours IPSL Spring 2026 is here!
Strategy
Simple Questions, Simple Answers Soma's 9 hatch build from ASL Game 2 Fighting Spirit mining rates Zealot bombing is no longer popular?
Other Games
General Games
Nintendo Switch Thread Path of Exile General RTS Discussion Thread Stormgate/Frost Giant Megathread Dawn of War IV
Dota 2
Official 'what is Dota anymore' discussion The Story of Wings Gaming
League of Legends
Heroes of the Storm
Simple Questions, Simple Answers Heroes of the Storm 2.0
Hearthstone
Deck construction bug Heroes of StarCraft mini-set
TL Mafia
Five o'clock TL Mafia Mafia Game Mode Feedback/Ideas Vanilla Mini Mafia TL Mafia Community Thread
Community
General
US Politics Mega-thread Things Aren’t Peaceful in Palestine Russo-Ukrainian War Thread Mexico's Drug War Canadian Politics Mega-thread
Fan Clubs
The IdrA Fan Club
Media & Entertainment
[Req][Books] Good Fantasy/SciFi books [Manga] One Piece Movie Discussion!
Sports
2024 - 2026 Football Thread Formula 1 Discussion Tokyo Olympics 2021 Thread General nutrition recommendations Cricket [SPORT]
World Cup 2022
Tech Support
Laptop capable of using Photoshop Lightroom?
TL Community
The Automated Ban List
Blogs
Funny Nicknames
LUCKY_NOOB
Money Laundering In Video Ga…
TrAiDoS
Iranian anarchists: organize…
XenOsky
FS++
Kraekkling
Shocked by a laser…
Spydermine0240
Unintentional protectionism…
Uldridge
ASL S21 English Commentary…
namkraft
Customize Sidebar...

Website Feedback

Closed Threads



Active: 1751 users

Discrete Math is bullshit - Page 5

Blogs > Hizzo
Post a Reply
Prev 1 2 3 4 5 All
TylerThaCreator
Profile Blog Joined May 2011
United States906 Posts
February 18 2012 00:55 GMT
#81
On February 18 2012 09:22 SerpentFlame wrote:
Show nested quote +
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.


But the proofs done in these classes have literally 0 relation to algorithms and their derivations. That's the problem that me and my fellow discrete-sufferers are dealing with.
aka SethN
Bommes
Profile Joined June 2010
Germany1226 Posts
Last Edited: 2012-02-18 01:37:25
February 18 2012 01:24 GMT
#82
On February 18 2012 00:57 TylerThaCreator wrote:
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?


Wait, your math classes are directly linked to cs? I study cs 2nd year in Germany and as the math faculties (which are really good at our university, among the best in germany even) manage all the lectures we rarely get any direct applications or links to cs at all in most of the lectures. Pretty much all of it is just the logic and the proofs behind the math and often just an abstract view on the applied math that you would see if you had to solve a problem in science or in an exercise. Our calculus/mathematical analysis lecture had no link to cs at all if I recall correctly, and half of the exam were proofs about cauchy convergency, continuity and stuff like that, we were really grateful about any task where you could actually "calculate" something like an integral, a convergency radius or an induction proof without thinking too much about it.

In contrast to that our discrete math lecture was really refreshing and I personally thought most of it was applicable, so I'm pretty baffled how much hate it gets here. Graph theory is as close as it can get to algorithms&data structures, combinatorics is always helpful pretty much everywhere and our lecture also had a good portion of information about algebraic structures like fields, rings, groups etc., also modulo calculation rules and the math behind it, which is used a lot in programming. The basic logical structures with de morgan's rules etc. are also pretty important if you look at how the logic of a computer is built. I don't see how it should be useless for cs.

Of course it wasn't super exciting and I think math lectures are dull in general, but besides numerical analysis it was one of my favourite math lectures. Numerical analysis was the only lecture that had a ton of applications presented for us in the lecture, so most of our class liked it more than the other math lectures.
Nehsb
Profile Joined May 2009
United States380 Posts
Last Edited: 2012-02-18 01:25:44
February 18 2012 01:24 GMT
#83
On February 18 2012 09:55 TylerThaCreator wrote:
Show nested quote +
On February 18 2012 09:22 SerpentFlame wrote:
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.


But the proofs done in these classes have literally 0 relation to algorithms and their derivations. That's the problem that me and my fellow discrete-sufferers are dealing with.


What exactly are you doing? Your earlier post only mentioned "probability stuff" do you mean basic probability counting methods or proving theorems about probability spaces?

Discrete math is stuff like graphs, etc, which should be quite relatable to cs.
mmp
Profile Blog Joined April 2009
United States2130 Posts
February 18 2012 04:07 GMT
#84
The "problem" with discrete math in US CS curriculum is that the math is actually very basic stuff, but CS people who aren't also studying math aren't trained for mathematical rigor. So the things that we're asked to prove seem intuitive, we just want to wave our hands -- but the point of the class is to show how something that may border on intuition, or perhaps is too complicated to intuitively derive, might be proven.

What you end up with is a smorgasbord of intro probability, logic, combinatorics, number theory, and who knows what else. In retrospect (I have a degree :p), this is probably for the best. CS students need to be familiar with these things to be capable, and probably will need to take deeper math classes as is appropriate for their specialization, but there just isn't enough time in a 4-year course to double an engineering degree with a math degree (not unless you work your ass off, anyway).

The short of it is, if you take real math classes, then classes like this become a joke. But there isn't enough time in your day to be meditating on obscure math proofs when your time is better spent in lab.

As for relevance, it's all relevant introductory material depending on where you end up. Understanding RSA & number theory is damn important if you go into computer security, and beyond that you need to learn abstract algebra (that wasn't in Swordfish ).

Pedantic proofs are no fun. But there will come a time when you're working on a problem and something that seems obvious isn't working, and you have no choice but to break it down into definite terms. Whether you write it out formally or solve it in your head, at some point you need to decide if something you do not already know is true or false.

I think structural induction is pretty cool when it is useful.
I (λ (foo) (and (<3 foo) ( T_T foo) (RAGE foo) )) Starcraft
Prev 1 2 3 4 5 All
Please log in or register to reply.
Live Events Refresh
WardiTV Team League
12:00
Group B
WardiTV831
IndyStarCraft 148
Liquipedia
[ Submit Event ]
Live Streams
Refresh
StarCraft 2
Lowko448
IndyStarCraft 148
ProTech122
RotterdaM 114
LamboSC2 19
UpATreeSC 5
StarCraft: Brood War
Britney 29140
Sea 1873
EffOrt 1224
Larva 684
ZerO 652
Mini 587
Soma 566
Stork 489
BeSt 483
Light 315
[ Show more ]
Rush 287
Snow 264
hero 125
Mind 105
Sharp 98
Backho 49
Barracks 48
Movie 41
ToSsGirL 35
soO 25
Bale 16
Rock 14
Shine 14
Terrorterran 9
eros_byul 1
Dota 2
Gorgc3924
qojqva2685
syndereN238
monkeys_forever88
League of Legends
JimRising 345
Counter-Strike
fl0m5088
Fnx 2671
zeus245
edward28
Super Smash Bros
Mew2King52
Heroes of the Storm
MindelVK7
Other Games
singsing2780
hiko896
B2W.Neo658
crisheroes162
Liquid`VortiX128
KnowMe121
ToD82
QueenE74
ArmadaUGS58
Trikslyr32
ZerO(Twitch)18
Organizations
Dota 2
PGL Dota 2 - Main Stream98
StarCraft 2
Blizzard YouTube
StarCraft: Brood War
BSLTrovo
sctven
[ Show 16 non-featured ]
StarCraft 2
• poizon28 43
• AfreecaTV YouTube
• intothetv
• Kozan
• IndyKCrew
• LaughNgamezSOOP
• Migwel
• sooper7s
StarCraft: Brood War
• blackmanpl 29
• HerbMon 15
• Michael_bg 7
• BSLYoutube
• STPLYoutube
• ZZZeroYoutube
Dota 2
• WagamamaTV397
League of Legends
• Jankos1983
Upcoming Events
Big Brain Bouts
56m
LetaleX vs Babymarine
Harstem vs GgMaChine
Clem vs Serral
Korean StarCraft League
10h 56m
RSL Revival
17h 56m
Maru vs Zoun
Cure vs ByuN
uThermal 2v2 Circuit
22h 56m
BSL
1d 3h
RSL Revival
1d 17h
herO vs MaxPax
Rogue vs TriGGeR
BSL
2 days
Replay Cast
2 days
Replay Cast
2 days
Afreeca Starleague
2 days
Sharp vs Scan
Rain vs Mong
[ Show More ]
Wardi Open
2 days
Monday Night Weeklies
3 days
Sparkling Tuna Cup
3 days
Afreeca Starleague
3 days
Soulkey vs Ample
JyJ vs sSak
Replay Cast
4 days
Afreeca Starleague
4 days
hero vs YSC
Larva vs Shine
Kung Fu Cup
4 days
Replay Cast
5 days
The PondCast
5 days
WardiTV Team League
5 days
Replay Cast
6 days
WardiTV Team League
6 days
Liquipedia Results

Completed

Proleague 2026-03-18
WardiTV Winter 2026
Underdog Cup #3

Ongoing

KCM Race Survival 2026 Season 1
Jeongseon Sooper Cup
BSL Season 22
CSL Elite League 2026
RSL Revival: Season 4
Nations Cup 2026
BLAST Open Spring 2026
ESL Pro League S23 Finals
ESL Pro League S23 Stage 1&2
PGL Cluj-Napoca 2026
IEM Kraków 2026
BLAST Bounty Winter 2026
BLAST Bounty Winter Qual

Upcoming

ASL Season 21
Acropolis #4 - TS6
2026 Changsha Offline CUP
CSL 2026 SPRING (S20)
CSL Season 20: Qualifier 1
Acropolis #4
IPSL Spring 2026
Kung Fu Cup 2026 Grand Finals
HSC XXIX
uThermal 2v2 2026 Main Event
NationLESS Cup
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
CCT Season 3 Global Finals
IEM Rio 2026
PGL Bucharest 2026
Stake Ranked Episode 1
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.