Re:How I faced my fears and learned to be good at math
by drivers99 on Wednesday November 13, 2013 @06:49PM
(#6729482)
I remember taking three classes: informal logic (philosophy) which ended up talking about formal logic anyway, electrical engineering, and a math class. It make the logic class really easy, already knowing it from EE. They all had different notation for 'implies', 'not', 'and', 'or', etc. You could argue that the computer languages have a 4th notation, but I won't.
Coq notation, lisp-style notation, even python-style notation- anything would be better.