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語言架構簡介: 介紹標頭檔include的寫法與主程式架構。 (二)資料型態: 熟悉在C中基本的資料型態，主要有「整數」（integer）、「浮點數」（float）、「字元」（character）。 (三)算術運算子: 在C中提供運算子（operator)，例如與算術相關的加、減、乘、除這類的運算子，另外還有一個也很常用的餘除運算子，這類以數學運算為主的運算子，我們稱之為「算術運算子」（arithmetic operator）。 (四)比較與條件運算子: 數學上有比較的運算，像是大於、等於、小於等等，C也提供了這些運算子，這些運算子我們稱之為「比較運算子」（comparison operator），它們有大於（）、不小於（=）、小於（）、不大於（=）、等於（==）以及不等於（!=）。 (五)邏輯與位元運算子: 在數學邏輯上有所謂的「且」、「或」與「反」，在C中也提供這幾個基本邏輯運算所需的「邏輯運算子」。 (六)遞增與指定運算子: ++與--。 (七)條件判斷 - if 與switch: (八)迴圈式 - for, while與do while: (九)一維陣列

作者:洪維恩
書名:C語言教學手冊第四版