Computability and Logic

MATH-4030

This course covers basic concepts and results in mathematical logic and computability theory, including decision procedures, automated theorem proving techniques for truth-functional and first-order logic, axiomatizations of set theory and arithmetic, Turing Machines, Abacus Machines, recursive functions, the Church-Turing Thesis, the halting problem, undecidability of first-order logic, undecidability of arithmetic, and Godel's incompleteness results.

4 credits

Cross-listed with:

CSCI-4420 Computability and Logic PHIL-4420 Computability and Logic

Prereqs:

one of:

PHIL-2140 Introduction to Logic CSCI-2200 Foundations of Computer Science

Past Term Data

Offered

Not Offered

Offered as Cross-Listing Only

No Term Data

Simple View Detailed View

	Spring	Summer
		(Session 1)	(Session 2)
2023	Computability And Logic (4c) Bram Van Heuveln Seats Taken: 17/30
2022
2021	Computability And Logic (4c) Bram Van Heuveln Seats Taken: 16/20
2020
2019	Computability And Logic (4c) Bram Van Heuveln Seats Taken: 18/6
2018
2017	Computability And Logic (4c) Bram Van Heuveln Seats Taken: 12/12
2016
2015	Computability And Logic (4c) Bram Van Heuveln Seats Taken: 7/19
2014
2013	Computability And Logic (4c) Bram Van Heuveln Seats Taken: 9/15
2012	Computability And Logic (4c) Bram Van Heuveln Seats Taken: 10/15
2011
2010	Computability And Logic (4c) Bram Van Heuveln Seats Taken: 11/30
2009
2008	Computability And Logic (4c) Bram Van Heuveln Seats Taken: 1/20
2007