Introduction to Logic and Proof
MS 255-01
Margie Hale, Fall 2007


Contact Information: Office Hours:
214-5 Elizabeth Hall Monday 2:30-3:20
ext. 7551 Wednesday 11:00-11:50
campus box 8340 Thursday 10:00-10:50
Friday 11:00-11:50
http://www.stetson.edu/~mhale/ or by appointment.

Course Overview   Most students who enter this course are used to calculation-based mathematics, such as algebra, trigonometry, and calculus. The purpose of this course is to help you make the transition to the later math courses in which proofs, logic, language, and notation play an integral role. The prerequisites are a logical mind, enjoyment of patterns, and a willingness to work. Usually completion of Calculus II and your interest are enough.

Content Goals:

Skills:

Please read about the mathematical perspective.

This year the course becomes 4 credit hours. The content includes material from my own text, Essentials of Mathematics. Most of your time will be spent on digesting the definitions, axioms, and theorems in the book and proving the theorems. In addition, there will be lab problems from various areas of math. These will help you to expand your mathematical horizons, learn to explore, and develop computer skills. I also encourage you to read the recommended book by Ian Stewart, Letters to a Young Mathematician. Other interesting books are found in additional resources.

Grading   Your grade will be based on the following:

homework 15%
labs 10%
3 tests 10% 15% 15%
paper and presentation 10%
final exam 25%

Homework should consume about 8 hours per week outside of class. The first test will occur at the end of Chapter 1, approximately the week of 9/17. Subsequent tests will be announced a week ahead of time. After each test, you will receive an update on your cumulative grade. Shortly after the first test, you will begin work on the paper. Due toward the end of the semester, it will report on an article you have read. Please see the paper and talk guidelines. Thursdays are lab days, meeting in 205E. Lab due dates are announced with each lab. The final exam is Tuesday 12/11, 4-6 pm.

Policies  

Becoming a mathematician involves learning new skills and adopting new habits of mind. The purpose of this course is to gently push you in the right directions. Two of the goals, asking your own questions and dealing with the frustration of not knowing answers immediately, are achieved only when the professor takes a step away. Therefore, my teaching style is to let you explore on your own until you're ready for help. I have not abandoned you, I'm simply transferring to you the responsibility of forming the question.

Class work is subject to some rules that both further our goals and assure that the class runs smoothly.

I support the Stetson University Honor System. Also read my statement on Ethics in Math Courses.

Communication  

Read your email regularly, as I sometimes send class announcements that way. Upon request, I can also send confidential grade information to you at your Stetson email address or through Blackboard. You can forward your Stetson email or configure Blackboard for another address. IT can provide help (ext. 7217). If you have special needs, don't hesitate to discuss them, either with me or with the Academic Resources Center. I hope you're looking forward to the semester.


the mathematical perspective
homework guidelines
paper and talk guidelines
summary of proof techniques
additional resources
truth table forms
back to logic & proof
back to Margie's home page