FIT1058 Foundations of computing

When you finish this unit, you should be able to:

1. 1

   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;

2. 2

   Solve problems in computer science using a variety of objects and structures, including sets, functions, relations, graphs, matrices and random variables;

3. 3

   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;

4. 4

   Use the language of propositional and predicate logic to formally model and reason about problems in computer science and its applications;

5. 5

   Apply precise counting principles and the tools of probability, number theory, and combinatorics to problems in computer science;

6. 6

   Relate areas of computer science with appropriate discrete structures and methods.