|Lab||Professional Activities||Research Projects||Links|
Time: 10:20-12:10 AM, Wednesday
Place: Room BL-112
Office phone: (02) 3366 3700 ext 123
Office hours: by appointment
TA:黃柏凱 (email) Office hour: 週四晚 18:30~19:30, BL-112
何宗諭 (email) Office hour: 週五(讀書會) 17:30~19:30, 電二-102
Ms. Celestine Kao 星期五中午11:30-13:30 明達 709
Introduction: Much of what students need to learn in this course is not really "discrete" mathematics. It includes a fair amount of continuous abstract mathematics, e.g. functions, and basic ability to read and write proofs. Our goal is to prepare students for upper division computer science and mathematics courses, including: automata theory, combinatorics and graph theory, algorithm analysis, operating systems, data base, compilers, artificial intelligence, graphics, etc. This course also provides a rigorous introduction to formal approaches to software development (specifications, verification, testing, etc.) useful in the software engineering sequence. I will try to relate the topics to computer science problems wherever possible.
Homework: Only homework turned in by the due date is guaranteed to be graded. Any special circumstances that cause difficulty in meeting the deadlines should be brought to the attention of the instructor in advance.
Cheating: With the exception of group assignments, the work (including homework and tests) must be the result of your individual effort. This implies that one student should never have in his/her possession a copy of all or part of another student's homework. It is your responsibility to protect your work from unauthorized access. Academic dishonesty has no place in a university, in particular, in NTUEE. It wastes our time and yours, and it is unfair to the majority of students. Any form of cheating will automatically result in a failing grade in the course and will be reported to the Dean's office.