Graduate

Courses

Computer Science

A595 Fundamentals of Computing Theory

Credits: 3

Prerequisite(s): CSCI-C 241

Fundamentals of formal language theory, computation models and computability, the limits of computability and feasibility, and program verification. Credit not given for both CSCI-A 595 and B 401. May be applied toward the Ph.D. minor, graduate credit available for CS M.S. candidates with special permission.

  • Course History

      Spring 2014


      Instructor: Gregory J. E. Rawlins
      Time: Multiple Times
      Location: Multiple Locations

      Spring 2012


      Instructor: Daniel Leivant
      Time: Multiple Times
      Location: Multiple Locations

      Spring 2011


      Instructor: Joseph Morwick
      Time: 9:30AM-10:45AM Mon, Wed
      Location: Ballantine Hall, Room 242