• Log InLog In
  • Register
Liquid`
Team Liquid Liquipedia
EST 04:50
CET 10:50
KST 18:50
  • 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
RSL Season 3 - RO16 Groups C & D Preview0RSL Season 3 - RO16 Groups A & B Preview2TL.net Map Contest #21: Winners12Intel X Team Liquid Seoul event: Showmatches and Meet the Pros10[ASL20] Finals Preview: Arrival13
Community News
[TLMC] Fall/Winter 2025 Ladder Map Rotation12Weekly Cups (Nov 3-9): Clem Conquers in Canada4SC: Evo Complete - Ranked Ladder OPEN ALPHA8StarCraft, SC2, HotS, WC3, Returning to Blizzcon!45$5,000+ WardiTV 2025 Championship7
StarCraft 2
General
Mech is the composition that needs teleportation t RotterdaM "Serral is the GOAT, and it's not close" RSL Season 3 - RO16 Groups C & D Preview [TLMC] Fall/Winter 2025 Ladder Map Rotation TL.net Map Contest #21: Winners
Tourneys
RSL Revival: Season 3 Sparkling Tuna Cup - Weekly Open Tournament Constellation Cup - Main Event - Stellar Fest Tenacious Turtle Tussle Master Swan Open (Global Bronze-Master 2)
Strategy
Custom Maps
Map Editor closed ?
External Content
Mutation # 499 Chilling Adaptation Mutation # 498 Wheel of Misfortune|Cradle of Death Mutation # 497 Battle Haredened Mutation # 496 Endless Infection
Brood War
General
FlaSh on: Biggest Problem With SnOw's Playstyle BW General Discussion What happened to TvZ on Retro? Brood War web app to calculate unit interactions [ASL20] Ask the mapmakers — Drop your questions
Tourneys
[Megathread] Daily Proleagues Small VOD Thread 2.0 [BSL21] RO32 Group D - Sunday 21:00 CET [BSL21] RO32 Group C - Saturday 21:00 CET
Strategy
PvZ map balance Current Meta Simple Questions, Simple Answers How to stay on top of macro?
Other Games
General Games
Path of Exile Stormgate/Frost Giant Megathread Nintendo Switch Thread Clair Obscur - Expedition 33 Beyond All Reason
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
TL Mafia Community Thread SPIRED by.ASL Mafia {211640}
Community
General
US Politics Mega-thread Russo-Ukrainian War Thread Things Aren’t Peaceful in Palestine Artificial Intelligence Thread Canadian Politics Mega-thread
Fan Clubs
White-Ra Fan Club The herO Fan Club!
Media & Entertainment
[Manga] One Piece Anime Discussion Thread Movie Discussion! Korean Music Discussion Series you have seen recently...
Sports
2024 - 2026 Football Thread Formula 1 Discussion NBA General Discussion MLB/Baseball 2023 TeamLiquid Health and Fitness Initiative For 2023
World Cup 2022
Tech Support
SC2 Client Relocalization [Change SC2 Language] Linksys AE2500 USB WIFI keeps disconnecting Computer Build, Upgrade & Buying Resource Thread
TL Community
The Automated Ban List
Blogs
Dyadica Gospel – a Pulp No…
Hildegard
Coffee x Performance in Espo…
TrAiDoS
Saturation point
Uldridge
DnB/metal remix FFO Mick Go…
ImbaTosS
Reality "theory" prov…
perfectspheres
Customize Sidebar...

Website Feedback

Closed Threads



Active: 2266 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
Next event in 10m
[ Submit Event ]
Live Streams
Refresh
StarCraft 2
Nina 164
TKL 89
Tasteless 48
Dewaltoss 45
Railgan 30
StarCraft: Brood War
Calm 13777
Britney 10988
Rain 2066
Hyuk 1405
Jaedong 660
Shuttle 447
Stork 314
PianO 216
Leta 177
Pusan 166
[ Show more ]
Soma 164
Mong 109
Hyun 98
Shinee 62
sorry 54
JulyZerg 45
Hm[arnc] 18
soO 18
Terrorterran 16
Movie 16
Bale 16
Noble 10
ajuk12(nOOB) 4
Dota 2
XaKoH 578
XcaliburYe268
NeuroSwarm97
League of Legends
JimRising 481
Counter-Strike
fl0m1829
zeus248
Other Games
summit1g14555
FrodaN2883
WinterStarcraft598
B2W.Neo218
KnowMe174
Mew2King69
Organizations
Dota 2
PGL Dota 2 - Main Stream12231
PGL Dota 2 - Secondary Stream1171
Other Games
gamesdonequick584
StarCraft 2
Blizzard YouTube
StarCraft: Brood War
BSLTrovo
sctven
[ Show 14 non-featured ]
StarCraft 2
• Berry_CruncH156
• LUISG 27
• AfreecaTV YouTube
• intothetv
• Kozan
• IndyKCrew
• LaughNgamezSOOP
• Migwel
• sooper7s
StarCraft: Brood War
• BSLYoutube
• STPLYoutube
• ZZZeroYoutube
League of Legends
• Lourlo1273
• Stunt1208
Upcoming Events
CranKy Ducklings
10m
RSL Revival
10m
herO vs Gerald
ByuN vs SHIN
Kung Fu Cup
2h 10m
Cure vs Reynor
Classic vs herO
IPSL
7h 10m
ZZZero vs rasowy
Napoleon vs KameZerg
OSC
9h 10m
BSL 21
10h 10m
Tarson vs Julia
Doodle vs OldBoy
eOnzErG vs WolFix
StRyKeR vs Aeternum
Sparkling Tuna Cup
1d
RSL Revival
1d
Reynor vs sOs
Maru vs Ryung
Kung Fu Cup
1d 2h
WardiTV Korean Royale
1d 2h
[ Show More ]
BSL 21
1d 10h
JDConan vs Semih
Dragon vs Dienmax
Tech vs NewOcean
TerrOr vs Artosis
IPSL
1d 10h
Dewalt vs WolFix
eOnzErG vs Bonyth
Replay Cast
1d 13h
Wardi Open
2 days
Monday Night Weeklies
2 days
WardiTV Korean Royale
3 days
BSL: GosuLeague
3 days
The PondCast
4 days
Replay Cast
4 days
RSL Revival
5 days
BSL: GosuLeague
5 days
RSL Revival
6 days
WardiTV Korean Royale
6 days
Liquipedia Results

Completed

Proleague 2025-11-07
Stellar Fest: Constellation Cup
Eternal Conflict S1

Ongoing

C-Race Season 1
IPSL Winter 2025-26
KCM Race Survival 2025 Season 4
SOOP Univ League 2025
YSL S2
BSL Season 21
CSCL: Masked Kings S3
SLON Tour Season 2
RSL Revival: Season 3
META Madness #9
BLAST Rivals Fall 2025
IEM Chengdu 2025
PGL Masters Bucharest 2025
Thunderpick World Champ.
CS Asia Championships 2025
ESL Pro League S22
StarSeries Fall 2025
FISSURE Playground #2
BLAST Open Fall 2025

Upcoming

BSL 21 Non-Korean Championship
Acropolis #4
IPSL Spring 2026
HSC XXVIII
RSL Offline Finals
WardiTV 2025
IEM Kraków 2026
BLAST Bounty Winter 2026
BLAST Bounty Winter 2026: Closed Qualifier
eXTREMESLAND 2025
ESL Impact League Season 8
SL Budapest Major 2025
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 © 2025 TLnet. All Rights Reserved.