| |
Sep 16, 2024
|
|
|
|
|
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: MATH 4030 . Students cannot receive credit both this course and MATH 4030 .
Credit Hours: 4
Add to Portfolio (opens a new window)
|
|
