| |
Feb 10, 2025
|
|
|
|
|
PHIL 4420 - Computability and Logic
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.
Prerequisites/Corequisites: Prerequisite: PHIL 2140.
When Offered: Spring term odd-numbered years.
Cross Listed: Cross listed with MATH 4030. Students cannot received credit both this course and MATH 4030.
Credit Hours: 4
Add to Portfolio (opens a new window)
|
|
