# Computability And Logic

## CSCI-4420

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:
MATH-4030 Computability And Logic PHIL-4420 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: 10/10

2024 |  |  |

2023

Computability And Logic (4c)

- Bram Van Heuveln

Seats Taken: 14/30

2022 |  |  |

2021

Computability And Logic (4c)

- Bram Van Heuveln

Seats Taken: 10/20

2020 |  |  |
2019 |  |  |
2018 |  |  |
2017 |  |  |
2016 |  |  |
2015 |  |  |
2014 |  |  |
2013 |  |  |
2012 |  |  |
2011 |  |  |
2010 |  |  |
2009 |  |  |
2008 |  |  |
2007 |  |  |
2006 |  |  |
2005 |  |  |
2004 |  |  |
2003 |  |  |
2002 |  |  |
2001 |  |  |
2000 |  |  |
1999 |  |  |
1998 |  |  |