Course Outcomes
To realize the course's purpose, upon completion of the course
participants will be able to:
- Begin to read mathematical research papers in computer science
and engineering.
- Recognize rigorous mathematical reasoning.
- To use mathematical reasoning to facilitate
deep learning of new technical concepts on one's
own.
- To formalize rigorous reasoning and appreciate the issues
involved in formally modeling natural reasoning.
- To apply mathematical logic to showing that hardware and software
conform to desired specifications.
Syllabus
Bibliography
- (Helpful review of undergraduate
discrete mathematics for computer science. An edition is
currently used in CIS 275. Consult the SU Bookstore. Earlier
editions are OK.):
Rosen, Kenneth H.:
Discrete Mathematics and Its Applications with MathZone,
McGraw-Hill Science/Engineering/Math; 6 edition (July 27,
2006) Eariler editions are OK. ISBN 0073312711. 910 pages!!
Grading:
max(AVG(Exam1,Exam2,Labs,Final), Final).
All parts of all questions on exams are graded on
a scale of 0.0 to 4.0 i.e. F through A. Exam scores are then
obtained by weighted averaging.