| |
Jul 31, 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.
Prerequisite: PHIL 2140
When Offered: SPRING TERM, ODD YEARS
Cross Listed: CSCI 4420 and MATH 4030 . Students cannot receive credit both this course and MATH or CSCI.
Graded: GRADED
Credit Hours: 4
Add to Portfolio (opens a new window)
|
|
