A study of the formal theories underlying computer science. Topics include Turing machines, automata theory, recursive functions, computability, and formal languages. Prerequisites: CS 270 or consent, MATH 250 . Fall (Group II)

Global Search Catalog Search
Choose Search Location

Search Keyword Field

Whole Word/Phrase
Advanced Search

Catalog Navigation

Catalog Home

The University

Academic Regulations and Procedures

Academic Honors and Distinctions

Degrees and Special Programs

Majors and Minors

Courses of Instruction

Student Engagement and Success and Non-Academic Regulations

Expenses and Financial Aid

Facilities

Prizes and Awards

Corporation (Board of Trustees)

University Personnel