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

Past Term Data

Offered
Not Offered
Offered as Cross-Listing Only
No Term Data
Spring Summer Fall
(Session 1) (Session 2)
2024
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