Slide 6
Slide 6 text
Problem Sequence
• Notes consist of definitions & very few examples mixed
together with exercises, problems, & theorems to prove.
• As opposed to typical course, students responsible for
proving the key (& interesting!) theorems of the course.
• Source of notes available on GitHub:
http://github.com/dcernst/IBL-IntroToProof
Rules of the Game
• Students should not look to outside resources
• Internet, other texts, other faculty, math major cousins,
etc. are forbidden.
• On the other hand, students are encouraged to collaborate
on homework & even take-home exams.
6