MATH 310.01 - INTRODUCTION TO MATHEMATICAL PROOF
FALL 2009
Instructor:	Dr. Antonia Cardwell
Office:	206B Wickersham
Phone:	x3479  (You can leave a message on my voice mail if I'm not in, but e-mail is better.)
E-mail:	Antonia.Cardwell@millersville.edu
Webpage:	http://www.millersville.edu/~cardwell/fall09/310-01/310-01.html
Lecture Hours:	9:00 - 9:50  MWF,   200 Wickersham Hall
Office Hours:	10:00 - 11:00am MWF, 9:00 - 10:00 TR
	If the above times are inconvenient, see me after class and we'll make an appointment.  I am also around at other times, so feel free to drop in.
Text:	Mathematical Proofs: A Transition to Advanced Mathematics (2nd edition) by Gary Chartrand, Albert D. Polimeni & Ping Zhang
	You may find a graphing calculator useful.  The department supports the TI 82, 83, 84, 85 and 86 graphing calculators.  Please note that you cannot share a calculator with someone else during an exam.
Description:	Math 310 is a 3-credit course in mathematical proof and abstract structures.  The prerequisite for this course is a C- or better in Math 162 or Math 211.
	In this course you will learn the essentials of first- and second-order logic and set theory; learn about the different types of proofs and how to write them; learn about some of the fundamental structures of mathematics, such as functions and relations; and learn the basics of writing mathematical prose. This course carries a W label for General Education credit.
Attendance:	Attendance is not compulsory but is highly recommended (and you lose points if you miss graded work).
Grading:	Your grade will be calculated based on the following work:
		3 in-class exams (100 points each):	300
		Final exam:	150
	Homework:		120
		Total points:	570
Homework:	Homework will be assigned daily and is an essential part of the course.  I will specify which of the problems I would like you to hand in to be graded.  The deadlines for the homework assignments will be announced in class and posted on the website.  Homework will not be accepted past the posted deadline without a valid excuse.  You may work with other people on homework, but verbatim copying is not permitted.  You must write up your solutions in your own words.  You must justify all nontrivial statements - correct answers without justification receive no credit.  If you are not sure if you've said enough - ask me.  Note that you will be required to typeset certain homework exercises.  Links to resources for typesetting mathematics can be found on the course webpage.
Exams:	The final exam for this section will be held on Wednesday, December 16th, 2009, from 8:00am - 10:00am.  You will need a documented excuse to take a test at any time other than the scheduled time.  If possible, contact me ahead of time so that alternative arrangements can be made.  Tests will not be rescheduled to accommodate vacation travel - be sure to make your travel arrangements so that they do not conflict with exams, class times or deadlines.
Grades:	To calculate your grade, I will add up the points that you have accumulated from tests and homework, and calculate your percentage.  Grades will be assigned based on the following scale:
	Percentage Range	Grade
	93.0 - 100.0	A
	90.0 - 92.9	A-
	87.0 - 89.9	B+
	83.0 - 86.9	B
	80.0 - 82.9	B-
	77.0 - 79.9	C+
	73.0 - 76.9	C
	70.0 - 72.9	C-
	67.0 - 69.9	D+
	63.0 - 66.9	D
	60.0 - 62.9	D-
	0 - 59.9	F
Academic Honesty/Integrity:	The University's policies regarding academic honesty can be found at http://muweb.millersville.edu/~govern/sect3/acaddis.html.  Students should observe these policies as I will enforce them.
Special Accommodations:	It is University policy to provide reasonable accommodations to students with disabilities.  Please contact the Learning Services Office, 348 Lyle Hall, 717-872-3178, to discuss accommodation needs.