Computability and Logic

PHIL-4420

A team-based, project-oriented, hands-on introduction to the great concepts and discoveries in logic and computability, including Turing Machines, first-order logic, the limitations of computing machines, Godel's incompleteness results, and so forth. A hands-on laboratory component is included.

4 credits

Cross-listed with:

CSCI-4420 Computability and Logic MATH-4030 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: 13/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: 31/13
2018
2017	Computability And Logic (4c) Bram Van Heuveln Seats Taken: 15/13
2016
2015	Computability And Logic (4c) Bram Van Heuveln Seats Taken: 24/19
2014
2013	Computability And Logic (4c) Bram Van Heuveln Seats Taken: 12/15
2012	Computability And Logic (4c) Bram Van Heuveln Seats Taken: 10/10
2011
2010	Computability And Logic (4c) Bram Van Heuveln Seats Taken: 17/30
2009
2008	Computability And Logic (4c) Bram Van Heuveln Seats Taken: 8/25
2007
2006	Computability And Logic (4c) Bram Van Heuveln Seats Taken: 12/30
2005
2004	Computability And Logic (4c) Bram Van Heuveln Seats Taken: 25/30
2003
2002	Computability And Logic (4c) Bram Van Heuveln Seats Taken: 20/35
2001
2000
1999	Computability And Logic (4c) Selmer Bringsjord Seats Taken: 10/25
1998