CSCI 361
Theory of Computation Spring 2022 (also offered Fall 2021)
Division III Quantative/Formal Reasoning
Cross-listed CSCI 361 / MATH 361
This is not the current course catalog

Class Details

This course introduces a formal framework for investigating both the computability and complexity of problems. We study several models of computation including finite automata, regular languages, context-free grammars, and Turing machines. These models provide a mathematical basis for the study of computability theory–the examination of what problems can be solved and what problems cannot be solved–and the study of complexity theory–the examination of how efficiently problems can be solved. Topics include the halting problem and the P versus NP problem.
The Class: Format: lecture/conference; Lecture content will be delivered through asynchronously viewed video modules. Conference sections meeting twice per week will be used for synchronous discussions. Students should sign up for lecture and one conference section.
Limit: 24(12/con)
Expected: 24
Class#: 3130
Grading: no pass/fail option, no fifth course option
Requirements/Evaluation: online multiple choice and short answer questions, weekly problem sets in groups, a research project, and a final examination
Prerequisites: CSCI 256 or both a 300-level MATH course and permission of instructor
Enrollment Preferences: current or expected Computer Science majors
Distributions: Division III Quantative/Formal Reasoning
Notes: This course is cross-listed and the prefixes carry the following divisional credit:
CSCI 361 Division III MATH 361 Division III
QFR Notes: This course include regular and substantial problem sets in which quantitative/formal reasoning skills are practiced and evaluated.
Attributes: COGS Interdepartmental Electives

Class Grid

Course Catalog Archive Search

TERM/YEAR
TEACHING MODE
SUBJECT
DIVISION



DISTRIBUTION



ENROLLMENT LIMIT
COURSE TYPE
Start Time
End Time
Day(s)