Middlebury

CSCI 0301

Theory of Computation

Theory of Computation
This course explores the nature of computation and what it means to compute. We study important models of computation (finite automata, push-down automata, and Turing machines) and investigate their fundamental computational power. We examine various problems and try to determine the computational power needed to solve them. Topics include deterministic versus non-deterministic computation, and a theoretical basis for the study of NP-completeness. (CSCI 0200 and CSCI 0201) 3 hrs. lect./disc.
Subject:
Computer Science
Department:
Computer Science
Division:
Natural Sciences
Requirements Fulfilled:
DED
Equivalent Courses:

Sections

Spring 2025

CSCI0301A-S25 Lecture

Fall 2024

CSCI0301A-F24 Lecture (Briggs)
CSCI0301B-F24 Lecture (Briggs)

Spring 2024

CSCI0301A-S24 Lecture (Briggs)
CSCI0301B-S24 Lecture (Briggs)

Fall 2023

CSCI0301A-F23 Lecture (Dickerson)

Spring 2023

CSCI0301A-S23 Lecture (Swenton)

Fall 2022

CSCI0301A-F22 Lecture (Swenton)

Spring 2022

CSCI0301A-S22 Lecture (Briggs)

Fall 2021

CSCI0301A-F21 Lecture (Briggs)
CSCI0301B-F21 Lecture (Briggs)

Spring 2021

CSCI0301A-S21 Lecture (Dickerson)
CSCI0301X-S21 Lab (Dickerson)
CSCI0301Y-S21 Lab (Dickerson)
CSCI0301Z-S21 Lab (Dickerson)

Fall 2020

CSCI0301A-F20 Lecture (Briggs)
CSCI0301X-F20 Discussion (Briggs)
CSCI0301Y-F20 Discussion (Briggs)
CSCI0301Z-F20 Discussion (Briggs)

Spring 2020

CSCI0301A-S20 Lecture (Dickerson)
CSCI0301B-S20 Lecture (Dickerson)

Fall 2019

CSCI0301A-F19 Lecture (Dickerson)

Spring 2019

CSCI0301A-S19 Lecture (Dickerson)

Fall 2018

CSCI0301A-F18 Lecture (Briggs)

Spring 2018

CSCI0301A-S18 Lecture (Briggs)

Fall 2017

CSCI0301A-F17 Lecture (Briggs)

Fall 2016

CSCI0301A-F16 Lecture (Briggs)

Fall 2015

CSCI0301A-F15 Lecture (Briggs)

Fall 2014

CSCI0301A-F14 Lecture (Briggs)

Fall 2013

CSCI0301A-F13 Lecture (Dickerson)

Fall 2012

CSCI0301A-F12 Lecture (Dickerson)

Fall 2011

CSCI0301A-F11 Lecture (Briggs)

Fall 2010

CSCI0301A-F10 Lecture (Dickerson)

Fall 2009

CSCI0301A-F09 Lecture (Briggs)

Fall 2008

CSCI0301A-F08 Lecture (Dickerson)

Fall 2007

CSCI0301A-F07 Lecture (Martin)

Fall 2006

CSCI0301A-F06 Lecture (Dickerson)

Fall 2005

CSCI0301A-F05 Lecture (Briggs)

Fall 2004

CSCI0301A-F04 Lecture (Dickerson)

Fall 2003

CSCI0301A-F03 Lecture (Dickerson)