Units of study

PHIL2650 - Logic and Computation

Semester 1, 2018  |  Credit Points: 6

Coordinator: Nicholas Smith
Phone: +61 2 9036 6242
Email: nicholas.smith@sydney.edu.au

Description

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.

Assessments

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

Classes

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

Please Note: This timetable is a draft timetable and subject to change.

 Wednesday

  10am 11am 12pm 1pm 2pm 3pm 4pm 5pm

PHIL2650

         

Lecture

 

The information displayed above is indicative only as online information is subject to change without notice. The Faculty Handbook and the University of Sydney Calendar are the official legal source of information relating to study at the University of Sydney