A New Approach to the First Theory Cours e John E . Savage Department of Computer Scienc e Brown Universityjes@cs .brown .edu November 1, 199 8 Abstrac t This article describes a novel first theory course, entitled "Models of Computation, " that I've been teaching at Brown University for the last three years with considerabl e success . In fact, many students tell me that they enjoy it very much, a somewha t unusual reaction for a required theory course . I believe its appeal is due to my efforts t o make the material relevant to their experience and interests by introducing new topics , namely, circuits, computer organization, and programming, and covering the standar d material in an unusual order . Highlights of the course are that students acquire a good understanding of NP-complete languages by midsemester, learn almost all of th e material normally taught in a theory course on formal languages and automata an d computability, and develop a very good appreciation for the importance of reduction s in theoretical (and non-theoretical) computer science . More information on the cours e can be found at www.cs .brown.edu/courses/cs051 . A New Approach is Neede d
/lp/association-for-computing-machinery/a-new-approach-to-the-first-theory-course-jSiHsirVK0