Logic and Computation
PHIL2650
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.
Unit of study details
Unit of study level: Senior
Credit points: 6
Commencing semesters: 1
Further unit of study information
Unit of study handbook: PHIL2650
Costs and scholarships information: Costs and Scholarships
Final dates to withdraw from units of study: Census Dates
Available for study abroad and exchange: Yes
Our courses that offer this unit of study
- Bachelor of Design Computing
- Bachelor of Design in Architecture
- Bachelor of Arts and Bachelor of Social Work
- Bachelor of Arts and Bachelor of Laws
- Bachelor of Arts (Languages)
- Bachelor of Arts (Media and Communications)
- Bachelor of Arts
- Bachelor of Arts (Media and Communications) and Bachelor of Laws
- Bachelor of Arts (Advanced) (Honours)
- Bachelor of International and Global Studies
- Bachelor of International and Global Studies and Bachelor of Laws
- Bachelor of Political, Economic and Social Sciences
- Bachelor of Political, Economic and Social Sciences and Bachelor of Laws
- Bachelor of Economics
- Bachelor of Economics and Bachelor of Medicine and Bachelor of Surgery
- Diploma of Arts
- Arts Undergraduate Non-Degree
- Arts Undergraduate Cross-Institutional
- Bachelor of Commerce (Liberal Studies)
- Bachelor of Commerce
- Bachelor of Commerce and Bachelor of Arts
- Bachelor of Arts and Master of Nursing
- Bachelor of Engineering and Bachelor of Arts
- Bachelor of Computer Science and Technology (Advanced)
- Bachelor of Computer Science and Technology
- Bachelor of Information Technology and Bachelor of Arts
- Bachelor of Information Technology and Bachelor of Commerce
- Bachelor of Science (Advanced)
- Bachelor of Science (Advanced Mathematics)
- Bachelor of Science
- Bachelor of Science and Master of Nutrition and Dietetics
- Bachelor of Science and Bachelor of Arts
- Bachelor of Liberal Arts and Science
- Bachelor of Psychology
- Bachelor of Music Studies and Bachelor of Arts
- Bachelor of Health Sciences
- Bachelor of Education (Secondary: Humanities and Social Sciences) and Bachelor of Arts
- Bachelor of Education (Secondary Education: Science) and Bachelor of Science
- Bachelor of Education (Secondary Education: Mathematics) and Bachelor of Science
- Bachelor of Education (Secondary: Human Movement and Health Education)
- Bachelor of Education (Early Childhood)
- Bachelor of Education (Primary)
- Bachelor of Social Work
- Social Work Undergraduate Non-Degree