Minimum total expected workload to achieve the learning outcomes for this unit is 144 hours per semester typically comprising a mixture of scheduled online and face to face learning activities and independent study. Independent study may include associated reading and preparation for scheduled teaching activities.
Relate areas of computer science with appropriate discrete structures and methods.
Apply precise counting principles and the tools of probability, number theory, and combinatorics to problems in computer science;
Use the language of propositional and predicate logic to formally model and reason about problems in computer science and its applications;
Define discrete structures and key concepts commonly found in set theory, logic and proof, number theory, probability, combinatorics, graph theory, and related fields underlying computer science;
Solve problems in computer science using a variety of objects and structures, including sets, functions, relations, graphs, matrices and random variables;
Analyse complex formal statements, formally define discrete structures, and prove properties about them using a wide range of techniques, including proof by construction, by cases, by contradiction and by induction;
