Prerequisite: Math 1120 (Calculus II). Enrollment by invitation of the departmental honors director (=me).
Text:
A Primer for Logic and Proof (2015 Edition) by Holly P. Hirst and Jeffry L. Hirst.
[An electronic copy of our text may be found at
https://appstate.edu/~hirstjl/primer/hirst.pdf]
Note: I've got printed copies for everyone. Don't worry about getting a bound copy yourself.
Web Page:
My webpage is located here:
https://BillCookMath.com
and
our course webpage is located here:
https://BillCookMath.com/courses/math2110-spring2020.
Meeting times: Monday, Wednesday, and Friday 9:00am – 9:50am in Walker Hall room 302 and Tuesday 10:00am – 10:50am in Walker Hall room 105.
Final Exam: Our final exam will be held on Monday, May 4th, 8:00am – 10:30am.
Lecturer:
| Name: | Dr. William (Bill) Cook | |
| Office: | Walker Hall 347 | |
| Office Hours: |
Monday, Wednesday, & Friday 8am-9am & 11am-12pm Tuesday 8am-10am & 11am-12pm (Other times by appointment) |
|
| Phone: | (828) 262-2367 | |
| Email: | cookwj@appstate.edu | |
| Webpage: | https://BillCookMath.com |
Technology: You are welcome to use any technology at your disposal to complete out of class assignments. No calculators or other computer technology will be allowed on exams or quizzes unless otherwise specified.
Course Topics:
The course catalog say, "A study of methods of proof used in mathematics. Formal proof topics include propositional calculus, predicate calculus, and several first order theories. Informal proof topics are drawn from number theory, set theory, and other areas of mathematics. Additional topics include introductions to writing mathematics, searching for mathematical content and sources, and careers in mathematics."
My plan is to cover all of our textbook and then start discussing selected special topics.
Some possibilities are: group theory, analysis, category theory, topology, foundations of mathematics.
If you are interested in a particular subject, Speak Up! What we end up discussing is up to you!
A tentative course schedule can be found at:
https://BillCookMath.com/courses/math2110-spring2020/schedule.html.
Your term grade will be based on the results of your exams, quizzes, homework, and projects/presentations. Here is more information about the individual components of your grade:
Tests: There will be two tests where each test will make up 20% of your course grade. The dates of the tests listed in the tentative course schedule may change. The actual dates will be announced/negotiated in class.
Final Exam vs. Projects/Presentations: We will have a final project with presentation in leiu of a final exam. In addition, there will be a shorter project and presentation sometime closer to the middle of the term. The final project /presention will make up 20% of your course grade and the midterm project/presentation will make up 10% of your course grade.
Homework & Quizzes: I will post a list of suggested homework problems from the text – these will not be collected. Even though these homework problems will not be collected, working out or at least attempting all of the suggested problems is strongly recommended. Please ask questions about problems with which you have had difficulty. I will periodically assign some homework problems to be written/typed up carefully and turned in. These assignments may include some of the suggested homework problems. I may give a few short quizzes and assign a few extended homework "projects". I encourage you to work on your homework with your classmates. However, you must write up your solutions yourself. Do NOT copy your collaborators work and turn it in as your own. The homeworks and quizzes will make up 30% of your term grade.
In summary, here are the components of the term grade with their weights:
| Component | Weight |
| Tests | 20% x 2 = 40% |
| Final Project & Presentation | 20% |
| Midterm Project & Presentation | 10% |
| Homework & Quizzes | 30% |
Attendance: Don't miss class. If you miss class, you are responsible for the material covered during your absence. If you miss a quiz, test/exam, or workshop, you must bring in documentation proving that your absence is excusable or otherwise receive a zero. If a make-up quiz/test/exam is granted, it must be made up before the next quiz/test/exam.
Help! If you need help, please come to my office hours. If you are in Walker Hall and my office door is open, please feel free to stop by and ask questions – even if it's not during my posted office hours.
Fine Print: Copies of the academic integrity code, disability services information, religious observance policies can be found at https://academicaffairs.appstate.edu/resources/syllabi-policy-and-statement-information.