Abstract
ABSTRACT We advocate teaching introductory discrete mathematics by first teaching equational propositional and predicate logic and then using it as tool (and not simply viewing it as an object of study) throughout the study of later topics — e.g., set theory, induction, relations, theory of integers, combinatorics, solving recurrence relations, and modern algebra. The in-depth (6–7 weeks) treatment of logic emphasizes rigorous proofs, strategies for developing proofs, and much practice, so that students develop a skill in formal manipulation. Care is taken to explain all concepts clearly and rigorously. Later topics are dealt with by viewing them as theories — extensions of the predicate calculus. The course should motivate the use of logic as a pervasive tool. It must enlighten, and not stifle and oppress. Our experience shows that this is possible. Anecdotal evidence shows that students come away with less fear of mathematics, proof, and notation, more confidence in their mathematical abilities, an appr...
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a callDisclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.
