School of Computer Science and Software Engineering
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.
| NEWS | |
|---|---|
| 1 October | The assignment has been published on the assessment web page (see menu). |
| July | 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. |
Teaching
Unit coordinator: Professor Rachel Cardell-OliverConsultation: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 |
Learning Objectives
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.
Assessment
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:
- 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\%)