Home

Courses

Computer Science

A595 Fundamentals of Computing Theory

Credits: 3

Prerequisite(s): CSCI-C 212 and C 241 recommended.

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

  • 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