coursemapLoading course
School of Computing · ANU College of Engineering Computing & Cybernetics
An introductory course in formal logic, dealing with propositional and predicate logic. Techniques of formal deduction and tests for the validity of arguments will be studied. Basic semantic concepts will be discussed.
Exercises related to foundations of logic and formal proofs, especially using natural deduction.
Learning outcomes 2, 3
Formalisation of one or more problems from and using the Logic for Fun website. Submission is online; Turnitin is not relevant to this task.
Learning outcomes 1
Essay on a topic in philosophical logic.
Learning outcomes 4
Final Exam
Learning outcomes 1, 2, 3, 4
130 hours of total student learning time made up from: a) 46 hours of contact over 12 weeks: 24 hours of lectures, 22 hours of tutorials; and b) 84 hours of independent student research, reading and writing.
None