Math 3265 (Applied Logic)
Spring 2018
Instructor | Reed Solomon |
david.solomon@uconn.edu | |
Office | 435 MONT |
Office Hours
My office hours are Wednesday 12:15-2:00 and Thursday 1:15-3:00. However, I am around the Math Department in Monteith almost every day, so if you cannot make those times, you can stop by my office or send an email to request another time.
Exam 1
Exam 1 will be held in class on Wednesday February 28 (note this is a different day than originally scheduled). It will cover the material on binary relations and on classical propositional logic.
Syllabus
The syllabus is here. There is
no required textbook for the course and I will distribute
note for the various topics. The grading will be based on 25%
for homework (roughly weekly and typically collected on
Friday), 25% for each of the two midterm exams and 25% for the
final exam. The midterm exams are tentatively scheduled to be
in class on Friday February 23 rescheduled to
Wednesday February 28 and Friday March
30. I may end up moving these dates slightly depending on
the pace of the course. When UConn announces the time and place for our final exam, I will post it here as well.
UConn Policy Statement on Final Exam Scheduling: Final exam week for Spring 2018 takes place from Monday, April 30 through Saturday, May 5, 2018. Students are required to be available for their exam during the stated time. If you have a conflict with this time, you must visit the Dean of Students Office to discuss the possibility of rescheduling this exam. Please note that vacations, previously purchased tickets or reservations, social events, misreading the exam schedule and over-sleeping are not viable excuses for missing a final exam. If you think that your situation warrants permission to reschedule, please contact the Dean of Students Office with any questions. Thank you in advance for your cooperation.
Students with disabilities: Please contact me during office hours (or come by my office at another time) to discuss academic accommodations that may be needed during the semester due to a documented disability. If you have a disability for which you wish to request accommodations and have not contacted the Center for Students with Disabilities (CSD), please do so as soon as possible. The CSD engages in an interactive process with each student and reviews requests for accommodation on an individualized case-by-case basis. The CSD is located in Wibur Cross Room 204 and can be reached at 860-486-2020 or at csd@uconn.edu. Detailed information regarding the process to request accommodations is available on the CSD website.
Homework Assignments and Notes
- Homework 1 due Friday February 2, [solutions].
- Reading on relations.
- Reading on classical propositional logic.
- Homework 2 due Friday February 9, [solutions].
- Homework 3 due Friday February 23, [solutions].
- Some review information for the exam, with comments on Homework 3.
- Homework 4 due Friday March 9, [solutions].
- Reading on propositional modal logic.
- Homework 5 due Monday March 26, [solutions]. This homework includes a list of review problems for Exam 2.
- Here are some additional review problems [and solutions] for Exam 2 which focus on the material we covered last week. You do not need to turn these problems in.
- Here are some notes on register machines. You can ignore the material at the end of these notes on the connections to Peano arithmetic. Also, here are some notes on computable functions from a more abstract viewpoint.
- Homework 6, due Friday April 20.
- Review problems for the final exam [and partial solutions]. The final exam will be cumulative. About half the exam will be on the material since the 2nd exam and the other half will be on classical and model propositional logic.
- Here are some additional review problems for the final exam [and solutions].