Members in Shoutbox
None.

Shoutbox Search
Search for:


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.
Pages: < 1 « 3368 3369 3370 3371 33723572 >

[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]
MasterJohnny -- Give me liberty XOR Death
[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. :D
[2014-9-24. : 3:23 am]
Dem0n -- I hate all of it ;_;
[2014-9-24. : 3:23 am]
MasterJohnny -- sometimes ill use XOR talking to people
[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 -- Feel free to replace CS with engineering, finance, IT, physics, etc.
[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:22 am]
MasterJohnny -- ohh cs logic
[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 -- MasterJohnny
MasterJohnny 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 -- but then I remember I don't really like calculus
[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:17 am]
MasterJohnny -- I wish I could make fat $tak$
[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:14 am]
MasterJohnny -- are you a math major?
[2014-9-24. : 3:14 am]
Dem0n -- yes
[2014-9-24. : 3:14 am]
MasterJohnny -- whats a lower div logic class? intro to proofs class?
[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:12 am]
Dem0n -- math sux
[2014-9-24. : 3:11 am]
Moose -- MasterJohnny
MasterJohnny 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]
MasterJohnny -- -_-' are you pure or applied
[2014-9-24. : 3:09 am]
Moose -- MasterJohnny
MasterJohnny 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:08 am]
Moose -- I picked up bits and pieces from tutoring or teaching those students
[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:07 am]
MasterJohnny -- what is your area of math moose?
[2014-9-24. : 3:05 am]
Moose -- That seems to be on the right track
[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:03 am]
Dem0n -- moose what's a satisfiability problem ;_;
[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 -- i need a positive way to vent my awkward frustrations
[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. : 2:37 am]
Moose -- :lock:
[2014-9-24. : 2:11 am]
Fire_Kame -- hmm...
[2014-9-24. : 2:11 am]
Fire_Kame -- There's no place like sen
[2014-9-24. : 2:10 am]
jjf28 -- are you using modded tiles?
[2014-9-24. : 1:44 am]
SCRuler -- Why is the psi disruptor grp so fucking crazy colored
[2014-9-24. : 1:15 am]
Excalibur -- This is home.
[2014-9-24. : 12:50 am]
Roy -- You're on SEN.
[2014-9-24. : 12:45 am]
Dem0n -- I'm so lost ;_;
[2014-9-24. : 12:28 am]
jjf28 -- in that case go to work :P
[2014-9-24. : 12:28 am]
jjf28 -- o woops
[2014-9-24. : 12:27 am]
Dem0n -- Nah, this one is different from the ones I was doing earlier
[2014-9-24. : 12:27 am]
Dem0n -- I have to get to like ((p ^ ~q) v (~p ^ q)) v (r v ~r)
[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:25 am]
Dem0n -- I don't know what steps to take lul
[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:23 am]
Dem0n -- I have to derive it using logical laws
[2014-9-24. : 12:23 am]
Dem0n -- I can't use a truth table for this
[2014-9-24. : 12:22 am]
jjf28 -- showing the statements are equivalent should be enough really...
[2014-9-24. : 12:21 am]
jjf28 -- with one giant truth table
[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]
Dem0n -- oohhh that's true
[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. : 11:21 pm]
jjf28 -- and yes, another notation xD
[2014-9-23. : 11:20 pm]
jjf28 -- had to look up all de-rules
[2014-9-23. : 11:20 pm]
jjf28 -- http://puu.sh/bLiFb/4255f197a6.png
[2014-9-23. : 11:16 pm]
Dem0n -- Oh my god I actually figured it out
[2014-9-23. : 10:59 pm]
Dem0n -- But they specifically ask for me to prove equivalency with logical properties
[2014-9-23. : 10:59 pm]
Dem0n -- yes
[2014-9-23. : 10:53 pm]
Moose -- Because then you're done.
[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?
[2014-9-23. : 10:50 pm]
Dem0n -- the logical properties
[2014-9-23. : 10:50 pm]
Dem0n -- have to use logical shit
[2014-9-23. : 10:50 pm]
Dem0n -- i did

Pages: < 1 « 3368 3369 3370 3371 33723572 >


Members Online: fritfrat