• Log InLog In
  • Register
Liquid`
Team Liquid Liquipedia
EST 02:36
CET 08:36
KST 16:36
  • 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
SC2 All-Star Invitational: Tournament Preview3RSL Revival - 2025 Season Finals Preview8RSL Season 3 - Playoffs Preview0RSL Season 3 - RO16 Groups C & D Preview0RSL Season 3 - RO16 Groups A & B Preview2
Community News
BSL Season 2025 - Full Overview and Conclusion2Weekly Cups (Jan 5-11): Clem wins big offline, Trigger upsets4$21,000 Rongyi Cup Season 3 announced (Jan 22-Feb 7)15Weekly Cups (Dec 29-Jan 4): Protoss rolls, 2v2 returns7[BSL21] Non-Korean Championship - Starts Jan 104
StarCraft 2
General
SC2 All-Star Invitational: Tournament Preview Stellar Fest "01" Jersey Charity Auction Weekly Cups (Jan 5-11): Clem wins big offline, Trigger upsets When will we find out if there are more tournament SC2 Spotted on the EWC 2026 list?
Tourneys
SC2 All-Star Invitational: Jan 17-18 OSC Season 13 World Championship SC2 AI Tournament 2026 Sparkling Tuna Cup - Weekly Open Tournament $21,000 Rongyi Cup Season 3 announced (Jan 22-Feb 7)
Strategy
Simple Questions Simple Answers
Custom Maps
Map Editor closed ?
External Content
Mutation # 508 Violent Night Mutation # 507 Well Trained Mutation # 506 Warp Zone Mutation # 505 Rise From Ashes
Brood War
General
BGH Auto Balance -> http://bghmmr.eu/ [ASL21] Potential Map Candidates BSL Season 2025 - Full Overview and Conclusion BW General Discussion StarCraft & BroodWar Campaign Speedrun Quest
Tourneys
[BSL21] Non-Korean Championship - Starts Jan 10 Small VOD Thread 2.0 Azhi's Colosseum - Season 2 [Megathread] Daily Proleagues
Strategy
Soma's 9 hatch build from ASL Game 2 Simple Questions, Simple Answers Game Theory for Starcraft Current Meta
Other Games
General Games
Stormgate/Frost Giant Megathread Beyond All Reason Awesome Games Done Quick 2026! Nintendo Switch Thread Mechabellum
Dota 2
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 Heroes of StarCraft mini-set
TL Mafia
Vanilla Mini Mafia Mafia Game Mode Feedback/Ideas
Community
General
Russo-Ukrainian War Thread US Politics Mega-thread Canadian Politics Mega-thread European Politico-economics QA Mega-thread Things Aren’t Peaceful in Palestine
Fan Clubs
Media & Entertainment
Anime Discussion Thread [Manga] One Piece
Sports
2024 - 2026 Football Thread
World Cup 2022
Tech Support
Computer Build, Upgrade & Buying Resource Thread
TL Community
The Automated Ban List
Blogs
My 2025 Magic: The Gathering…
DARKING
Physical Exercise (HIIT) Bef…
TrAiDoS
Life Update and thoughts.
FuDDx
How do archons sleep?
8882
James Bond movies ranking - pa…
Topin
Customize Sidebar...

Website Feedback

Closed Threads



Active: 2480 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
All-Star Invitational
03:00
Day 1
Classic vs Clem
Reynor vs Maru
WardiTV1013
PiGStarcraft599
IndyStarCraft 242
BRAT_OK 167
3DClanTV 99
CranKy Ducklings83
EnkiAlexander 67
IntoTheiNu 16
LiquipediaDiscussion
[ Submit Event ]
Live Streams
Refresh
StarCraft 2
PiGStarcraft599
IndyStarCraft 242
BRAT_OK 167
UpATreeSC 80
StarCraft: Brood War
Nal_rA 203
910 128
ZergMaN 119
ToSsGirL 98
soO 91
Shuttle 87
JulyZerg 67
GoRush 39
NotJumperer 10
Dota 2
NeuroSwarm137
League of Legends
JimRising 771
C9.Mang0665
Counter-Strike
Foxcn156
Other Games
summit1g7613
RuFF_SC283
Livibee78
minikerr41
Organizations
Other Games
gamesdonequick2367
StarCraft: Brood War
UltimateBattle 75
StarCraft 2
Blizzard YouTube
StarCraft: Brood War
BSLTrovo
sctven
[ Show 11 non-featured ]
StarCraft 2
• AfreecaTV YouTube
• intothetv
• Kozan
• IndyKCrew
• LaughNgamezSOOP
• Migwel
• sooper7s
StarCraft: Brood War
• BSLYoutube
• STPLYoutube
• ZZZeroYoutube
League of Legends
• Stunt535
Upcoming Events
uThermal 2v2 Circuit
4h 25m
AI Arena Tournament
12h 25m
BSL 21
12h 25m
Mihu vs eOnzErG
Dewalt vs Sziky
Bonyth vs DuGu
XuanXuan vs eOnzErG
Dewalt vs eOnzErG
All-Star Invitational
18h 40m
MMA vs DongRaeGu
Rogue vs Oliveira
Sparkling Tuna Cup
1d 2h
OSC
1d 4h
BSL 21
1d 12h
Bonyth vs Sziky
Mihu vs QiaoGege
Sziky vs XuanXuan
eOnzErG vs QiaoGege
Mihu vs DuGu
Dewalt vs Bonyth
Replay Cast
2 days
Wardi Open
2 days
Monday Night Weeklies
2 days
[ Show More ]
The PondCast
4 days
Replay Cast
5 days
Big Brain Bouts
6 days
Serral vs TBD
Liquipedia Results

Completed

Escore Tournament S1: W4
Big Gabe Cup #3
NA Kuram Kup

Ongoing

C-Race Season 1
IPSL Winter 2025-26
BSL 21 Non-Korean Championship
CSL 2025 WINTER (S19)
KCM Race Survival 2026 Season 1
OSC Championship Season 13
SC2 All-Star Inv. 2025
Underdog Cup #3
BLAST Bounty Winter Qual
eXTREMESLAND 2025
SL Budapest Major 2025
ESL Impact League Season 8
BLAST Rivals Fall 2025
IEM Chengdu 2025

Upcoming

Escore Tournament S1: W5
Acropolis #4
IPSL Spring 2026
Bellum Gens Elite Stara Zagora 2026
HSC XXVIII
Rongyi Cup S3
Nations Cup 2026
Stake Ranked Episode 1
BLAST Open Spring 2026
ESL Pro League Season 23
ESL Pro League Season 23
PGL Cluj-Napoca 2026
IEM Kraków 2026
BLAST Bounty Winter 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.