Leave a comment

nmg September 23 2013, 11:26:04 UTC
Isn't the equivalence between sets and expressions in propositional logic known by pretty much anyone with any grounding in CS (or for that matter, electronics)? ias was taught this in library school almost twenty years ago!

Reply

andrewducker September 23 2013, 11:30:25 UTC
Possibly. But I don't recall, from my CompSci education 23 years ago. I may have been asleep that day.

Reply

nmg September 23 2013, 11:35:46 UTC
Possibly. I suppose that, if you haven't been introduced to the notion of an interpretation in propositional logic (via a truth table), then this might come as a surprise.

Reply

andrewducker September 23 2013, 11:31:08 UTC
Also, tis the future. Many computer users, and even quite senior developers, _don't have_ a grounding in CS.

Reply

cartesiandaemon September 23 2013, 11:33:56 UTC
That's about the logic gates? If so, indeed, a mathematical relation is defined as the set of things for which it's true. I'm surprised anyone is surprised, but I still thought it was a nice visualisation that would be helpful to imagining it.

Reply

ias September 23 2013, 11:34:52 UTC
Indeed. We still use venn digrams to explain and, or and not in our information skills sessions to students.

Reply


Leave a comment

Up