Course overview
- Study period
- Semester 2, 2024 (22/07/2024 - 18/11/2024)
- Study level
- Undergraduate
- Location
- St Lucia
- Attendance mode
- In Person
- Units
- 2
- Administrative campus
- St Lucia
- Coordinating unit
- Mathematics & Physics School
The course will introduce students to aspects of set theory, model theory, formal logic and computability. Topics will include propositional and predicate calculus, the Zermelo-Fraenkel Axioms, ordinals and cardinals, recursive functions, Turing machines, and Godel's incompleteness theorems.
This course covers foundational topics from mathematical logic and set theory.
Course requirements
Recommended prerequisites
We recommend completing the following courses before enrolling in this one:
MATH1061
Incompatible
You can't enrol in this course if you've already completed the following:
MATH3304, MATH3305
Course contact
Tutor
Tutor
Course staff
Lecturer
Timetable
The timetable for this course is available on the UQ Public Timetable.
Additional timetable information
All classes will be conducted on campus. Consult your personal timetable for times and locations. Students are expected to attend these sessions in person unless they have a valid reason for being unable to attend (such as illness).
Aims and outcomes
Theᅠaim of the course areᅠto introduce students to formal logic and formal set theory, and understand the major results.
Learning outcomes
After successfully completing this course you should be able to:
LO1.
Logic Objectives - Explain the nature of formal logical systems, and the distinction between their syntax and semantics.
LO2.
Logic Objectives - Work comfortably with the concepts of proof and validity and related
syntactic and semantic notions.
LO3.
Logic Objectives - Explain the relationship of formal mathematical theories (such as
arithmetic) to general logical systems.
LO4.
Logic Objectives - Describe the possibility of extensions of these systems into non-standard mathematical theories.
LO5.
Logic Objectives - Describe the various limit results on mathematical and other logical
systems such as the undecidability and incompleteness theorems.
LO6.
Logic Objectives - Describe the relationships between different models of algorithms and computability, and how they relate to the incompleteness theorems.
LO7.
Set Theory Objectives - Explain the paradoxes of naive set theory, and how they are resolved by axiomatizing set theory.
LO8.
Set Theory Objectives - Learn the ZFC axioms of set theory.
LO9.
Set Theory Objectives - Describe the definition/construction of all common mathematical objects (functions, relations, the real numbers etc) in terms of sets.
LO10.
Set Theory Objectives - Explain the Axiom of Choice, and be able to construct proofs based on its formulation as Zorns Lemma.
LO11.
Set Theory Objectives - Explain ordinal and cardinal numbers and their arithmetic.
LO12.
Set Theory Objectives - Explain the Continuum Hypothesis and similar results.
Assessment
Assessment summary
Category | Assessment task | Weight | Due date |
---|---|---|---|
Tutorial/ Problem Set | Assignments | 20% , 5% each |
Assignment 1: 16/08/2024 3:00 pm Assignment 2: 6/09/2024 3:00 pm Assignment 3: 4/10/2024 3:00 pm Assignment 4: 25/10/2024 3:00 pm |
Examination | In-semester exam | 20% |
10/09/2024 4:00 pm |
Examination | Final exam | 60% |
End of Semester Exam Period 2/11/2024 - 16/11/2024 |
Assessment details
Assignments
- Mode
- Written
- Category
- Tutorial/ Problem Set
- Weight
- 20% , 5% each
- Due date
Assignment 1: 16/08/2024 3:00 pm
Assignment 2: 6/09/2024 3:00 pm
Assignment 3: 4/10/2024 3:00 pm
Assignment 4: 25/10/2024 3:00 pm
Task description
This assignment requires you to answer the questions and submit your written solutions through Blackboard.
Submission guidelines
The assignment should be submitted through Blackboard.
Deferral or extension
You may be able to apply for an extension.
See ADDITIONAL ASSESSMENT INFORMATION for the extension and deferred examination information relating to this assessment item.
Late submission
A penalty of 10% of the maximum possible mark will be deducted per 24 hours from time submission is due for up to 7 days. After 7 days, you will receive a mark of 0.
You are required to submit assessable items on time. If you fail to meet the submission deadline for any assessment item then the listed penalty will be deducted per day for up to 7 calendar days, at which point any submission will not receive any marks unless an extension has been approved. Each 24-hour block is recorded from the time the submission is due.
In-semester exam
- Mode
- Written
- Category
- Examination
- Weight
- 20%
- Due date
10/09/2024 4:00 pm
Task description
The in-semester examination will be held in class, during the regular Tuesday lecture time.
Exam details
Planning time | 10 minutes |
---|---|
Duration | 90 minutes |
Calculator options | (In person) Casio FX82 series only or UQ approved and labelled calculator |
Open/closed book | Closed Book examination - no written materials permitted |
Exam platform | Paper based |
Invigilation | Invigilated in person |
Submission guidelines
Deferral or extension
You may be able to defer this exam.
See ADDITIONAL ASSESSMENT INFORMATION for the extension and deferred examination information relating to this assessment item.
Final exam
- Mode
- Written
- Category
- Examination
- Weight
- 60%
- Due date
End of Semester Exam Period
2/11/2024 - 16/11/2024
Task description
The final examination in this course will be held during the end-of-semester examination period. It will be an in-person exam held on campus.
The final exam will cover material from the entire course.
Exam details
Planning time | 10 minutes |
---|---|
Duration | 120 minutes |
Calculator options | (In person) Casio FX82 series only or UQ approved and labelled calculator |
Open/closed book | Closed Book examination - no written materials permitted |
Exam platform | Paper based |
Invigilation | Invigilated in person |
Submission guidelines
Deferral or extension
You may be able to defer this exam.
See ADDITIONAL ASSESSMENT INFORMATION for the extension and deferred examination information relating to this assessment item.
Course grading
Full criteria for each grade is available in the Assessment Procedure.
Grade | Cut off Percent | Description |
---|---|---|
1 (Low Fail) | 0 - 19 |
Absence of evidence of achievement of course learning outcomes. Course grade description: Students earning a grade of 1 will normally have achieved a final mark between 0% and 24%. |
2 (Fail) | 20 - 44 |
Minimal evidence of achievement of course learning outcomes. Course grade description: Students earning a grade of 2 will normally have achieved a final mark between 25% and 44%. |
3 (Marginal Fail) | 45 - 49 |
Demonstrated evidence of developing achievement of course learning outcomes Course grade description: Students earning a grade of 3 will normally have achieved a final mark between 45% and 49%. However, a student who obtains a final mark of at least 50% but does not obtain at least 40% on the sum of marks available in the in-semester and final exams will also be awarded a grade of 3. |
4 (Pass) | 50 - 64 |
Demonstrated evidence of functional achievement of course learning outcomes. Course grade description: Students earning a grade of 4 will normally have achieved a final mark between 50% and 64%. However, in addition to obtaining an overall mark of at least 50%, a student must also obtain at least 40% on the sum of marks available in the in-semester and final exams in order to be awarded a passing grade. |
5 (Credit) | 65 - 74 |
Demonstrated evidence of proficient achievement of course learning outcomes. Course grade description: Students earning a grade of 5 will normally have achieved a final mark between 65% and 74%. However, in addition to obtaining an overall mark of at least 65%, a student must also obtain at least 40% on the sum of marks available in the in-semester and final exams in order to be awarded a credit. |
6 (Distinction) | 75 - 84 |
Demonstrated evidence of advanced achievement of course learning outcomes. Course grade description: Students earning a grade of 6 will normally have achieved a final mark between 75% and 84%. However, a student who obtains an overall mark of at least 85% but does not obtain at least 80% on the sum of marks available in the in-semester and final exams will also be awarded a grade of 6. |
7 (High Distinction) | 85 - 100 |
Demonstrated evidence of exceptional achievement of course learning outcomes. Course grade description: Students earning a grade of 7 will normally have achieved a final mark between 85% and 100%, and also obtain at least 80% on the sum of marks available in the in-semester and final exams. |
Additional course grading information
If your mark for the Final Exam is higher than for the in-semester then your in-semester will be reweighted to 0% and your Final Exam will be reweighted to 80%.
Supplementary assessment
Supplementary assessment is available for this course.
Should you fail a course with a grade of 3, you may be eligible for supplementary assessment. Refer to my.UQ for information on supplementary assessment and how to apply.
Supplementary assessment provides an additional opportunity to demonstrate you have achieved all the required learning outcomes for a course.
If you apply and are granted supplementary assessment, the type of supplementary assessment set will consider which learning outcome(s) have not been met.
Supplementary assessment in this course will be a 2-hour examination similar in style to the end-of-semester examination. To receive a passing grade of 3S4, you must obtain a mark of 50% or more on the supplementary assessment.
Additional assessment information
Any questions about incorrect/missing marks should be raised with the course coordinator within three weeks of the due date of a given assignment.
You are encouraged to work in small groups. However, assignments must be completed individually, so everything you submit must be your own work. Pay careful attention to the general university guidelines on plagiarism.
Artificial Intelligence
The assessment tasks in this course evaluate students’ abilities, skills and knowledge without the aid of Artificial Intelligence (AI). Students are advised that the use of AI technologies to develop responses is strictly prohibited and may constitute misconduct under the Student Code of Conduct.
Applications for Extensions to Assessment Due Dates
Extension requests are submitted online via my.UQ – applying for an extension. Extension requests received in any other way will not be approved. Additional details associated with extension requests, including acceptable and unacceptable reasons, may be found at my.UQ.
Please note:
- Requests for an extension to an assessment due date must be submitted through your my.UQ portal and you must provide documentation of your circumstances, as soon as it becomes evident that an extension is needed. Your application must be submitted on or before the assessment item's due date and time.
- Applications for extension can take time to be processed so you should continue to work on your assessment item while awaiting a decision. We recommend that you submit any completed work by the due date, and this will be marked if your application is not approved. Should your application be approved, then you will be able to resubmit by the agreed revised due date.
- If an extension is approved, you will be notified via your my.UQ portal and the new date and time for submission provided. It is important that you check the revised date as it may differ from the date that you requested.
- If the basis of the application is a medical condition, applications should be accompanied by a medical certificate dated prior to the assignment due date. If you are unable to provide documentation to support your application by the due date and time you must still submit your application on time and attach a written statement (Word document) outlining why you cannot provide the documentation. You must then upload the documentation to the portal within 24 hours.
- If an extension is being sought on the basis of exceptional circumstances, it must be accompanied by supporting documentation (eg. Statutory declaration).
- For extensions based on a SAP you may be granted a maximum of 7 days (if no earlier maximum timeframe applies). See the Extension or Deferral availability section of each assessment for details. Your SAP is all that is required as documentation to support your application. However, additional extension requests for the assessment item will require the submission of additional supporting documentation e.g., a medical certificate. All extension requests must be received by the assessment due date and time.
- An extension for an assessment item due within the teaching period in which the course is offered, must not exceed four weeks in total. If you are incapacitated for a period exceeding four weeks of the teaching period, you are advised to apply for Removal of Course.
- If you have been ill or unable to attend class for more than 14 days, you are advised to carefully consider whether you are capable of successfully completing your courses this semester. You might be eligible to withdraw without academic penalty - seek advice from the Faculty that administers your program.
- Students may be asked to submit evidence of work completed to date. Lack of adequate progress on your assessment item may result in an extension being denied.
- There are no provisions for exemption from an assessment item within UQ rules. If you are unable to submit an assessment piece then, under special circumstances, you may be granted an exemption, but may be required to submit alternative assessment to ensure all learning outcomes are met
Applications to defer an exam
In certain circumstances you can apply to take a deferred examination for in-semester and end-of-semester exams. You'll need to demonstrate through supporting documentation how unavoidable circumstances prevented you from sitting your exam. If you can’t, you can apply for a one-off discretionary deferred exam.
Deferred Exam requests are submitted online via mySi-net. Requests received in any other way will not be approved. Additional details associated with deferred examinations, including acceptable and unacceptable reasons may be found at my.UQ.
Please note:
- Applications can be submitted no later than 5 calendar days after the date of the original exam.
- There are no provisions to defer a deferred exam. You need to be available to sit your deferred examination.
- Your deferred examination request(s) must have a status of "submitted" in mySI-net to be assessed.
- All applications for deferred in-semester examinations are assessed by the relevant school. Applications for deferred end-of-semester examinations are assessed by the Academic Services Division.
- You’ll receive an email to your student email account when the status of your application is updated.
- If you have a medical condition, mental health condition or disability and require alternative arrangements for your deferred exam you’ll need to complete the online alternative exam arrangements through my.UQ. This is in addition to your deferred examinations request. You need to submit this request on the same day as your request for a deferred exam or supplementary assessment. Contact Student Services if you need assistance completing your alternative exam arrangements request.
Learning resources
You'll need the following resources to successfully complete the course. We've indicated below if you need a personal copy of the reading materials or your own item.
Library resources
Find the required and recommended resources for this course on the UQ Library website.
Learning activities
The learning activities for this course are outlined below. Learn more about the learning outcomes that apply to this course.
Filter activity type by
Please select
Learning period | Activity type | Topic |
---|---|---|
Multiple weeks From Week 1 To Revision week |
Not Timetabled |
Reading and homework problems Before and after each lecture and tutorial you are expected to be reading text and other suggested sources for deeper understanding of the material, and trying all homework problems set. This is essential to understand and pass this course -- lectures and tutes alone will not teach you everything you need to know, you are expected to be self-learners in this course. |
Multiple weeks From Week 1 To Week 13 |
Lecture |
Lectures |
Multiple weeks From Week 2 To Week 13 |
Tutorial |
Tutorials |
Policies and procedures
University policies and procedures apply to all aspects of student life. As a UQ student, you must comply with University-wide and program-specific requirements, including the:
- Student Code of Conduct Policy
- Student Integrity and Misconduct Policy and Procedure
- Assessment Procedure
- Examinations Procedure
- Reasonable Adjustments - Students Policy and Procedure
Learn more about UQ policies on my.UQ and the Policy and Procedure Library.