Undergraduate

Courses

Computer Science

B401 Fundamentals of Computing Theory

Credits: 3

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

Fundamentals of formal language theory, computation models and computability, the limits of computability and feasibility, and program verification.

Fall 2017


Instructor: Erik Wennstrom
Time: Multiple Times
Location: Multiple Locations

  • Course History

      Spring 2017


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


      Instructor: Ladislav Novak
      Time: Multiple Times
      Location: Multiple Locations

      Fall 2016


      Instructor: Ladislav Novak
      Time: Multiple Times
      Location: Multiple Locations

      Spring 2016


      Instructor: Gregory J. E. Rawlins
      Time: Multiple Times
      Location: Multiple Locations
      Course URL (syllabus link or course homepage)

      Fall 2015


      Instructor: Dirk Van Gucht
      Time: Multiple Times
      Location: Multiple Locations

      Spring 2015


      Instructor: Gregory J. E. Rawlins
      Time: Multiple Times
      Location: Multiple Locations
      Course URL (syllabus link or course homepage)

      Fall 2014


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

      Spring 2014


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

      Fall 2013


      Instructor: Daniel Leivant
      Time: Multiple Times
      Location: Lindley Hall, Room 008
      Course URL (syllabus link or course homepage)

      Fall 2012


      Instructor: Arun Chauhan
      Time: 1:00PM-2:15PM Mon, Wed
      Location: Lindley Hall, Room 008

      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


      Notice: Undefined variable: s_replace in /ip/soic2/wwws/_php/Course.php on line 258