• Log InLog In
  • Register
Liquid`
Team Liquid Liquipedia
EDT 04:16
CEST 10:16
KST 17:16
  • 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
Serral wins HomeStory Cup 2915Serral wins Maestros of the Game 243ByuL, and the Limitations of Standard Play3Team Liquid Map Contest #22: Results and Winners7Code S Season 2 (2026): RO4 and Finals Preview12
Community News
GSTL Returns in 2026!14Weekly Cups (Aug 3-9): Protoss get shut out7RSL goes to London! 2026 Offline Finals Nov 21-2212Weekly Cups (July 27-Aug 2): SHIN's big week0SC4ALL II: Brood War - $2500 - Dec 5-611
StarCraft 2
General
GSTL Returns in 2026! SC4ALL: II Talent Announcement! Balance hotfix patch 5.0.16b (July 16) Protoss AoE skill expression Weekly Cups (Aug 3-9): Protoss get shut out
Tourneys
PIG STY FESTIVAL 8.0! (13 - 23 August) 2026 KungFu Cup Announcement Sparkling Tuna Cup - Weekly Open Tournament RSL goes to London! 2026 Offline Finals Nov 21-22 RSL Revival: Season 6 - Qualifiers and Main Event
Strategy
[G] Having the right mentality to improve
Custom Maps
Nexus Wars 2021 GUIDE [M] (2) Industrial Park
External Content
Mutation # 538 Media Blackout The PondCast: SC2 News & Results Mutation # 537 Hostile Territory Mutation # 536 Railroad Switch
Brood War
General
Best Games Kespa era BW General Discussion StarCraft 64 is coming to Philly at SC4ALL II ASL22 General Discussion [Personal Project Share] Terran Defense v0.60
Tourneys
Escore Tournament - Season 3 Small VOD Thread 2.0 [Megathread] Daily Proleagues SC4ALL II: Brood War - $2500 - Dec 5-6
Strategy
Odyssey Mineral Stack Saturation Fighting Spirit mining rates Any training maps people recommend? Simple Questions, Simple Answers
Other Games
General Games
Nintendo Switch Thread Anyone here play Quakeworld back in the day? Stormgate/Frost Giant Megathread EVE Corporation General RTS Discussion Thread
Dota 2
Official 'what is Dota anymore' discussion
League of Legends
[TL LoL EUW IHs] Teemo shall perish TSM pausing esports and CLG Dead
Heroes of the Storm
Heroes of the Storm 2.0
Hearthstone
Deck construction bug
TL Mafia
TL Mafia Power Rank TL Mafia Community Thread NeO.D_StephenKing vs This Guy From 1 Million Dance
Community
General
Artificial Intelligence Thread European Politico-economics QA Mega-thread US Politics Mega-thread Russo-Ukrainian War Thread The Letting Off Steam Thread
Fan Clubs
MarineLorD Fan Club The ShoWTimE Fan Club The herO Fan Club!
Media & Entertainment
Movie Discussion! Anime Discussion Thread Series you have seen recently... [Req][Books] Good Fantasy/SciFi books
Sports
Football (Soccer) Thread TeamLiquid Health and Fitness Initiative For 2023 NBA General Discussion Formula 1 Discussion MLB/Baseball 2023
World Cup 2022
Tech Support
Computer Build, Upgrade & Buying Resource Thread Simple Questions Simple Answers FPS when play League Of Legend on laptop
TL Community
The Automated Ban List Northern Ireland Global Starcraft
Blogs
Chinese Gen Z: Between Dream…
TrAiDoS
Cathedral Of CS And NY pizza a…
FuDDx
Please support my new stand…
Peanutsc
Hello guys!
LIN1s
Customize Sidebar...

Website Feedback

Closed Threads



Active: 4349 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 1h 44m
[ Submit Event ]
Live Streams
Refresh
StarCraft 2
SortOf 113
BRAT_OK 66
StarCraft: Brood War
Mong 723
Yoon 304
Noble 28
ToSsGirL 21
yabsab 9
NotJumperer 6
Dota 2
The International39283
Gorgc11275
Fuzer 264
febbydoto13
Counter-Strike
shoxiejesuss632
olofmeister536
byalli466
Super Smash Bros
Mew2King168
Other Games
summit1g4908
ceh9505
Happy228
[ Show 12 non-featured ]
StarCraft 2
• AfreecaTV YouTube
• intothetv
• Kozan
• IndyKCrew
• Migwel
StarCraft: Brood War
• BSLYoutube
• STPLYoutube
• ZZZeroYoutube
Dota 2
• C_a_k_e 1246
League of Legends
• Jankos798
• Stunt665
• HappyZerGling104
Upcoming Events
Escore
1h 44m
PiG Sty Festival
3h 44m
ByuN vs HeRoMaRinE
ShoWTimE vs Zoun
Big Brain Bouts
7h 44m
Nicoract vs Neeb
TriGGeR vs ShoWTimE
CranKy Ducklings
1d 1h
PiG Sty Festival
1d 3h
herO vs Krystianer
Solar vs Cure
IPSL
1d 7h
Sparkling Tuna Cup
2 days
PiG Sty Festival
2 days
Maru vs Shameless
Reynor vs TriGGeR
IPSL
2 days
OSC
2 days
[ Show More ]
Afreeca Starleague
3 days
Rush vs Hm
Bisu vs Shuttle
WardiTV Weekly
3 days
The Patches Monday
3 days
Afreeca Starleague
4 days
Sharp vs Shinee
Action vs Shine
PiGosaur Cup
4 days
Replay Cast
5 days
Afreeca Starleague
5 days
BeSt vs Paralyze
Jaedong vs Speed
Kung Fu Cup
5 days
The PondCast
6 days
KCM Race Survival
6 days
Replay Cast
6 days
Liquipedia Results

Completed

Proleague 2026-08-13
CranK Gathers Season 4: BW vs SC2 Team League
Eternal Conflict S2 Finale

Ongoing

KCM Race Survival 2026 Season 3
K-JUNGMAN
Acropolis #5
Escore Tournament S3: W7
RSL Revival: Season 6
PiG Sty Festival 8.0
Esports World Cup 2026
Esports World Cup 2026: LCQ
BLAST Bounty Summer 2026
BLAST Bounty Summer Qual
Stake Ranked Episode 3
XSE Pro League 2026
IEM Cologne Major 2026

Upcoming

CSLAN 4
ASL Season 22
Escore Tournament S3: W8
Acropolis #5 - TRS
Blizzard Classic Cup 2026
Acropolis #5 - GSA
Acropolis #5 - GSB
HSC XXX
SC4ALL II: StarCraft II
Kung Fu Cup 2026 Grand Finals
RSL Offline Finals
Big Dog Cup 2026 Div 1
META DYMY #4
Stake Ranked Episode 5
PGL Masters Bucharest 2026
Thunderpick World Champ.
ESL Pro League Season 24
Stake Ranked Episode 4
1win Private Club #1
Logitech G Connect 2026
SL StarSeries Fall 2026
FISSURE Playground #5
BLAST Open Fall 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.