CSCI 338: Computer Science Theory
Spring 2024
Schedule subject to change. Refresh webpage (or hit F5) to view current page.
Lecture
- Monday, Wednesday, Friday 11:00 - 11:50 am in Reid 104.
- Lectures will be recorded and put on this website.
Instructor
Sean Yaw
- E-mail: sean.yaw (at) montana.edu (email me whenever, I'll respond as soon as I get it)
- Office: Barnard Hall 360
- Office Hours: Monday, Wednesday, and Friday, 10:00 - 11:00 am.
Textbook (not required)
- Introduction to the Theory of Computation by Michael Sipser.
Course Prerequisites
- CSCI 232: Data Structures and Algorithms
- CSCI 246: Discrete Structures
Course Objectives
MSU course description: Formal languages, theory, automata, Turing Machines, computability, the Church-Turing thesis, computational complexity, and NP-completeness.
At the end of the course, my goal is for you to be able to:
- Understand what NP-Complete problems are, have an intuition for the solvability of new problems, and have familiarity with techniques to deal with NP-Complete problems.
- Given a problem, understand it and develop a clear, efficient plan to solve it.
- Be comfortable proving statements and formulating clear arguments.
- Understand that some problems cannot be solved.
- Understand various computational models and their inherit limitations.
Grading
- Homework - 30% (evenly weighted with two lowest dropped). Homework solutions need to be legible. Use a text editor (like LaTeX) if needed.
- Projects - 30% (evenly weighted with no drops).
- Tests + Final - 40% (evenly weighted with lowest dropped).
At the end of the semester, grades will be determined (after any curving takes place) based on your class average as follows:
- 93+: A
- 90+: A-
- 87+: B+
- 83+: B
- 80+: B-
- 77+: C+
- 73+: C
- 70+: C-
- 67+: D+
- 63+: D
- 60+: D-
- 0+: F
Late Policy
If you submit a homework assignment late, but within 12 hours of being due, the maximum credit you can receive is 50%. After 12 hours, you receive 0. If you submit a project late, but within 24 hours, the maximum credit you can receive is 70%. After 24 hours, you receive 0.
Collaboration Policy
- You may do homework assignments and projects in groups of up to three people. You must indicate on the submission everyone that contributed. If someone did not substantially contribute to a submission, they cannot be included on it.
- Exams are to be taken individually.
- You may not copy or modify solutions that are not your own (e.g. from the Internet, classmate not listed as a contributor, AI overlords...) for any graded material.
Failure to abide by these rules will result in everyone involved being reported to the Dean of Students and could result in failing the course.