|
Members in Shoutbox
None.
Shoutbox Search
Shoutbox Commands
/w [name] > Whisper
/r > Reply to last whisper /me > Marks as action Shoutbox Information
Moderators may delete any and all shouts at will.
|
Global Shoutbox
Please log in to shout.
[2014-9-24. : 3:24 am] Moose -- Find some CS grads with CS-type jobs, ask them how much calculus they use lololool[2014-9-24. : 3:24 am] Moose -- Don't worry, you'll just end up coding things and building systems for other people and not needing it. ![]() [2014-9-24. : 3:23 am] MasterJohnny -- the coolest thing i was taught about cs logic is the XOR operator[2014-9-24. : 3:23 am] Moose -- CS degree = fat stack$. CS degree + math degree = shut up and take our money. math degree = no experience? we're hiring the CS major.[2014-9-24. : 3:21 am] MasterJohnny -- man im just hoping that getting my masters two years from now will pay off[2014-9-24. : 3:21 am] Dem0n -- MasterJohnnyMasterJohnny shouted: are you a math major? I'm computer science[2014-9-24. : 3:20 am] Moose -- You would probably have software doing it for you unless you were programming it. They would just like you because you're smart and have a mathematically oriented mind to not be a dumb shit when you're animating.[2014-9-24. : 3:20 am] Moose -- Honestly, my advise to math majors is that a math degree is the best supporting or secondary degree you can have. If you want job security and fat stack$, then get to learning programming or engineering or finance or whatever.[2014-9-24. : 3:19 am] MasterJohnny -- Sometimes I wish I was applied with like awesome differential geometry skills and become an animator[2014-9-24. : 3:19 am] Moose -- You can make fat stack$ in industry, just don't do math and nothing else.[2014-9-24. : 3:16 am] Moose -- I think he was going to be a doctor or engineer of some kind. So his parents can be happy and he can make fat $tack$.[2014-9-24. : 3:12 am] Dem0n -- jk logic sux. i'd much rather be taking calc 3 than this bullshit class ;_;[2014-9-24. : 3:11 am] Moose -- MasterJohnnyMasterJohnny shouted: -_-' are you pure or applied Pure. Maybe I would have had the PHD in me if I were applied.[2014-9-24. : 3:09 am] Moose -- MasterJohnnyMasterJohnny shouted: what is your area of math moose? I never had to specialize, for I am but a mere master of mathematics.[2014-9-24. : 3:07 am] Moose -- For some reason, though, they taught formal logic in lower level mathematics courses that I never placed into. Not sure if that's unusual.[2014-9-24. : 3:05 am] Moose -- In mathematical logic, satisfiability and validity are elementary concepts of semantics. A formula is satisfiable if it is possible to find an interpretation (model) that makes the formula true.[1] A formula is valid if all interpretations make the formula true.[2014-9-24. : 3:05 am] Moose -- TBH, I've never taken a formal class on mathematical logic. We kind of just applied it as we need it. One of my department chairs was a functional analyst who looked down on logicians.[2014-9-24. : 3:02 am] Moose -- Yeah, man, my mom wouldn't let me go to a rated R movie with my friends! Do you know how embarassing that is?! What a bitch! Let's do it![2014-9-24. : 2:49 am] copboner -- hay boiz, my dad won't gimme allowance early this week, anyone wanna rally up and ddos a game server for no reason?[2014-9-24. : 12:27 am] jjf28 -- didn't you just show they were equivalent? just write that in proof-format[2014-9-24. : 12:24 am] jjf28 -- then showing every individual step with the law labeled (one line per step/law) should be how you do it[2014-9-24. : 12:20 am] Dem0n -- How the fuck do you prove (p -> q) -> ((p v r) -> (q v r)) is a tautology?[2014-9-23. : 11:40 pm] jjf28 -- does implication have a distributive property? or more importantly, has your instructor provided a rule stating so?[2014-9-23. : 11:34 pm] Dem0n -- Am I seeing this wrong, or can (p -> q) ^ (p -> r) and (p -> (q ^ r)) just be proven by distributing p to q and r in the second statement?[2014-9-23. : 10:59 pm] Dem0n -- But they specifically ask for me to prove equivalency with logical properties[2014-9-23. : 10:52 pm] Moose -- Did you get the same truth values for both sides of that using all possible true/false combos for p, q, and r? |