There are now 3 possible online modes for units:
Units with modes Online timetabled and Online flexible are available for any student to self-enrol and study online.
Units available in Online Restricted mode have been adapted for online study only for those students who require the unit to complete their studies and who are unable to attend campus due to COVID border closures. To be enrolled in a unit in Online Restricted mode, students should contact their Student Advising Office through askUWA and include which of the below criteria applies:
- You are a student who is currently offshore and unable to enter Australia.
- You are a student in Australia who is impacted by state or regional border closures.
Click on an offering mode for more details.
Face to face
Predominantly face-to-face. On campus attendance required to complete this unit. May have accompanying resources online.
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.
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.
Not available for self-enrolment. Restricted to enrolment by students unable to attend campus due to COVID border closures. 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.
No attendance or regular contact is required, and all study requirements are completed either via correspondence and/or online submission.
Regular attendance is not required, but student attends the institution face to face on an agreed schedule for purposes of supervision and/or instruction.
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.
CITS2211 Discrete Structures
- 6 points
Availability Location Mode Semester 2 UWA (Perth) Face to face Semester 2 Online Online timetabled
- Details for undergraduate courses
- Level 2 core unit in the Computer Science; International Cybersecurity; Artificial Intelligence; Software Engineering major sequences
- Level 2 elective
- 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.
- Students are able to (1) demonstrate critical thinking and information literacy; (2) understand the mathematical foundations of computer science and the evolution and history of the discipline; (3) 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; (4) identify, abstract and analyse problems in computer science and software engineering using the mathematical models; and (5) apply logical reasoning to problems in software engineering.
- Indicative assessments in this unit are as follows: (1) tests; (2) assignments; and (3) final examination. Further information is available in the unit outline.
- Unit Coordinator(s)
- Associate Professor Mark Reynolds
- Unit rules
- MATH1721 Mathematics Foundations: Methods and completion of 6 points of programming-based units
- Contact hours
- Lectorials: 2-hours per week
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.
- Unit readings, including any essential textbooks, are listed in the unit outline for each unit, one week prior the commencement of study. The unit outline will be available via the LMS and the UWA Handbook one week prior the commencement of study. Reading lists and essential textbooks are subject to change each semester. Information on essential textbooks will also be made available on the Essential Textbooks. This website is updated regularly in the lead up to semester so content may change. It is recommended that students purchase essential textbooks for convenience due to the frequency with which they will be required during the unit. A limited number of textbooks will be made available from the Library in print and will also be made available online wherever possible. Essential textbooks can be purchased from the commercial vendors to secure the best deal. The Student Guild can provide assistance on where to purchase books if required. Books can be purchased second hand at the Guild Secondhand bookshop (second floor, Guild Village), which is located on campus.