This course teaches the principles of functional, imperative, and logic programming languages. Topics covered include: meta-circular interpreters, semantics (operational and denotational), type systems (polymorphism, inference, and abstract types), object oriented programming. The course involves substantial programming assignments and problem sets as well as a significant amount of reading. The course uses the Java, C++, or C# programming languages for its assignments.

本課程旨在介紹C程式語言之設計，其中包含程式設計之理論、原理、元件及其應用等。本課程涵蓋C語言程式設計之基礎知識。課程內容包括：函數、陣列、指標、結構與指標、檔案處理、大型程式的發展與物件導向等，並介紹其設計方法。在整個課程架構下，學生將學會如何以C編譯器設計程式。

洪維恩，《C語言教學手冊》，第4版，旗標出版社。