Studying online
There are now 2 possible online modes for units:
Units with modes Online timetabled and Online flexible are available for any student to self-enrol and study online.
Click on an offering mode for more details.
Unit Overview
- Description
This unit contains an overview of the mathematical foundations of computer science including basic set theory and logic, formal proof methodologies, and automata theory. The unit applies this knowledge to real problems in computer science and software engineering, specifically the demonstration of program correctness and the specification of computer systems. Topics include set theory, relations, functions, predicate logic, formal proofs of correctness, finite state automata and automata theory.
- Credit
- 6 points
- Offering
(see Timetable) Availability Location Mode Semester 2 UWA (Perth) Face to face - Details for undergraduate courses
- Level 2 core unit in the Computer Science; International Cybersecurity; Computing and Data Science; Artificial Intelligence; Software Engineering; Quantum Computing major sequences
- Level 2 elective
- Outcomes
Students are able to (1) demonstrate critical thinking and information literacy; (2) demonstrate a familiarity with basic set theory, relations, functions, predicate logic, correctness proofs, finite state automata and automata theory as tools used in computer science and software engineering; (3) identify, abstract and analyse problems in computer science and software engineering using the mathematical models; and (4) apply logical reasoning to problems in software engineering.
- Assessment
Indicative assessments in this unit are as follows: (1) tests; (2) assignments; and (3) final examination. Further information is available in the unit outline.
Student may be offered supplementary assessment in this unit if they meet the eligibility criteria.
- Unit Coordinator(s)
- Dr Matthew Daggitt
- Unit rules
- Prerequisites
- (
and CITS1401 Computational Thinking with Python or equivalent )
- Contact hours
- Lectorials: 2-hours per week
- Texts
Lehman, E., Leighton, F. T. and Meyer, A. R. Mathematics for Computer Science: MIT 2014
- The availability of units in Semester 1, 2, etc. was correct at the time of publication but may be subject to change.
- All students are responsible for identifying when they need assistance to improve their academic learning, research, English language and numeracy skills; seeking out the services and resources available to help them; and applying what they learn. Students are encouraged to register for free online support through GETSmart; to help themselves to the extensive range of resources on UWA's STUDYSmarter website; and to participate in WRITESmart and (ma+hs)Smart drop-ins and workshops.
- Visit the Essential Textbooks website to see if any textbooks are required for this Unit. The website is updated regularly so content may change. Students are recommended to purchase Essential Textbooks, but a limited number of copies of all Essential Textbooks are held in the Library in print, and as an ebook where possible. Recommended readings for the unit can be accessed in Unit Readings directly through the Learning Management System (LMS).
- Contact hours provide an indication of the type and extent of in-class activities this unit may contain. The total amount of student work (including contact hours, assessment time, and self-study) will approximate 150 hours per 6 credit points.
Face to face
Predominantly face-to-face. On campus attendance required to complete this unit. May have accompanying resources online.
Online flexible
100% Online Unit. NO campus face-to-face attendance is required to complete this unit. All study requirements are online only. Unit is asynchronous delivery, with NO requirement for students to participate online at specific times.
Online timetabled
100% Online Unit. NO campus face-to-face attendance is required to complete this unit. All study requirements are online only. Unit includes some synchronous components, with a requirement for students to participate online at specific times.
Online Restricted
Not available for self-enrolment. Students access this mode by contacting their student office through AskUWA. 100% Online Unit.
NO campus face-to-face attendance. All study and assessment requirements are online only. Unit includes some timetabled activities, with a requirement for students to participate online at specific times. In exceptional cases (noted in the Handbook) students may be required to participate in face-to-face laboratory classes when a return to UWA’s Crawley campus becomes possible in order to be awarded a final grade.
External
No attendance or regular contact is required, and all study requirements are completed either via correspondence and/or online submission.
Off-campus
Regular attendance is not required, but student attends the institution face to face on an agreed schedule for purposes of supervision and/or instruction.
Multi-mode
Multiple modes of delivery. Unit includes a mix of online and on-campus study requirements. On campus attendance for some activities is required to complete this unit.