Area: | Department of Computing |
Credits: | 25.0 |
Contact Hours: | 3.0 |
Lecture: | 1 x 2 Hours Weekly |
Tutorial: | 1 x 1 Hours Weekly |
Prerequisite(s): | 1920 (v.6) Software Technology 151 or any previous version
|
Syllabus: | Logic, Rules of Inference, Set Theory, Proof Technology, Induction, Relations, Functions, Recursion, Graph Theory, Trees. |
| |
Unit Outcomes: | On successful completion of this unit students will have developed skills in various methods of mathematical proof and their applications to run correctness proofs. They will have gained insight into the nature of inductive and recursive techniques by learning to analyse algorithm complexity and develop facility in analysing running times of programs, and through exploring the mathematical implications of various complex data structures such as hash tables, trees and balanced trees. |
Texts and references listed below are for your information only and current as of September 30, 2003. Some units taught offshore are modified at selected locations. Please check with the unit coordinator for up-to-date information and approved offshore variations to unit information before finalising study and textbook purchases. |
Unit References: | No prescribed references. |
Unit Texts: | Rosen, K. H., 1999, 'Discrete Mathematics and its Applications' 4th Edition, McGraw-Hill, Boston. Course notes, available from the Department of Computing website. |
| |
Unit Assessment Breakdown: | Quizzes 20%. Mid-term Test 20%. Final Examination 60%. A mark of at least 40% must be achieved in the final exam and the overall unit assessment must be at least 50%. |
Field of Education: | 20100 Computer Science (Narrow Grouping) | HECS Band (if applicable): | 2 |
|
Extent to which this unit or thesis utilises online information: | Informational | Result Type: | Grade/Mark |
|
Availability
| Year | Location | Period | Internal | Area External | Central External | | 2004 | Bentley Campus | Semester 1 | Y | | | | 2004 | Bentley Campus | Semester 2 | Y | | |
Area
External | refers to external course/units run by the School or Department, offered online or through Web CT, or offered by research. |
Central
External | refers to external course/units run through the Curtin Bentley-based Distance Education Area |
|
