MATH 260: Introduction to Abstract Mathematics
Spring 2004, 4 credits, MWF 10:00-10:50, MC 553, R 11:00-11:50, MC 415
Instructor: Rich Maresh, Associate Professor of Mathematics, Department Chair
Office: MC 522Hours: MWF 12-1, R 2-3, or by appt.
Email: rjmaresh@viterbo.edu, Office Phone: 796-3655 (Home Phone: 526-4988 )
Final Exam: Wednesday, 5 May 2004, 3:00-5:00 pm
Course Description: Sentential and quantifier logic, axiomatic systems, and set theory. Emphasis is on the development of mathematical proofs. Pre-requisite: grade of C or higher in Math 180.
Text: Introduction to Advanced Mathematics (Second Edition), by William Barnier and Norman Feldman, Prentice Hall, 2000.
Course Goals:
1. The over-arching goal in this course is to learn to read and write mathematical proofs.
2. A second major goal is to be able to communicate mathematical concepts and mathematical proofs, using appropriate mathematical notation and language.
3. While this course is more about process than content, it is still a goal of this course to consider content which is important to further study of mathematics: logic, set theory, relations and functions, mathematical induction, number theory, and cardinality.
Course Objectives:
Proof:
1. Students shall demonstrate a basic understanding of axiomatic-deductive systems.
2. Students shall understand proofs and be able to judge the correctness of an argument.
3. Students shall demonstrate the ability to reason inductively.
4. Students shall demonstrate the ability to reason deductively.
Problem Solving:
5. Students shall demonstrate the ability to apply appropriate mathematical tools and methods to novel or non-routine problems.
6. Students shall demonstrate the ability to use various approaches to problem solving, and to see connections between these varied mathematical areas.
Communication
7. Students shall use the language of mathematics accurately and appropriately.
8. Students shall present mathematical content and argument orally.
9. Students shall present mathematical content and argument in written form.
Course Procedures:
This course is a very significant step for every mathematics major, and probably more than any other single course, certainly up to this point in your course work, lets you see what it is like to be a mathematician and whether you can find fulfillment as, or have the ability to be, a mathematician. I certainly have vivid memories of my equivalent course.
All mathematics educators believe in the adage, “Mathematics is not a spectator sport!” In this course, more than in most, however, your contributions will MAKE the course. I intend to allow a healthy fraction of our class time to consist of student presentations of attempted proofs. In addition to learning to read or listen to proofs, with comprehension, as well as learning to problem solve and write proofs, it is important to acquire a disinterested objectivity - like a scientist, we must strive to view a proof in its own terms and not take corrections personally. The “craft” of mathematics is in one sense very personal but at the same time your work must be held to the highest standard of objectivity.
I have chosen this textbook largely for its philosophy; it is designed to be used in a student-oriented class. I will make assignments virtually on a daily basis and it is very important that you work on these as best you can. I hope that at least once a week, on average, each of will get a chance to present some of your work. It is important that we not miss classes; this will be almost a “seminar” course - the size of the group and the philosophy will allow us to do that.
Because it is important that we learn to WRITE proofs which are correct and clear, as well as to present them orally, I will collect most of the daily assignments and grade them. There will also be three in-class, written, exams - one at the one-third mark, one at the two-thirds point, and one during the final exam time slot - I do believe in seeing what students can do on their own and “under pressure”. At the same time, there will be frequent take-home assignments, both daily homework and other problem sets.
Grading: I will use the traditional 90-80-70-60 scale as a framework for assigning grades. I do realize the artificiality of such a scale - but I usually try to make the assignments reasonable enough so that students can earn an appropriate grade. It is harder in this course in particular to make things seem “objective”, since writing proofs is something like writing essays in an English course - there is “correct” and “complete”, but there is also “elegant” and “insightful”. I will try to keep you informed along the way about your progress in the course.
Portfolios: Because this course is all about developing skills, albeit subtle and substantial skills, it is especially important to monitor your development. In fact, we are trying to compile a portfolio of the work of each mathematics major as they work their way through the courses in the major. I would like to ask you to turn in a collection of your best efforts during the course, probably five problems, which can be added to your portfolio. These portfolios should not only give you a chance to pay attention to your progress, but they also will give the department a picture of how well our students are learning what we want them to learn. You should include a brief write-up indicating why you chose the particular problem in your portfolio; generally it will be because the problem led to some sort of breakthrough in your mathematical thinking. This portfolio will be collected at the end of the semester.
Journals: I realize that sometimes “journaling” is overdone in this era of Journal-as-a-verb, but I do think it is important that each of you have a vehicle for thinking about your performance in the course and for letting me know how things are going. Consequently, I’d like to ask you each to turn in a journal entry, at least a few paragraphs, on the last class day of each month - I don’t want to make the task too onerous but I also want to stay on top of things. So let’s aim for the following: Jan30, Feb 27, Mar 31, Apr 30. I’ll award 5 points for each of these.
Americans with Disability Act: If you are a person with a disability and require any auxiliary aids, services or other accommodations for this class, please see me or Wayne Wojciechowski (MC 320, 796-3085) within ten days to discuss your accommodation needs.
The Schedule: For many courses I teach, I construct a fairly detailed schedule, with assignments and material to be covered each day throughout the semester. For several reasons, however, in this course we will be playing it a bit more by ear. It is difficult for me to know just how much text material we can comfortably cover (I do hope to at least cover 7 chapters). The emphasis I want to give to looking at your work also requires a certain flexibility in schedule - and it is difficult to say just what effect this will have. I do think it is much more important that you LEARN the material than that we “cover” it, “depth of understanding” rather than “breadth”.
As a general framework, nonetheless, I offer the following:
1. Introduction to Logic: p 1-34 (2 weeks)
1.1 Propositional Logic
1.2 Logical Equivalence and Tautologies
1.3 Rules of Inference
2. Methods of Proof: p 35-80 (3 weeks)
2.1 Proof Techniques
2.2 More Proof Techniques
2.3 Mathematical Induction
2.4 Predicates and Quantifiers
2.5 Counterexamples, Proofs, Conjectures
13 Feb 2004: EXAM #1 (60 Points)
3. Set Theory: p 81-116 (2 weeks)
3.1 Introduction to Sets
3.2 Venn Diagrams and Conjectures
3.3 The Algebra of Sets
3.4 Arbitrary Unions and Intersections
4. Cartesian Products and Functions: p 117-154 (3 weeks)
4.1 Product Sets
4.2 Functions
4.3 Compositions, Bijections, and Inverse Functions
4.4 Images and Inverse Images of Sets
26 Mar 2004: EXAM #2 (60 Points)
5. Relations (2 weeks)
5.1 Relations
5.2 Equivalence Relations
5.3 Partially Ordered Sets
6. Cardinality (1 week)
6.1 The Cardinality of Finite Sets
6.2 The Cardinality of Infinite Sets
7. Number Theory (2 weeks)
7.1 Divisibility
7.2 Prime Factorization
7.3 Integers mod d
FINAL EXAM: Wednesday, 5 May 2003, 3:00-5:00 pm