Apr 28, 2024  
2015-2016 Undergraduate Catalog 
    
Catalog Navigation
  Catalog Home
  About UNG
  Accreditation and Compliance
  Academic Calendar
  Undergraduate Admissions
  Financial Information
  Financial Aid
  Student Affairs
  eCore and Distance Learning
  Academic Information
  Colleges
  Academic Departments
  Programs
  Courses
  University System of Georgia
  Campuses
  F/S Phone & E-Mail Search
  See All Catalogs
HELP
2015-2016 Undergraduate Catalog [Archived Catalog]

CSCI 4300 - Theory of Computation

This course introduces the theory of computability, automata, and formal languages. Topics include regular expressions, contact-free and context-sensitive grammar. Turing machines, recursive functions, lambda calculus, and formal program semantics. Pre-requisite: CSCI 4200

Prerequisite/Corequisite:
CSCI 4200 with C or greater

Hours:
3