CSE 105: Automata and Computability Theory

Winter 2015 (b): Course Overview / Policies


Web page: http://cseweb.ucsd.edu/classes/wi15/cse105-b
Instructor: Daniele Micciancio
Textbook: M. Sipser, Introduction to the Theory of Computation (any edition)
Lectures: MWF 10:00a-10:50a (CENTR 212)
Discussions: W 6:00p-6:50p (CENTR 115) and W 7:00p-7:50p (CENTR 212)
Final: Friday March 20, 8:00a-10:50:a (TBA)
Section ID: 828266

Course Description: This course introduces the basic, formal ideas underlying the notion of computation. Syllabus: finite automata, regular expressions, context-free grammars, pushdown automata, Turing machines, decidability, undecidability, the halting problem, Turing reductions, map reductions, introduction to computational complexity.


Prerequisites

The formal prerequisites for CSE 105 are CSE 12 and CSE 21. One of Math 15B, Math 100A, or Math 103A may substitute for CSE 21.

We expect you to be comfortable with mathematical concepts such as sets, tuples, relations, and functions. You should in particular be familiar with the notion that a set is (or isn't) closed under some operation. We expect you to be comfortable with manipulating formal mathematical definitions reading and writing formal proofs.

We further expect you to be comfortable with basic data structures, such as trees and graphs; with basic algorithms on those data structures, such as depth-first search and graph reachability; and with basic tools of algorithm analysis, such as big-O notation.

Objectives

Our objectives in CSE 105 are: (1) to define computation formally; (2) to show that there are limits to what is computable; (3) to reason precisely about computation and its limits. Along the way, we will pick up some useful tools (finite automata, regular expressions, context-free grammars) and lay the foundation for the study (in CSE 200) of complexity theory.

A successful student will learn the following in CSE 105:

Assignments and Course Policies

Exams: There will be 6-7 homework assignments, 2 midterm exams, and a final. Midterm exams are scheduled during regular lecture hours and everybody is expected to attend. There will be no make up midterm or final. Not showing up to either exam will count as 0 grade, unless your absence is due to a demonstrated personal health problem at the time. You can take the textbook and 1 double sided sheet of notes to each midterm or final exam, but due to the limited amount of space in the classroom, you are not allowed to bring any other material for consultation. Also, the book and/or notes must be your own. You won't be allowed to share book/notes with other students.

Homework assignments will typically go out on Wednesday, and be due the following Wednesday. (No late submissions accepted.) Submission instructions will be specified on the class webpage. Your class grade will be based on your Homework submissions (20% total), the two Midterm exams (20% each), and the final (40%).

Grades will be available through GradeSource. If you are enrolled in the class you will receive an email from gradesource with instructions and a secret number to access your grades. Final grades will be based roughly on the following scale: 50-55% (D), 55-70% (C), 70-85% (B), 85-100% (A), with (+) and (-) assigned to the instructor discretion. This includes, but is not limited to improvement over the quarter, class participation, and natural "breaks" in the distribution of scores.

Regrade requests. Regrades on assignments and midterms are only accepted within a week after the graded object has been returned. Do not modify your solutions after they are returned to you. If you alter your solutions, you loose any right to request a regrade of that exam. Modifying the exam and then bringing it back to ask for a regrade will be treated as a violation of academic honesty rules, and so prosecuted.

Academic honesty: All students are expected to be familiar with and abide by the rules of UCSD Policy on Integrity of Scholarship as described in the UCSD General Catalog. In case of cheating, such policy will be enforced. This means an F grade in the course, and action by the Dean of your college (probation or suspension from UCSD). You are encouraged to form study groups to discuss the material presented in class and the homework assignments. However, you should write the solutions to the homework on your own. You can use Internet, additional textbooks, and any material you find useful as a study tool. However, the use of any such resource in the solution of homework assignments is prohibited. In particular, you should not search for solutions to homework problems on-line, or post homework related questions on any site other than the course web discussion board. Should you still (inadvertently) come across material on the internet that is closely related to the solution of the homework assignments, make sure you clearly aknowledged your source in your solutions to avoid academic dishonesty charges. Posting of your solutions (as a whole, or in part, even after the homework due date) is also prohibited. No form of collaboration is allowed during midterm and final exams.