MAT1830

Mathematics for computer science II

R Worley

6 points
* Three 1-hour lectures and two hours practicals
* First, second semester
* Clayton
* Prerequisites: At levels 3 and 4, VCE Mathematical Methods
* Prohibitions: GAS1614, MAT1130, MAT1470

Objectives On completion of this subject, students should understand what a proof is; be able to construct proofs using modus ponens, contradiction and mathematical induction; and be able to represent information using numbers, relations, functions and graphs.

Synopsis This subject covers a number of topics fundamental to mathematics and computing, including elementary number theory; sets, relations and functions; methods of logic and proof, especially proof by induction; recurrence relations and difference equations; trees and other graphs.

Assessment Examination (two hours): 85%
* Assignments: 15%

Recommended texts

Munro J E M Discrete mathematics for computing Nelson, 1993