...I am a long-time teacher of the proof and logic course at our university. This course focuses on truth tables, logical equivalences, quantifiers, the logical underpinnings of mathematical proof, and numerous proof techniques. In addition, I have taught modern algebra, number theory, and discrete mathematics classes at the university, all of which utilize logic and proof strategies. (read more)