Programming languages are notations for specifying, organizing, and reasoning about computations. Different programming languages arise from different programming paradigms. The goal of this course is to acquaint the students with the constructs and their underlying concepts of major languages in the various programming paradigms. Some fundamental elements of program verification will also be covered.
Tyng-Ruey Chuang (莊庭瑞), Institute of Information Science, Academia Sinica and NTU IM Dept., Xtrc@iis.sinica.edu.twX
(between the enclosing pair of X's).
Yih-Kuen Tsay (蔡益坤), NTU IM Dept., 3366-1189, Xtsay@im.ntu.edu.twX
(between the enclosing pair of X's).
Wednesday 2:20~5:20PM, Room 304, College of Management, Building 2.
Wednesday 1:20~2:10PM, Room 1108, College of Management, Building 2, or by appointment.
Jui-Shun Lai (賴瑞舜), 3366-1205, Xnarration.lai@gmail.comX
(between the enclosing pair of X's).
Note: there are four TA sessions on 10/24, 10/31, 12/5, and 2013/1/2, making up the missed class meeting on 11/28.
Homework 20%, Midterm 30%, Final 40%, Attendance/Participation 10%.