"Contrariwise," continued Tweedledee, "if it was so, it might be; and if it were so, it would be; but as it isn't, it ain't. That's logic."
- Time and Place. MW 13:30-14:50 in PSCI 314
- Instructor. Helmut Knaust, Bell Hall 219, firstname.lastname@example.org, 747-7002
- Office Hours. TR 13:30-14:50, or by appointment.
- Teaching Assistant. Ms. Delgado. Office hours MW 12:00-13:30 in MaRCS, LIBR 218.
- Prerequisites. The course requires a certain level of mathematical maturity that you should have gained by, for instance, having thoroughly and successfully grappled with the concept of infinity in your Calculus II course (which is the formal prerequisite for this course).
- Course Objectives. This is a Foundations course. This means that hardly any prior knowledge is required. The class prepares you "do" mathematics on your own and enables you take more advanced classes or read rigorous mathematical textbooks. You should expect (and I will expect) that you make considerable progress in the following areas:
- Make sense of an abstract definition by analyzing it carefully and constructing examples.
- Make sense of a mathematical statement and be able to bring to bear a variety of strategies for constructing its proof.
- Be able to recognize a rigorous proof when you read one. Conversely, be able to pick out the weak spot(s) in a less rigorous argument. Be able to fill in details in a sketchy proof.
- Once you have devised a proof, be able to write it down in a clear, concise manner using correct English and mathematical grammar.
- Be able to present and defend a proof to a group of your peers.
- Class Participation and Activities. Daily homework exercises will be presented by volunteers during the following class period. There may also be some in-class activities. Your participation will contribute 15% towards your grade.
- Homework. I will also regularly assign written homework. The homework will be graded (or presented by student volunteers), but will not contribute to your grade.
- Tests. Exams will be given on the following Wednesdays: February 15, March 22, and April 19. Each exam counts 20% of your grade.
- Final Examination. The final exam on Wednesday, May 10, 16:00-18:45, is comprehensive and mandatory. It counts 25% of your grade.
- Time Requirement. I expect that you spend an absolute minimum of six hours a week outside of class on reading the textbook, preparing for the next class, reviewing your class notes, and completing assignments. Not surprisingly, it has been my experience that there is a strong correlation between class grade and study time.
- Attendance. You are strongly encouraged to attend class.
- Drop Policy. The class schedule lists Thursday, March 30, as the last day to drop with an automatic "W". After the deadline, I can only drop you from the course with a grade of "F".
- Students with Disabilities. If you have a disability and need classroom accommodations, please contact The Center for Accommodations and Support Services (CASS) at 747-5148, or by email to email@example.com, or visit their office located in UTEP Union East, Room 106. For additional information, please visit the CASS website at sa.utep.edu/cass.
- Academic Integrity. All students must abide by UTEP's academic integrity policies, see http://sa.utep.edu/osccr//student-conduct/ for details.
- Open Problems: 2.3-16b; 3.2-1fm,5c,6,10e; 3.3: 3d,14a; 3.4: 3b,12b; 4.1-3af,16b
- 5/1: 4.2-1i,2i,5ac,10,13; 4.3-1ck,2ck,6,9ab,10
- 4/26: 4.1-3adf,4ad,15a,16b
- 4/12: 3.4-1c,2de,3b,5,6,7,9,10b,12b,14a
- 4/10: 3.3-2ab,3d,4,11,14a
- 4/5: 3.2-1acfm,5bc,6,10e
- 4/3: 3.1-1abc,2ae,4e,5a,8b,9a,12
- 3/8: 2.5-1a,5a,6b,9
- 3/6: 2.4-6bhjl,7bdm,8ce,9a
- 2/22: 2.3-1cem,8c,9a,10b,13,16ab
- 2/20: 2.2-6a,9acf,10c,11ab,12ab,18ab
- 2/8: 2.1-5ce,7,9,14bc,17ae,18v
- 2/6: 1.5-4b,5a,6b,7a; 1.6-1ac,3,5ab
- 2/1: 1.4-5eg,7bi,9c
- 1/25: 1.3-1hl,2hl,4abc,6a,8eh,10cd
- 1/23: 1.1-1bc,2ae,3cf,6h,10b,11bc; 1.2-1adf,3a,6ac,7ce,10a,13abc
Hasse Diagram 2 | Hasse Diagram 1 | Polya's How to Solve It | Polya's Horses | Induction Principles | LSAMP Summer Research Academy | Why Cognitive Science Matters to Mathematics, by George Lakoff and Rafael E. Núñez