# 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 Formal Logic CSCI-2200 Foundations Of Computer Sci

# Past Term Data
Offered
Not Offered
Offered as Cross-Listing Only
No Term Data
Simple View
Detailed View

| Spring | Summer | Fall
--- | --- | --- | ---
| (Session 1) | (Session 2) |
2026 |  |  |

2025

Computability And Logic (4c)

- Bram Van Heuveln

Seats Taken: 19/10

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 |  |  |