SI340: Theory of Computing, Fall 2013


This course provides an introduction to models of computation and computability. In particular, we will ask the question,

"What are the fundamental capabilities and limitations of computers?"

List of topics include:

Instructor
Seung Geol Choi (Office hours: Stop in anytime, or email for an appointment. Research day is Thursday)


Links


Learning Objectives


Program Outcomes - Goals for the whole major to which this course contributes


Textbook
We will use Introduction to the Theory of Computation, Third Edition by Michael Sipser, Course Technology.


Extra Instruction
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.


Grading
The break-down on your final grades will be:

No late homework submissions will be accepted. Best 6 out of 8 quizzes will be counted.

Mid-semester grades for the 6-Week and 12-Week marking periods will be calculated by giving 80% weight to exam/quiz grades and 20% weight to homework grades.

The final exam will be cumulative.


Honor
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.


Section Leader
The duties of the section leader include:


Abscences
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.


Classroom Decorum
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.