Re:Programmers should know math.. just not all of it
by matthw on Friday October 16, 2009 @09:35AM
(#885333)
When it comes to first-order logic, you don't actually need this to reason about conditionals.
That's just Propositional Logic (or Boolean Algebra, if you want to put it in a slightly more abstract setting, which wouldn't hurt since you can then apply it to other related things like set union/intersection/complement).
First-order logic is really useful for Relational Algebra though. Which you should know if you do anything with relational databases.
Re:Programmers should know math.. just not all of it
by araneae on Friday October 16, 2009 @09:38AM
(#885338)
Really? Why do you need relational algebra to do anything with relational databases? It actually seems to me to be wholly irrelevant if you're just using one.
That's just Propositional Logic (or Boolean Algebra, if you want to put it in a slightly more abstract setting, which wouldn't hurt since you can then apply it to other related things like set union/intersection/complement).
First-order logic is really useful for Relational Algebra though. Which you should know if you do anything with relational databases.