...I have taught "Discrete Math" at Virginia Tech, which contains as part of the course an introduction to mathematical logic, propositional calculus, and Boolean algebra. I have also taught foundational courses, both as a graduate student and a professor, where logic and proofs are introduced from... (read more)