Teaching staff and contact details

Visit the Current students website [https:/www.syd ney.e du.au/st udents/home.htm l] for information on simple extensions.

Assessment

We use cookies to improve your experience on our site and to show

you personalised content. For more information about how we use

cookies, please read our Privacy Statement.

Questions for the Problem Sets and the Assignments will be posted on Canvas. Answers will   be due via Canvas 48 hours later. You can resubmit your answers as many times as you wish   up until the deadline. Precise details of release times for the questions for each Problem Set and Assignment, and due times for the answers, are on the Canvas site.

If you fail to submit enough of the Problem Sets and Assignments you will get a fi nal grade of Absent Fail; precise details are on the Canvas site.

Assessment criteria

The Problem Sets will constitute 40% of your fi nal mark for the unit. Each problem set individually is worth 5%.

The Assignments (together) will constitute 60% of your fi nal mark for the unit. Each assignment individually is worth 30%.

Late submission

In accordance with University policy, these penalties apply when written work is submitted after 11:59pm on the due date:

Deduction of 5% of the maximum mark for each calendar day after the due date. After ten calendar days late, a mark of zero will be awarded.

This unit has an exception to the standard University policy or supplementary information has been provided by the unit coordinator. This information is displayed below:

Information on applying for Special Consideration, in case illness or misadventure prevents   you submitting work on time, is on the Current Students site. Work submitted late, without   special consideration, will be penalised per day late in accordance with University policy. For each Problem Set and Assignment, there is also a further date (usually one or two weeks

after the due date) after which no submissions can be accepted at all: precise details of these dates for each Problem Set and Assignment are on the Canvas site.

i  l        id     ti

We use cookies to improve your experience on our site and to show

you personalised content. For more information about how we use

cookies, please read our Privacy Statement.

performance in an assessment, you may be eligible for special consideration or special

arrangements.

Academic integrity

The Current Student website provides information on academic integrity and the resources available to all students. The University expects students and staff to act ethically and

honestly and will treat all allegations of academic integrity breaches seriously.

We use similarity detection software to detect potential instances of plagiarism or other

forms of academic integrity breach. If such matches indicate evidence of plagiarism or other forms of academic integrity breaches, your teacher is required to report your work for

further investigation.

You may only use artificia l intelligence and writing assistance tools in assessment tasks if you

are permitted to by your unit coordinator, and if you do use them, you must also

acknowledge this in your work, either in a footnote or an acknowledgement section.

Studiosity is permitted for postgraduate units unless otherwise indicated by the unit coordinator. The use of this service must be acknowledged in your submission.

Weekly schedule

Study commitment

Typically, there is a minimum expectation of 1.5-2 hours of student effort per week per  credit point for units of study offered over a full semester. For a 6 credit point unit, this equates to roughly 120-150 hours of student effort in total.

i   d      di

We use cookies to improve your experience on our site and to show

you personalised content. For more information about how we use

cookies, please read our Privacy Statement.

Learning outcomes

Learning outcomes are what students know, understand and are able to do on completion of a unit of study. They are aligned with the University ’s graduate qualities and are assessed as   part of the curriculum.

At the completion of this unit, you should be able to:

LO1. demonstrate understanding of the formal languages of propositional and predicate logic, and ability to translate propositions of English into those formal languages

LO2. demonstrate understanding of the semantics of classical propositional logic in terms of truth tables

LO3. demonstrate understanding of the semantics of classical predicate logic in terms of models

LO4. demonstrate understanding of, and ability to construct, tree proofs for classical propositional and predicate logic

LO5. improvement in skills of logical analysis and reasoning

Graduate qualities

The graduate qualities are the qualities and skills that all University of Sydney graduates must demonstrate on successful completion of an award course. As a future Sydney graduate, the set of qualities have been designed to equip you for the contemporary world.