General Information | Schedule | Homework |
Textbook |
---|
There is no required textbook. I will be posting course notes here: Current Notes
Please let me know if you find typos or if you have suggestions!
I encourage you to consult other sources as supplements. The following books cover most of the material on first-order logic:
For the set theory material, I recommend the following:
Administrative Information |
---|
Instructor | Joe Mileti |
Office | Noyce 2514 |
Office Hours | Monday 9:00 - 9:50 Tuesday 10:00 - 11:00 Wednesday 1:00 - 2:20 Thursday 1:00 - 2:20 Also By Appointment |
miletijo ~at~ grinnell ~dot~ edu | |
Phone | 269-4994 |
Class Time | TR 2:30 - 3:50 |
Class Room | Noyce 2517 |
Course Objectives |
---|
Homework Assignments |
---|
Homework assignments will be due on Fridays, and will be posted to the course webpage.
Homework will be graded on the basis of correctness, elegance, and also clarity of exposition. You have all had experience writing mathematical proofs, and one important goal of this goal is to hone your mathematical writing skills. You should take extra time to organize and write your solutions after you have solved the problems. Write in complete sentences and connect mathematical symbolism with explanation. A correct solution which is difficult to read and understand will not receive full credit. Think of each assignment as a small paper that you are writing for a Social Studies or Humanities course.
I strongly recommend using LaTeX to write up your homework assignments. Take the time to learn the basics (and install it on your machine) during the first week of class. I can provide you with some assistance and sample documents.
Exams |
---|
There will be one take-home exam and a scheduled three hour final exam.
Final exam date: Friday, May 20 at 9:00am.
Grading |
---|
Percentage | |
---|---|
Homework | 50% |
Take-Home Exam | 20% |
Final | 30% |
Academic Honesty |
---|
Consult the general Grinnell College policy on Academic Honesty and the associated booklet for general information.
Homework: If you enjoy working in groups, I strongly encourage you to work with others in the class to solve the homework problems. If you do collaborative work or receive help form somebody in the course, you must acknowledge this on the corresponding problem(s). Writing "I worked with Sam on this problem" or "Mary helped me with this problem" suffices. You may ask students outside the course for help, but you need to make sure they understand the academic honesty policies for the course and you need to cite their assistance as well. Failing to acknowledge such collaboration or assistance is a violation of academic honesty.
If you work with others, your homework must be written up independently. You can not write a communal solution and all copy it down. Discussing ideas and/or writing parts of computations together on whiteboards or scratch paper is perfectly fine, but you need to take those ideas and write the problem up on your own. Under no circumstances can you look at another student's completed written work.
I encourage you to look to other books or online sources for additional help in understanding concepts and ideas, but you must cite other books or online sources if they provide you with an idea that helps you solve a problem. However, you may not specifically look for solutions to homework problems, and you may not solicit help for homework problems from online forums.
Exam and Final: You may neither give nor receive help from others. You will be allowed to consult the material from the course (the official notes and homework solutions, as well as your own notes and homework).
Disabilities |
---|
Students with learning, physical, or psychiatric disabilities enrolled in this course with disability-related classroom accommodations are encouraged to make an office appointment with me in first few weeks of class. You will need to provide documentation of your disability to the Coordinator of Disability Resources, Autumn Wilke, located on the third floor of the JRC (x3702).
Religious Observations |
---|
If you have a religious observance that conflicts with your participation in the course, please come speak with me as soon as possible to discuss appropriate accommodations.