Course Info
By Specialisation
By Qualification Type
By Faculty
Short Courses
Course Search
Enrolment
Apply Online Now!
Enrolment Guide
Downloadable Forms and Guides
Arion Options
Help
Site Map
Contact
Logout
Logout
Course Details
Mathematics for Software Engineering II
Prescriptor
Qualifications
TimeTable
Course Code
ENGE706
EFTS
0.1250
Points
15.00
Level
7
Download Course Descriptor
Prescriptor
This paper helps students develop a working knowledge of advanced mathematical foundations of software programs, such as the use of axiomatic systems, combinatorial principles, and automated reasoning.
Resources
No Resource is available.
Qualifications
The course is available as part of the following qualifications.
Expand to see requisite details.
Points
INEXCH1
International Exchange (Inbound)
(INEXCH)
0.00
No requisite courses specified.
SABRD1
Study Abroad
(Study Abroad)
0.00
No requisite courses specified.
ICE1
Individual Course Enrolment
(ICE)
0.00
No requisite courses specified.
AK3751
Bachelor of Engineering (Honours)
(BE (Hons))
480.00
No requisite courses specified.
Timetable
2024
,
Semester 1
Class
Stream
Starting
Ending
Day
Time
Room
ENGE706/W101
A
27-Feb-2024
28-May-2024
TUE
8:00 AM - 10:00 AM
WA220
29-Feb-2024
30-May-2024
THU
8:00 AM - 10:00 AM
WZ601
2024
,
Semester 2
Class
Stream
Starting
Ending
Day
Time
Room
ENGE706/W201
A
16-Jul-2024
15-Oct-2024
TUE
12:00 PM - 2:00 PM
WF711
17-Jul-2024
16-Oct-2024
WED
8:00 AM - 10:00 AM
WF704
Contents
Main Menu
Qualification Specialisations
Qualification Types
Qualifications by Faculty
Short Courses
Course Search
Academic Calendar
Downloadable Forms and Guides