General Information

Textbook
A Mathematical Introduction to Logic by Herbert Enderton (second edition) (ISBN: 978-0122384523)

Scheduled Lectures
M. Groszek	MWF 12:50 - 1:55 (x-hour) Tu 1:20 - 2:10	Room 201 Kemeny Hall

Instructor	Office	Office Hours	Email	Canvas/Other Resources
Professor M. Groszek	330 Kemeny Hall	Mon 2:30-4:00, Thu 2:00-3:30	Email	TBA

Office hours are always drop in; you need not make an appointment. If you have a conflict with regularly scheduled office hours, you can make an appointment for another time. Please come to office hours whenever you are inspired to, and whenever you suspect you ought to. Bring questions about the class, about the homework, about mathematical logic, about studying mathematics, about graduate school... You are always welcome.

We will occasionally, but not regularly, use the x-hour. Because of Martin Luther King Day, instead of meeting on Monday 1/21, we will meet during the x-hour on Tuesday 1/22.

Exams
Midterm Exam 1	Date due Mon 1/28	Takehome
Midterm Exam 2	Date due Mon 2/18	Takehome
Final Paper	TBA

Homework Policy

• Graded written homework will be posted to the assignments page, and collected weekly, due at the beginning of Wednesday's class.
  Homework assigned on M, W, F of one week is due the following Wednesday.
• Homework should be submitted on standard sized paper, with no ragged edges, using one side only. (It is fine to use the blank side of scratch paper, as long as you obviously cross out anything on the reverse side.) Please write neatly; if I cannot read your homework, I cannot grade it.
• There will sometimes be ungraded assignments, due the following class. They may or may not be collected, unless they are assigned for discussion, in which case you need not write them up.
• Homework must be turned in at the beginning of class, which is 12:50. If you do not bring your homework to class, you must turn it in by email or at my office by noon.
• Homework late by at most one week will count for partial credit: 90 percent if turned in by 5:00 on the day it is due, 80 percent if turned in by the beginning of the next class, 50 percent if turned in within one week of the due date.
• If you must miss a class, it is your responsibility to submit all homework on time.
• Problems we work on in class, unless they are explicitly assigned as homework, are not to be turned in.
• Consult the honor principle (below) as it applies to this course.

Grades
The course grade will be based upon the midterm exams, the homework, and the final paper, weighed approximately as follows. In borderline cases, factors such as class participation, demonstration of the ability to work independently and collaboratively, or a steady record of improvement will be considered.
Midterm Exams	1/3
Homework	1/3
Final Paper	1/3

The Honor Principle

On Homework:

Academic integrity is at the core of our mission as mathematicians and educators, and we take it very seriously. We also believe in working and learning together. Collaboration is permitted and encouraged, but no copying , and to be clear, this means no copying even from a board or scrap of paper on which a solution was hashed out collaboratively. What a student turns in as a homework solution is to be his or her own understanding of how to do the problems. The solutions you submit must be written by you alone. Any copying (electronic or otherwise) of another person's solutions, in whole or in part, is a violation of the Academic Honor Code. Moreover, if in working with someone they have provided you with an important idea or approach, they should be explicitly given credit in your writeup. (This will not lower your grade, which is based on your demonstrated understanding, not on how you gained that understanding.) Hints given in office hours need not be cited. Note: It is not sufficient to annotate your paper with a phrase like ``I worked with Joe on all the problems.'' Individual ideas are to be credited at each instance; they represent intellectual property.

On Exams:

On exams, you may not give or receive help from anyone. You should discuss the exams only with the instructor, for clarification of problems. You may use your textbook, your own notes and homework, and any materials distributed in class. You may not use outside sources, including but not limited to other textbooks and online sources. If you have any questions as to whether some action would be acceptable under the Academic Honor Code, please speak to me, and I will be glad to help clarify things. It is always easier to ask beforehand. The final paper assignment will include information about how the honor principle applies to your final paper.

Disabilities, Religious Observances, etc.


Students with disabilities who may need disability-related academic adjustments and services for this course are encouraged to see their instructor privately as early in the term as possible. Students requiring disability-related academic adjustments and services must consult the Student Accessibility Services office (205 Collis Student Center, 646-9900, Student.Accessibility.Services@Dartmouth.edu). Once SAS has authorized services, students must show the originally signed SAS Services and Consent Form and/or a letter on SAS letterhead to their instructor. As a first step, if you have questions about whether you qualify to receive academic adjustments and services, you should contact the SAS office. All inquiries and discussions will remain confidential.

Some students may wish to take part in religious observances that occur during this academic term. If you have a religious observance that conflicts with your participation in the course, please meet with your instructor before the end of the second week of the term to discuss appropriate accommodations.

Some students may wish to take part in extracurricular activities or have other personal commitments that conflict with class time. Please speak to your instructor in advance.