School Of Engineering, Design And Built EnvironmentSystems Modelling and DesignWestern Sydney University Unit Code: 301345.1
Discipline: COMPUTER ENGINEERING
Student Contribution Band: 2
Level: 2
Credit Points: 10
Prerequisite
200025 Discrete Mathematics AND 301335 Engineering Programming Fundamentals
Unit Enrolment Restrictions
Students must be enrolled in 3771 Bachelor of Engineering Advanced (Honours)
About this Unit
This unit will be offered at Engineering Innovation Hub – Hassall St, Parramatta campus.
This unit reinforces the understanding of discrete mathematics and the role it plays in computing science and engineering. Students learn how to systematically derive implementations from formal specifications using simple mathematics. Students also learn to develop an understanding of the rules for deriving implementations from specifications. Why do they work? What do we have to prove and how? This is crucial for later industrial software engineering practice.
Courses| 3771.1 | Bachelor of Engineering Advanced (Honours) | CURRENT |
Specialisations