• Syllabus
• Lecture notes 00 (updated on 2011/02/24)
• Lecture notes 01 (updated on 2011/03/08)
• Lecture notes 02 (updated on 2011/03/22)
• Lecture notes 03 (updated on 2011/03/08)
• Lecture notes 04 (updated on 2011/03/08)
• Lecture notes 05 (updated on 2011/03/08)
• Lecture notes 06 (updated on 2011/03/08)
• Lecture notes 07 (updated on 2011/03/08)
• Lecture notes 08 (updated on 2011/03/08)
• Lecture notes 09 (updated on 2011/03/08)
• Lecture notes 10 (updated on 2011/03/08)
• Lecture notes 11 (updated on 2011/03/08)
• Lecture notes 12 (updated on 2011/03/08)

• Homework:

All problems in homework are from the Chapter Review Problems section in the corresponding chapters of the textbook.  Please email your homework to the Teaching Assistant.  A homework is considered automatically announced at the end of the corresponding chapter.  The deadline of homework submission is 24:00 Wednesday of the next week after the announcement. 

• HW  1:  4, 26(b)(e)(h)(k), 28(b)(c), 30(b)(c), 31(b)(e), 32(b)(c)(e)(f), 35(b)(c), 37, 49, 50, 53, 54, 58
• HW  2:  20, 34(b)(d)(f)(h)(j)(l), 35(b)(d), 39(b)(d), 40, 42, 45, 47, 48, 50, 53
• HW  3:  30, 34, 35, 38, 40, 42, 43, 44 ,45, 46
• HW  4:  23, 29, 38, 39, 40, 41, 42, 43, 45, 46
• HW  5:  16, 22, 27, 29, 31, 34, 35, 56
• HW  6:  23, 38, 42, 46, 53, 54, 56
• HW  7:  14, 15, 19, 22, 25, 28, 30
• HW  8:  7, 9, 16, 19, 26, 29, 30, 40, 43
• HW  9:  9, 12, 13, 26, 31, 35, 37, 44, 51, 58
• HW10:  2, 5, 13, 15, 16, 30
• HW11:  7, 15, 25, 27, 28, 29, 38, 41, 42, 43, 47, 53
• HW12:  3, 7, 17, 19, 20, 23, 24, 27, 31, 33, 37, 47

• Projects:
• Project 1: Modifying a Sudoku solver program.
• Project 2: Modifying a specification models.

• Instructor Information:

  • Name: 王凡

  • Mail: farn＠cc.ee.ntu.edu.tw

  • Room: 博理館 616

  • Phone: 02-33663602

   

• Teaching Assistant Information:

  • Name: 吳哲榮

  • Mail: b93901098＠ntu.edu.tw

  • Room: 博理館 618

  • Office Hour: Wednesday 17:30~18:30 at 博理館112.