This course provides an introduction to models of computation and
computability. In particular, we will ask the question,
Seung Geol Choi (Office hours: Stop in anytime, or email for an appointment. Research day is Thursday)
Program Outcomes - Goals for the whole major
to which this course contributes
We will use Introduction to the Theory of Computation, Third Edition by Michael Sipser, Course Technology.
You are strongly encouraged to come in for extra instruction (EI) when you are having trouble. You may just stop by your instructor's office, or make an appointment in advance to ensure availability. If you miss class, get the notes from the section leader or other classmate.
The break-down on your final grades will be:
You are required to abide by the USNA and department honor policies at all times , including, but not limited to: The Honor Concept of the Brigade of Midshipmen, and the Policies Concerning Graded Academic Work.
You may discuss homework problems with your classmates freely, but must write your own solution, and list the names of all people that you collaborated with. If you use a source other than the textbook in doing your homework, explain the material from the source in your own words and acknowledge the source. Collaboration without acknowledgment is considered cheating. In any case, you are not allowed to look at written solutions of any other student (even if you worked on solving the homework together) or of any other external sources.
The duties of the section leader include:
You are responsible for obtaining any material missed due to an absence. You must ensure your work is submitted on time regardless of other commitments, i.e. duty, sick call, MO, etc. Should emergencies arise, it is your responsibility to coordinate in advance with the instructor (emergency leave, hospitalization, SIR, etc.).
There will be no make-up for missed quizzes. You can miss at most two quizzes with little harm, but you must accept the consequence missing more than two.
Beverages are permitted in classrooms and labs provided they are in closed containers. No food is permitted in classrooms or labs. You are not allowed to use a laptop or a smartphone during the lecture.