### CITS2211 Discrete Structures

- Credit
- 6 points
- Offering

(see Timetable) Availability Location Mode Semester 2 UWA (Perth) Face to face - Details for undergraduate courses
- Level 2 complementary unit in the Computer Science major sequence
- The area of knowledge for this unit is Mathematical and Physical Sciences
- Category A broadening unit for Bachelor of Science students where relevant according to the broadening requirements for each student
- Level 2 elective

- Content
- 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.
- Outcomes
- Students are able to (1) demonstrate critical thinking and information literacy; (2) apply interpersonal skills and work effectively in a team (e.g. in paired assignments); (3) understand the mathematical foundations of computer science and the evolution and history of the discipline; (4) 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; (5) identify, abstract and analyse problems in computer science and software engineering using the mathematical models; and (6) 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.

Supplementary assessment is not available in this unit except in the case of a bachelor's pass degree student who has obtained a mark of 45 to 49 overall and is currently enrolled in this unit, and it is the only remaining unit that the student must pass in order to complete their course. - Unit Coordinator(s)
- Associate Professor Mark Reynolds
- Unit rules
*Prerequisites*:- Mathematics Methods ATAR
*or*WACE Mathematics 3A/3B*or*MATH1721 Mathematics Methods*or*equivalent*or*higher *Co-requisites*:- at least one Level 1 unit in computing
*or*mathematics

- Contact hours
*lectures and practical classes*: 39 hours- 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.**Books and other material wherever listed may be subject to change. Book lists relating to 'Preliminary reading', 'Recommended reading' and 'Textbooks' are, in most cases, available via the Booktopia Textbook Finder, which has the functionality to search by course code, course, ISBN and title, and may also be posted or available at the appropriate school's administrative offices. Where texts are listed in the unit description above, an asterisk (*) indicates that the book is available in paperback.*