ANNOUNCEMENTS
l
2010/9/23 Course webpage updated.
l
2010/9/30 Lecture notes uploaded
l
2010/10/19 Project 1 updated
l
2010/10/19 Homework updated
l
2010/10/28 new redlib and Sudoku sample version updated
l
2010/11/03 midterm exam will hold on 11/10
LECTURE NOTES
(UNDER REVISION CONSTANTLY)
HOMEWORKS
l Homework 1 due:2010/10/27 hand-copy in class or E-mail to TA before 24:00
l Homework 2 due:2010/10/27 hand-copy in class or E-mail to TA before 24:00
l Homework 3 due:2010/11/03 hand-copy in class or E-mail to TA before 24:00
l Homework 4 due:2010/11/10 hand-copy in class or E-mail to TA before 24:00
l Homework 5 due:2010/11/10 hand-copy in class or E-mail to TA before 24:00
TERM PROJECTS
Every student should present at least one project in this course.
l
Project 1 : circular
Sudoku due:2010/11/03
Please
download the newest redlib
version and the newest Sudoku
version sample.
We need 3~4 students to present project 1 on 11/3, please E-mail TA if you want to go first.
l
Project 2 : LTE
modeling due:2010/12/08
We need 3~4 students to present project 2 on 12/8, please E-mail TA if you want to present this project.
Any problem about GRED, please contact 黃柏鈞 alex905296@hotmail.com
l
Project 3 : Model
checking due:2011/01/19
We need 3~4 students to present project 3 on 01/19, please E-mail TA if you want to present this project.
EXAMINATIONS
REFERENCE MATERIALS
TA INFORMATION