Theoretical Foundations

Fall 2022

Theoretical Foundations

Listed in: Computer Science, as COSC-401

Moodle site: Course (Login required)

Faculty

John E. Rager (Section 01)

Description

This course covers basic mathematical concepts that are essential in computer science and then uses them to teach the theory of formal languages and machine models of languages. The notion of computability will be introduced in order to discuss undecidable problems. The topics covered include: regular, context-free and context-sensitive languages, finite state automata, Turing machines, decidability, and computational complexity. Offered in alternate years.

Requisite: None, although analytical aptitude is essential. Limited to 50 students. Fall semester: Professor Rager.

How to handle overenrollment: Priority to majors

Students who enroll in this course will likely encounter and be expected to engage in the following intellectual skills, modes of learning, and assessment: (none specified)

Course times and locations

COSC 401 - LEC

Section 01
M 12:00 AM - 12:50 AM SCCE Room
W 12:00 AM - 12:50 AM SCCE Room
F 12:00 AM - 12:50 AM SCCE Room

Textbooks

Below are the textbooks used in this course, along with pricing information and availability at local bookstores. The price range shown is based upon queries to multiple online booksellers; click on the the price field to see detailed pricing information.

ISBN	Title	Publisher	Author(s)	Comment	Price
9781133187790	Introduction to the Theory of Computation	Cengage Learning	Sipser, Michael		From $28.20-$313.37

Offerings

2022-23: Offered in Fall 2022
Other years: Offered in Spring 2013, Spring 2015, Spring 2017, Spring 2019, Spring 2021, Fall 2022