Skip to main content
Unit of study_

Logic and Computation - PHIL2650

Year - 2018

This unit covers central results about the nature of logic, the nature of computation, and the relationships between the two. Topics treated include basic set theory, Turing machines, the theory of computability and uncomputability, the decision problem for first order logic, Tarski's theorem on the indefinability of truth, and Gödel's famous incompleteness theorem.

1x2-hr lecture/week, 1x1-hr tutorial/week

2x1000wd assignments (problem sets) (2x25%) and 1x2hr exam (50%)


PHIL1012 or PHIL2628 or permission of instructor


Faculty: Arts and Social Sciences

Semester 1

05 Mar 2018

Department/School: Philosophy
Study Mode: Normal (lecture/lab/tutorial) day
Census Date: 31 Mar 2018
Unit of study level: Senior
Credit points: 6.0
EFTSL: 0.125
Available for study abroad and exchange: No
Faculty/department permission required? No
More details
Unit of Study coordinator: Dr Nicholas Smith
HECS Band: 2
Courses that offer this unit

Non-award/non-degree study If you wish to undertake one or more units of study (subjects) for your own interest but not towards a degree, you may enrol in single units as a non-award student. Cross-institutional study If you are from another Australian tertiary institution you may be permitted to undertake cross-institutional study in one or more units of study at the University of Sydney.

To help you understand common terms that we use at the University, we offer an online glossary.