• Log InLog In
  • Register
Liquid`
Team Liquid Liquipedia
EDT 22:32
CEST 04:32
KST 11:32
  • 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
[ASL22] Ro8 Preview: Within Reach4[ASL22] Ro8 Preview: In A Tizzy11[ASL22] Ro16 Preview: Holy Diver5[ASL22] Ro16 Preview: Rough Waters10[ASL22] Ro24 Preview: Siren's Call8
Community News
Weekly Cups (Sept 21-27): herO and ByuN double1Weekly Cups (Sep 13-20): herO scores triple3BSL Season 2313Weekly Cups (Sep 7-12): SHIN, ByuN, MaxPax double down1StarCraft open world shooter announced at BlizzCon105
StarCraft 2
General
Recent patches and the Future Stellar Fest 1 Replay Pack StarCraft open world shooter announced at BlizzCon Weekly Cups (Sept 21-27): herO and ByuN double Balance hotfix patch 5.0.16b (July 16)
Tourneys
2026 GSTL Grand Finals ScienceCraft (October 24-25) - Live Event Sparkling Tuna Cup - Weekly Open Tournament Master Swan Open (Global Bronze-Master 2) Stellar Fest TWO the Moon (Dec 16-20)
Strategy
[H] ZvP Mid-Late Game: Stalkers Collossi HT
Custom Maps
[M] (2) Sweltering Sands [M] (2) Frigid Storage
External Content
The PondCast: SC2 News & Results Mutation # 545 And Drops and Rifts Mutation # 544 Double Trouble Mutation # 543 Enhanced Defenses
Brood War
General
BW General Discussion Bot on ladder [ASL22] Ro8 Preview: Within Reach PLAYzone Challenge - open offline tour in Prague an AI researcher's take on the ladder bot
Tourneys
[ASL22] Rp8 Day 4 [ASL22] Ro8 Day 3 [Megathread] Daily Proleagues [ASL22] Ro8 Day 2
Strategy
Cliff Jump Revisited (1 in a 1000 strategy) Replay Review Process - What do you do? Simple Questions, Simple Answers Odyssey Mineral Stack Saturation
Other Games
General Games
Stormgate/Frost Giant Megathread Warcraft III: The Frozen Throne Total Annihilation Zero Nintendo Switch Thread EVE Corporation
Dota 2
Dota 2 Champions League Season 3 Begins April 25! Official 'what is Dota anymore' discussion
League of Legends
[TL LoL EUW IHs] Teemo shall perish
Heroes of the Storm
Heroes of the Storm 2.0
Hearthstone
Deck construction bug
TL Mafia
TL Mafia Community Thread
Community
General
Things Aren’t Peaceful in Palestine US Politics Mega-thread Russo-Ukrainian War Thread Artificial Intelligence Thread All you football fans (soccer)!
Fan Clubs
MarineLorD Fan Club The Creator Fan Club The ShoWTimE Fan Club
Media & Entertainment
Movie Discussion! [Manga] One Piece Diablo Animated Series on Netflix
Sports
Football (Soccer) Thread MLB/Baseball 2023
World Cup 2022
Tech Support
Computer Build, Upgrade & Buying Resource Thread
TL Community
Recent Gifted Posts
Blogs
Violent-Cooperative Play and…
TrAiDoS
38 yo Retired SWE loo…
PurE)Rabbit-SF
Can Bots Beat Pros?? Starcr…
namkraft
[meme] I finally understa…
LUCKY_NOOB
Regacy Esports:Our Goa…
regacyesports
Customize Sidebar...

Website Feedback

Closed Threads



Active: 7164 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 7h 28m
[ Submit Event ]
Live Streams
Refresh
StarCraft: Brood War
Rain 2521
NotJumperer 9
Dota 2
monkeys_forever804
NeuroSwarm190
Other Games
summit1g5615
Coldzera 785
Day[9].tv731
JimRising 626
C9.Mang0353
PiGStarcraft232
ArmadaUGS33
Organizations
Other Games
gamesdonequick830
Dota 2
PGL Dota 2 - Main Stream376
[ Show 11 non-featured ]
StarCraft 2
• Hupsaiya 125
• Letter147
• AfreecaTV YouTube
• intothetv
• Kozan
• IndyKCrew
• Migwel
StarCraft: Brood War
• BSLYoutube
• STPLYoutube
• ZZZeroYoutube
Other Games
• Day9tv731
Upcoming Events
Sparkling Tuna Cup
7h 28m
Afreeca Starleague
7h 28m
Leta vs Soulkey
PiGosaur Cup
21h 28m
Kung Fu Cup
1d 8h
The PondCast
2 days
Replay Cast
2 days
CranKy Ducklings
4 days
Online Event
4 days
FEL
4 days
AI Arena Tournament
4 days
[ Show More ]
BSL: Ladder Tournament
4 days
Sparkling Tuna Cup
5 days
BSL Open Qualifier
5 days
BSL Open Qualifier
5 days
WardiTV Weekly
6 days
Liquipedia Results

Completed

Proleague 2026-09-27
Blizzard Classic Cup 2026
Calamity Invitational

Ongoing

ASL Season 22
Super Anchor Qualifying S3
CSL 2026 AUTUMN (S22)
Acropolis #5
1win Private Club #1
Logitech G Play Connect 2026
SL StarSeries Fall 2026
FISSURE Playground #3
BLAST Open Fall 2026
Esports World Cup 2026
BLAST Bounty Summer 2026
BLAST Bounty Summer Qual
Stake Ranked Episode 3

Upcoming

Acropolis #5 - GSB
Acropolis #5 - GSC
BSL Season 23
SC4ALL II: Brood War
BSL 23: Non-Korean Championship
HSC XXX
Stellar Fest 2: Lunar Cup
SC4ALL II: StarCraft II
Kung Fu Cup 2026 Grand Finals
RSL Offline Finals
Custodian Cup
Copium Cup
PGL Major Singapore 2026
Stake Ranked Episode 6
BLAST Rivals Fall 2026
IEM Beijing 2026
Stake Ranked Episode 5
PGL Masters Bucharest 2026
1win Private Club #2
Thunderpick World Champ. '26
ESL Pro League Season 24
Stake Ranked Episode 4
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.