Skip to main content
Unit of study_

Logic and Computation - PHIL3610

Year - 2020

This unit covers central topics and results concerning the nature of logic, the nature of computation, and the relationships between the two, such as Turing machines, computability and uncomputability, the undecidability of first order logic, computational complexity, and Godel's incompleteness theorems.

2x1hr lecture/week, 1x1hr tutorial/week

1x2hr final examination (50%), 10x250wd weekly problem sets (50%)






Faculty: Arts and Social Sciences

Semester 1

24 Feb 2020

Department/School: Philosophy
Study Mode: Normal (lecture/lab/tutorial) day
Census Date: 31 Mar 2020
Unit of study level: Senior
Credit points: 6.0
EFTSL: 0.125
Available for study abroad and exchange: Yes
Faculty/department permission required? No
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.