Welcome to the website for CITS2211. This unit introduces students to the
mathematical foundations of Computer Science:
basic logic, formal proofs, set, relations,
automata and formal languages.
The assignment has been published on the assessment
web page (see menu).
Welcome to the Discrete Strucutres unit.
The first lecture for CITS1001 is on Tuesday 31st July at 12 noon
in the Gentilli LT 1.31.
Tutorials start in week 2 on Wednesday 8th August.
Unit coordinator: Professor Rachel Cardell-Oliver
Consultation:Wednesdays 3 to 4pm in CSSE Rm 1.20
Students must attend two lectures each week and one tutorial:
|Type ||Time ||Day ||Location
|Lecture ||12 pm||Tuesday ||GGGL:GENTILLI 1.31 |
|Lecture ||9 am||Friday ||Engineering LT 1|
|Extension Tutorial ||10 am||Wednesday ||CSSE:SR124|
|Main Tutorial ||4 pm||Wednesday ||Robert Street LT 2|
On completion of this unit, students will be able to:
- Explain, with examples, the basic terminology of sets, counting, relations,
propositions, and predicates.
- Use rules of inference to construct proofs in propositional and predicate logic.
- Describe, select and use common proof techniques including mathematical induction.
- Explain, with examples, the basic terminology of finite state machines,
Turing machines, and formal languages and grammars.
- Design FSMs or grammars to generate or recognise languages.
- Explain why the halting problem has no algorithmic solution.
- Relate practical examples in Computer Science to an appropriate mathematical model, and interpret
the associated operations and terminology in context.
The assessment for CITS2211 comprises weekly assessed tutorials and tests,
a mid-semester test, an assignment,
and a final exam.
|Assessment ||% of final mark ||Assessment Dates|
|Tutorial Exercises ||10% || weekly|
|Mid-semester test ||10% ||Friday 14th Sept at 9am|
|Assignment ||20% ||Friday 2nd Nov at 12 noon|
|Examination ||60% ||November Examination Period|
In order to pass CITS2211 consistent practice and effort are needed
throughout the semester.
To pass CITS2211 a student is required to achieve ALL of the following:
If a student does not make satisfactory progress (as defined above) they may be
excluded from the examination. Any
excluded student will be notified in writing by Week 10 in accordance with Faculty regulations.
- an overall mark of at least 50%, AND
- an overall mark of at least 30/70 in the exam and test combined, AND
- satisfactory progress in weekly tutorial submissions (at least 50\%)