Class Time: Monday and Wednesday 2:00p - 3:20p, Humanities 129.
Instructor: Dr. Corbett Redden. Corbett.Redden [att] liu.edu. Office: Winnick House 233. Phone: 516-299-3487.
Office Hours: Monday and Wednesday 12:30p - 1:50p, or by appointment
Course webpage: http://myweb.liu.edu/~dredden/20f19/
Homework/Syllabus: http://myweb.liu.edu/~dredden/20f19/Homework.html
Textbook: "Proofs and Fundamentals: A First Course in Abstract Mathematics" (2nd ed) by Ethan Bloch. Springer UTM. ISBN-13 978-1441971265. You can purchase the text from the campus bookstore at https://tinyurl.com/722-F19-MTH-20-001, or from Amazon or Springer.
Description from Catalog: This course covers connectives, truth tables, arguments, quantifiers in addition to the meaning of proof and valid proof, mathematical induction, set operations, properties of relations, equivalence relations, functions, 1-to-1, onto, 1-1 correspondence and mathematical systems. Prerequisite of MTH 8 or the permission of the department is required. 3 Credits.
Mathematica: We will use the computer algebra system Wolfram Mathematica. More details to follow.
Grading Scheme:
| Homework | 30% |
| Tests/Projects | 30% |
| Final Exam | 30% |
| Attendance & In-class participation | 10% |
Homework: I will regularly assign homework problems, and they will be collected approximately once per week. While you may work with other students on homework, the writing and final document you turn in must be entirely your own. Your homework should be grammatically and mathematically correct. It should be written clearly and neatly as a final draft, not a hastily done rough draft. The professor will grade and return homeworks, and revisions may be required.
Tests/Projects: There will be multiple "tests" throughout the semester. The exact dates have not yet been determined, but they will be announced at least 1.5 weeks ahead of time. The tests may take the form of in-class tests, take-home tests, or projects.
Final Exam: The Final Exam will take place in the regular classroom, at a date/time scheduled by the Registrar.
Attendance & In-class participation: A score will be assigned based upon your perceived effort towards attendance and participation. Students who regularly attend class and contribute will receive full credit, but the professor reserves the right to give only partial credit to students who have excessive absences or who refuse to do work in class.
DSS statement: If you are a student with a documented disability, medical condition, or think you may have a disability, and will need accommodations, academic adjustments, auxiliary aids, or other services, please contact Marie Fatscher in Disability Support Services (Post Hall, Lower Level, C10) at 516-299-3057 or marie.fatscher@liu.edu to request services, accommodations or for additional information. Additional information is also available on the DSS website: www.liu.edu/post/dss. The Center for Healthy Living offers supportive psychological and nutritional services Monday - Friday 9 am to 5 pm and is located in Post Hall, Lower Level - South Entrance (parking lot side of building.) Additional information is available by emailing post-healthyliving@liu.edu or calling Lynne Schwartz at (516) 299-4162.
Course & Core Curriculum Goals: Upon completion of the course, students should be able to understand the formal logical structure of arguments; use their knowledge of formal logic to structure rigorous mathematical proofs; write mathematics in a correct manner; understand and correctly use certain fundamental mathematical objects, including sets, functions, and relations. These course goals fulfill the Quantitative Reasoning goals in the Core Curriculum.